On the existence of atomic models

DOI10.2307/2275137zbMath0806.03021arXivmath/9301210OpenAlexW2106685417MaRDI QIDQ4283061

Saharon Shelah, Michael Chris 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)

Related Items (11)

Hanf numbers for extendibility and related phenomena ⋮ Forcing a countable structure to belong to the ground model ⋮ Complete Lω1,ω‐sentences with maximal models in multiple cardinalities ⋮ HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM ⋮ THE NUMBER OF ATOMIC MODELS OF UNCOUNTABLE THEORIES ⋮ A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part ⋮ DISJOINT AMALGAMATION IN LOCALLY FINITE AEC ⋮ Three red herrings around Vaught’s conjecture ⋮ The first omega alephs: from simplices to trees of trees to higher walks ⋮ On a theorem of Vaught for first order logic with finitely many variables ⋮ Higher-dimensional obstructions for star reductions

Cites Work

• On generic structures

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