On cofinal extensions of models of arithmetic

DOI10.2307/2273545MaRDI QIDQ3322105zbMATH OpenOpenAlexFDO

Authors Henryk Kotlarski

Publication date 1983

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

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

zbMATH Keywords

saturated modelend extensiontransfinite inductionsimple extensionexpandabilityoverspillcofinal extensionsSkolem closuresaturatedness

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Recommendations

• On cofinal extensions of models of fragments of arithmetic
• End extensions of models of arithmetic
• scientific article; zbMATH DE number 4043837
• Theories of arithmetics in finite models
• Models of arithmetic and categories with finiteness conditions
• Model-theoretic applications of cofinality spectrum problems
• scientific article; zbMATH DE number 176207
• On Extensions of Models of Strong Fragments of Arithmetic
• End extensions of models of weak arithmetic theories
• Near coherence of filters. I: Cofinal equivalence of models of arithmetic

Cites work

• On Skolem Ultrapowers and Their Non‐Standard Variant
• On expandability of models of Peano arithmetic. I
• Recursively saturated nonstandard models of arithmetic

Cited in

(17)

• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Generalized r-cohesiveness and the arithmetical hierarchy: a correction to “Generalized cohesiveness”
• The diversity of minimal cofinal extensions
• Cofinal elementary extensions
• Extendability of Functions on Models of ZFFin
• On Extensions of Models of Strong Fragments of Arithmetic
• Extendible Sets in Peano Arithmetic
• Ultrafilters and types on models of arithmetic
• Conservative extensions of models of set theory and generalizations
• Disturbing arithmetic
• Elementary Extensions of Models of the Alternative Set Theory
• Saturation and simple extensions of models of Peano arithmetic
• On cofinal extensions of models of fragments of arithmetic
• Automorphisms of recursively saturated models of arithmetic
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
• \(\text{NP}\not={co}\)-NP and models of arithmetic

This page was built for publication: On cofinal extensions of models of arithmetic

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