scientific article; zbMATH DE number 1302488

zbMATH Open0928.03044MaRDI QIDQ4247804FDOQ4247804

Authors: Ali Enayat 

Publication date: 9 January 2000

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

Recommendations

• A note on the Mac Dowell-Specker theorem
• On end extensions of models of subsystems of Peano arithmetic
• End extensions of models of arithmetic

zbMATH Keywords

surveyconservative extensionend extensionminimal extensionPeano arithmetic PApower-like modelZermelo-Fraenkel set theory ZF

Mathematics Subject Classification ID

Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Cited In (9)

• The strength of Mac Lane set theory
• Free Boolean topological groups
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• On the universal completion of pointfree function spaces
• A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures
• On end extensions of models of subsystems of Peano arithmetic
• Title not available (Why is that?)
• Destructibility and axiomatizability of Kaufmann models
• The nonexistence of extremally disconnected free topological groups

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