A note on the Mac Dowell-Specker theorem

DOI10.4064/FM-127-2-163-170zbMATH Open0619.03038OpenAlexW939367565MaRDI QIDQ3755453FDOQ3755453

Authors: Peter Clote 

Publication date: 1987

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

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

Recommendations

• A note on end extensions
• On two problems concerning end extensions
• scientific article; zbMATH DE number 1295215
• scientific article; zbMATH DE number 528856
• End extensions of models of fragments of \(\mathrm{PA}\)

zbMATH Keywords

countable modelmodels of arithmeticultrapowerelementary end extensionpriority methodbounded inductioncomplete ultrafilter

Mathematics Subject Classification ID

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

Cited In (11)

• End extensions of models of weak arithmetic theories
• On Extensions of Models of Strong Fragments of Arithmetic
• Title not available (Why is that?)
• Specker's theorem for Nöbeling's group
• The degree of a \(\Sigma_ n\) cut
• End extensions of models of arithmetic
• On end extensions of models of subsystems of Peano arithmetic
• Sub-arithmetical ultrapowers: A survey
• On two problems concerning end extensions
• End extensions of models of fragments of \(\mathrm{PA}\)
• A note on effective ultrapowers: Uniform failure of bounded collection

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

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