Countable models of _ 1-categorical, but not _ 0-categorical theories

DOI10.1007/BF02321897MaRDI QIDQ2549320zbMATH OpenOpenAlexFDO

Authors T. G. Mustafin, A. D. Taĭmanov

Publication date 1971

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02321897

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)

Cites work

• Categoricity in Power
• Countable models of \(\aleph_ 1\)-categorical theories

Cited in

(5)

• The model \(N=\cup \{L[A]:\) A countable set of ordinals\(\}\)
• Finding \(2^{\aleph_0}\) countable models for ordered theories
• A.D. Taimanov and model theory in Kazakhstan
• An uncountably categorical theory whose only computably presentable model is saturated
• A model of intuitionistic analysis in which -definable discrete sets are subcountable

This page was built for publication: Countable models of \(\aleph_ 1\)-categorical, but not \(\aleph_ 0\)-categorical theories

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