Homogeneous models and decidability
From MaRDI portal
Publication:1155600
DOI10.2140/PJM.1980.91.407zbMath0467.03007OpenAlexW2086027672MaRDI QIDQ1155600
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
Decidability of theories and sets of sentences (03B25) Models with special properties (saturated, rigid, etc.) (03C50)
Related Items (4)
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
This page was built for publication: Homogeneous models and decidability