scientific article; zbMATH DE number 1302488
From MaRDI portal
Publication:4247804
zbMath0928.03044MaRDI QIDQ4247804
Publication date: 9 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyminimal extensionend extensionconservative extensionPeano arithmetic PApower-like modelZermelo-Fraenkel set theory ZF
Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)
Related Items (5)
A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures ⋮ Free Boolean topological groups ⋮ The nonexistence of extremally disconnected free topological groups ⋮ On the universal completion of pointfree function spaces ⋮ Destructibility and axiomatizability of Kaufmann models
This page was built for publication:
