Theories with finitely many models

DOI10.2307/2274060zbMath0622.03022OpenAlexW4231111260MaRDI QIDQ3758812

Simon Thomas

Publication date: 1986

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

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

zbMATH Keywords

graphsfirst order language

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

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