Constructive models of \(\aleph_1\)-categorical theories
From MaRDI portal
Publication:1255943
DOI10.1007/BF01431432zbMath0403.03025OpenAlexW2023793968MaRDI QIDQ1255943
Publication date: 1978
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01431432
Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Other model constructions (03C30)
Related Items (4)
Computable models of theories with few models ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 ⋮ An uncountably categorical theory whose only computably presentable model is saturated
Cites Work
This page was built for publication: Constructive models of \(\aleph_1\)-categorical theories