Automorphisms of models of bounded arithmetic

DOI10.4064/FM192-1-3zbMath1115.03036OpenAlexW2117334030MaRDI QIDQ3414770

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

zbMATH Keywords

automorphismbounded arithmeticfirst-order arithmeticrecursive saturation

Mathematics Subject Classification ID

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

Related Items (6)

Automorphisms of models of arithmetic: a unified view ⋮ Iterated ultrapowers for the masses ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Fixed points of self-embeddings of models of arithmetic ⋮ Where pigeonhole principles meet Koenig lemmas ⋮ Largest initial segments pointwise fixed by automorphisms of models of set theory

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