Automorphisms of models of bounded arithmetic

DOI10.4064/FM192-1-3zbMATH Open1115.03036OpenAlexW2117334030MaRDI QIDQ3414770FDOQ3414770

Authors: Ali Enayat 

Publication date: 10 January 2007

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm192-1-3

Recommendations

• Automorphisms of saturated and boundedly saturated models of arithmetic
• Fixed points of self-embeddings of models of arithmetic
• From bounded arithmetic to second order arithmetic via automorphisms
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• A Generalization of a Theorem of H. Friedman

zbMATH Keywords

automorphismbounded arithmeticrecursive saturationfirst-order arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Model theory of denumerable and separable structures (03C15) Models of arithmetic and set theory (03C62) Infinite automorphism groups (20B27)

Cited In (11)

• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Where pigeonhole principles meet Koenig lemmas
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• From bounded arithmetic to second order arithmetic via automorphisms
• A Generalization of a Theorem of H. Friedman
• Iterated ultrapowers for the masses
• Automorphisms of models of arithmetic: a unified view
• Model companions of theories with an automorphism
• Automorphisms of recursively saturated models of arithmetic
• Construction of models of bounded arithmetic by restricted reduced powers
• Fixed points of self-embeddings of models of arithmetic

This page was built for publication: Automorphisms of models of bounded arithmetic

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