scientific article; zbMATH DE number 528856

MaRDI QIDQ4285379zbMATH OpenFDO

Authors Ilijas Farah

Publication date 24 March 1994

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

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\(\Sigma_ n\)-fragmentselementary end-extensionextensions of PAMcDowell-Specker's theorem

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(2)

• A note on the Mac Dowell-Specker theorem
• Cofinal elementary extensions

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 Q4285379)