Theories with finitely many models

DOI10.2307/2274060zbMATH Open0622.03022OpenAlexW4231111260MaRDI QIDQ3758812FDOQ3758812

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

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

zbMATH Keywords

graphsfirst order language

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Cited In (5)

• On a theorem of Vaught for first order logic with finitely many variables
• Nearly Model Complete Theories
• Theories Having Finitely Many Countable Homogeneous Models
• Lambda theories allowing terms with a finite number of fixed points
• Title not available (Why is that?)

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)