Minimal models of theories of one function symbol

DOI10.1007/BF02756866zbMath0298.02059OpenAlexW1986374168MaRDI QIDQ1214413

Leo Marcus

Publication date: 1974

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

Full work available at URL: https://doi.org/10.1007/bf02756866

Mathematics Subject Classification ID

Other model constructions (03C30) Other classical first-order model theory (03C68)

Related Items (8)

Recursive unary algebras and trees ⋮ Minimal and prime models of complete theories of torsion free abelian groups ⋮ A type-open minimal model ⋮ Complete theories of unars ⋮ Complete theories of unars ⋮ Finiteness is not a \(\Sigma_0\)-property ⋮ Learning algebraic structures from text ⋮ Zero-One Laws for Sparse Random Graphs

Cites Work

• An application of games to the completeness problem for formalized theories
• A type-open minimal model
• On strongly minimal sets
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimal models of theories of one function symbol