An autostable 1-decidable model without a computable Scott family of ∃-formulas

✍ Scribed by O. V. Kudinov

• Publisher: Springer US
• Year: 1996
• Tongue: English
• Weight: 326 KB
• Volume: 35
• Category: Article
• ISSN: 0002-5232
• DOI: 10.1007/bf02367027