Countable models and unions of theories

DOI10.2969/JMSJ/03830501MaRDI QIDQ1821096zbMATH OpenOpenAlexFDO

Authors Akito Tsuboi

Publication date 1986

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2969/jmsj/03830501

zbMATH Keywords

finitely many countable modelslimits of theoriesstable theory

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45)

Review text

This paper is a natural continuation of the authors' paper reviewed above [see Zbl 0616.03019] in which we gave a partial positive solution to the following conjecture: There is no (first order) stable theory which has only n \((>1)\) countable models. More precisely, we showed that we cannot construct a theory with n \((>1)\) countable models by imitating the construction of Ehrenfeucht's example. In the present paper, we prove the above conjecture for those theories which can be conceived as limits of certain theories.

Recommendations

• On the number of models of uncountable theories
• Countable Models of Stable Theories
• The classification of countable models of set theory
• scientific article; zbMATH DE number 2204765
• On the number of countable models of stable theories
• Countable models of 1-based theories
• Theories Having Finitely Many Countable Homogeneous Models
• scientific article; zbMATH DE number 2063230
• scientific article; zbMATH DE number 3896909
• Distributions of countable models of theories with continuum many types

Cited in

(20)

• Stable theories, pseudoplanes and the number of countable models
• A note on countable models of 1-based theories
• Definability for model counting
• The distribution of countable models of the theory of the group of integers
• An uncountably categorical theory whose only computably presentable model is saturated
• Distributions of countable models of theories with continuum many types
• On the number of countable models of stable theories
• A model of intuitionistic analysis in which -definable discrete sets are subcountable
• Countable infinite existentially closed models of universally axiomatizable theories
• Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
• Countable Models of Stable Theories
• Theories Having Finitely Many Countable Homogeneous Models
• On the number of models of uncountable theories
• On Theories Having Three Countable Models
• Counting models of set theory
• Random unary predicates: Almost sure theories and countable models
• On theories having a finite number of nonisomorphic countable models
• scientific article; zbMATH DE number 6304251 (Why is no real title available?)
• Hypergraphs of prime models and distributions of countable models of small theories
• Powerful types in small theories

This page was built for publication: Countable models and unions of theories

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