Theories with finitely many models

DOI10.2307/2274060MaRDI QIDQ3758812zbMATH OpenOpenAlexFDO

Authors Simon Thomas

Publication date 1986

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

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

zbMATH Keywords

first order languagegraphs

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Recommendations

• On a theorem of Vaught for first order logic with finitely many variables
• Theories Having Finitely Many Countable Homogeneous Models
• Some connections between finite and infinite model theory
• Theories categorical in power \(n+2\)
• Finite variable logic stability and finite models

Cited in

(6)

• On a certain complexity estimate in graph theory
• Lambda theories allowing terms with a finite number of fixed points
• On a theorem of Vaught for first order logic with finitely many variables
• Theories Having Finitely Many Countable Homogeneous Models
• scientific article; zbMATH DE number 57854 (Why is no real title available?)
• Nearly Model Complete Theories

This page was built for publication: Theories with finitely many models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3758812)