Bad models in nice neighborhoods

DOI10.2307/2273916zbMath0623.03010OpenAlexW2101752691MaRDI QIDQ3760505

Terry Millar

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273916

zbMATH Keywords

decidable theorycomplete decidable model completioncountable homogeneous modelcountable number of countable modelsdecidable saturated modeluniversally axiomatizable theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15)

Related Items (1)

Tame Theories with Hyperarithmetic Homogeneous Models

Cites Work

• Decidability and the number of countable models
• Foundations of recursive model theory

This page was built for publication: Bad models in nice neighborhoods