A note on the Mac Dowell-Specker theorem
From MaRDI portal
Publication:3755453
DOI10.4064/fm-127-2-163-170zbMath0619.03038MaRDI QIDQ3755453
Publication date: 1987
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211615
ultrapower; models of arithmetic; priority method; countable model; elementary end extension; bounded induction; complete ultrafilter
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
03C20: Ultraproducts and related constructions
Related Items
On Extensions of Models of Strong Fragments of Arithmetic, On end extensions of models of subsystems of Peano arithmetic, End extensions of models of weak arithmetic theories, The degree of a \(\Sigma_ n\) cut, On two problems concerning end extensions, End extensions of models of fragments of \(\mathrm{PA}\), Sub-arithmetical ultrapowers: A survey