From bounded arithmetic to second order arithmetic via automorphisms

MaRDI QIDQ5393634zbMATH OpenFDO

Authors Ali Enayat

Publication date 23 October 2006

zbMATH Keywords

arithmetical comprehension schemaautomorphismsbounded arithmeticmetamathematics of NFUPeano arithmeticrestricted inductionsecond-order arithmetic

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonclassical and second-order set theories (03E70) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Automorphisms of models of bounded arithmetic
• Automorphisms of models of set theory and extensions of NFU
• scientific article; zbMATH DE number 2144527
• Automorphisms moving all non-algebraic points and an application to NF
• Automorphism groups of arithmetically saturated models

Cited in

(12)

• 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
• Automorphisms of models of bounded arithmetic
• Non-standard analysis in ACA0 and Riemann mapping theorem
• Conservativity of ultrafilters over subsystems of second order arithmetic
• scientific article; zbMATH DE number 2144527 (Why is no real title available?)
• 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

This page was built for publication: From bounded arithmetic to second order arithmetic via automorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5393634)