End extensions and numbers of countable models

DOI10.2307/2273531zbMath0412.03043OpenAlexW2170485140MaRDI QIDQ4198507

Saharon 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

models of Peano arithmeticnumber of countable modelsnon-standard modelsend-extensionstheory of order of natural numbers

Mathematics Subject Classification ID

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

Related Items (9)

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

Cites Work

• Some model theoretic results for \(\omega\)-logic

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