Decidability and the number of countable models

DOI10.1016/0168-0072(84)90009-5zbMath0563.03014OpenAlexW1982950403MaRDI QIDQ1057259

Terrence Millar

Publication date: 1984

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(84)90009-5

zbMATH Keywords

countable modelssaturated modeldecidable models

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) Categoricity and completeness of theories (03C35)

Related Items (4)

DECIDABLE MODELS OF ω-STABLE THEORIES ⋮ Bad models in nice neighborhoods ⋮ Autostability of prime models under strong constructivizations ⋮ Tame Theories with Hyperarithmetic Homogeneous Models

Cites Work

• Unnamed Item
• Model theory
• Omitting types, type spectrums, and decidability

This page was built for publication: Decidability and the number of countable models