Homogeneous models and decidability

DOI10.2140/pjm.1980.91.407zbMath0467.03007OpenAlexW2086027672MaRDI QIDQ1155600

Terrence Millar

Publication date: 1980

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1980.91.407

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items

Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem, Type Structure Complexity and Decidability, A characterization of the 0-basis homogeneous bounding degrees, The degree spectra of homogeneous models