On the existence of atomic models

DOI10.2307/2275137MaRDI QIDQ4283061zbMATH OpenOpenAlexFDO

Authors S. Shelah, M. C. Laskowski

Publication date 14 March 1994

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

Full work available at URL https://arxiv.org/abs/math/9301210

zbMATH Keywords

atomic modelcountable theoryfully indiscernible set

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07)

Abstract: We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In particular, T(A) is a theory of size lambda where the principal types are dense, yet T(A) has no atomic model.

Recommendations

• On atomic models
• The number of atomic models of uncountable theories
• scientific article; zbMATH DE number 3924760
• An example of a theory without weakly (\(\Sigma\) ,\(\Sigma\) )-atomic models
• More on locally atomic models

Cites work

• On generic structures

Cited in

(17)

• An example of a theory without weakly (\(\Sigma\) ,\(\Sigma\) )-atomic models
• A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part
• The first omega alephs: from simplices to trees of trees to higher walks
• Hanf numbers for extendibility and related phenomena
• On atomic models
• Three red herrings around Vaught's conjecture
• Forcing a countable structure to belong to the ground model
• Constructing many atomic models in _1
• More on locally atomic models
• On a theorem of Vaught for first order logic with finitely many variables
• scientific article; zbMATH DE number 4077174 (Why is no real title available?)
• HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
• The number of atomic models of uncountable theories
• Higher-dimensional obstructions for star reductions
• Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities
• DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
• On atomic composition as identity

This page was built for publication: On the existence of atomic models

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