scientific article; zbMATH DE number 1295215

zbMATH Open0924.03108MaRDI QIDQ4248092FDOQ4248092

Authors: Peter Clote 

Publication date: 3 June 1999

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

Title of this publication is not available (Why is that?)

Recommendations

• A note on end extensions
• A note on the Mac Dowell-Specker theorem
• A Correction to "On Extensions of Models of Strong Fragments of Arithmetic"
• End extensions of models of arithmetic

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 (3)

• A note on the Mac Dowell-Specker theorem
• On end extensions of models of subsystems of Peano arithmetic
• End extensions of models of fragments of \(\mathrm{PA}\)

This page was built for publication:

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