Automorphisms of models of arithmetic: a unified view

DOI10.1016/J.APAL.2006.05.013MaRDI QIDQ866555zbMATH OpenOpenAlexFDO

Authors Ali Enayat

Publication date 14 February 2007

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2006.05.013

zbMATH Keywords

automorphism groupPeano arithmeticrecursive saturationiterated ultrapowerstrong cut

Mathematics Subject Classification ID

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

Recommendations

• Automorphisms of models of bounded arithmetic
• Automorphisms of recursively saturated models of arithmetic
• Automorphisms of saturated and boundedly saturated models of arithmetic
• ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC
• Automorphisms and constructions of models of set theory
• scientific article; zbMATH DE number 889876
• Automorphism groups of arithmetically saturated models
• On the number of automorphisms of uncountable models
• Automorphism groups of models of Peano arithmetic
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups

Cites work

• scientific article; zbMATH DE number 3882428 (Why is no real title available?)
• scientific article; zbMATH DE number 4002096 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3741468 (Why is no real title available?)
• scientific article; zbMATH DE number 3792159 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 57851 (Why is no real title available?)
• scientific article; zbMATH DE number 3534482 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 1222926 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 638942 (Why is no real title available?)
• scientific article; zbMATH DE number 3437141 (Why is no real title available?)
• scientific article; zbMATH DE number 3204609 (Why is no real title available?)
• A Combinatorial Theorem
• A simple tree lemma and its application to a counterexample of philips
• Arithmetically saturated models of arithmetic
• Automorphism groups of models of Peano arithmetic
• Automorphisms moving all non-algebraic points and an application to NF
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
• Automorphisms of countable recursively saturated models of PA: A survey
• Automorphisms of models of bounded arithmetic
• Automorphisms of recursively saturated models of arithmetic
• Automorphisms with only infinite orbits on non-algebraic elements
• Closure properties of countable non-standard integers
• From bounded arithmetic to second order arithmetic via automorphisms
• Models and types of Peano's arithmetic
• Note on Canonical Partitions
• On elementary cuts in recursively saturated models of Peano Arithmetic
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• Partition Theorems and Computability Theory
• Recursively saturated models generated by indiscernibles
• Results on automorphisms of recursively saturated models of PA
• Some applications of iterated ultrapowers in set theory
• Some problem in elementary arithmetics
• The structure of models of Peano arithmetic
• Toward model theory through recursive saturation
• Ultrafilters and types on models of arithmetic

Cited in

(10)

• Automorphisms of recursively saturated models of arithmetic
• Fixed points of self-embeddings of models of arithmetic
• A Galois correspondence for countable short recursively saturated models of PA
• Model companions of theories with an automorphism
• Rank-initial embeddings of non-standard models of set theory
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
• Iterated ultrapowers for the masses
• scientific article; zbMATH DE number 57851 (Why is no real title available?)
• Models of arithmetic in \(A\)-isols
• The complexity of classification problems for models of arithmetic

This page was built for publication: Automorphisms of models of arithmetic: a unified view

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