scientific article; zbMATH DE number 5066356
From MaRDI portal
Publication:5393634
zbMath1107.03038MaRDI QIDQ5393634
Publication date: 23 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automorphismsPeano arithmeticbounded arithmeticsecond-order arithmeticrestricted inductionarithmetical comprehension schemametamathematics of NFU
First-order arithmetic and fragments (03F30) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Automorphisms of models of arithmetic: a unified view ⋮ Iterated ultrapowers for the masses ⋮ Infinitesimal analysis without the axiom of choice ⋮ CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC ⋮ On the strength of a weak variant of the axiom of counting ⋮ Fixed points of self-embeddings of models of arithmetic ⋮ Automorphisms of models of set theory and extensions of NFU ⋮ The Rado path decomposition theorem ⋮ A standard model of Peano arithmetic with no conservative elementary extension ⋮ Non-standard analysis in ACA0 and Riemann mapping theorem
This page was built for publication: