Countable models of ω1-categorical theories in admissible languages

DOI10.1016/0003-4843(80)90023-6zbMath0478.03016OpenAlexW2072005009MaRDI QIDQ3934371

Henry A. Kierstead

Publication date: 1980

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(80)90023-6

zbMATH Keywords

omega-one-categoricity

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Logic on admissible sets (03C70)

Related Items (1)

Ranks and pregeometries in finite diagrams

This page was built for publication: Countable models of ω1-categorical theories in admissible languages