A note on the Mac Dowell-Specker theorem

DOI10.4064/fm-127-2-163-170zbMath0619.03038OpenAlexW939367565MaRDI QIDQ3755453

Peter Clote

Publication date: 1987

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211615

zbMATH Keywords

ultrapowermodels of arithmeticpriority methodcountable modelelementary end extensionbounded inductioncomplete ultrafilter

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Ultraproducts and related constructions (03C20)

Related Items (7)

End extensions of models of weak arithmetic theories ⋮ On Extensions of Models of Strong Fragments of Arithmetic ⋮ End extensions of models of fragments of \(\mathrm{PA}\) ⋮ On two problems concerning end extensions ⋮ On end extensions of models of subsystems of Peano arithmetic ⋮ Sub-arithmetical ultrapowers: A survey ⋮ The degree of a \(\Sigma_ n\) cut

This page was built for publication: A note on the Mac Dowell-Specker theorem