End extensions and numbers of countable models

DOI10.2307/2273531MaRDI QIDQ4198507zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 1978

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

Full work available at URL https://doi.org/10.2307/2273531

zbMATH Keywords

end-extensionsmodels of Peano arithmeticnon-standard modelsnumber of countable modelstheory of order of natural numbers

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Nonstandard models of arithmetic (03H15) Nonstandard models (03H99)

Cites work

• Some model theoretic results for -logic

Cited in

(10)

• Stationarily ordered types and the number of countable models
• Model-theoretic applications of cofinality spectrum problems
• Vaught's conjecture for monomorphic theories
• Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
• New jump operators on equivalence relations
• Types directed by constants
• Model theory of the inaccessibility scheme
• Vaught's conjecture for theories of discretely ordered structures
• Model theory of the regularity and reflection schemes

This page was built for publication: End extensions and numbers of countable models

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