Publication:5393634
From MaRDI portal
zbMath1107.03038MaRDI QIDQ5393634
Publication date: 23 October 2006
automorphisms; Peano arithmetic; bounded arithmetic; second-order arithmetic; restricted induction; arithmetical comprehension schema; metamathematics of NFU
03F30: First-order arithmetic and fragments
03E70: Nonclassical and second-order set theories
03C62: Models of arithmetic and set theory
03F35: Second- and higher-order arithmetic and fragments
Related Items
CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC, On the strength of a weak variant of the axiom of counting, Automorphisms of models of arithmetic: a unified view, A standard model of Peano arithmetic with no conservative elementary extension, Iterated ultrapowers for the masses, Fixed points of self-embeddings of models of arithmetic, Automorphisms of models of set theory and extensions of NFU, The Rado path decomposition theorem, Infinitesimal analysis without the axiom of choice, Non-standard analysis in ACA0 and Riemann mapping theorem