Automorphism groups of arithmetically saturated models
From MaRDI portal
Publication:5477630
DOI10.2178/jsl/1140641169zbMath1101.03030MaRDI QIDQ5477630
Publication date: 5 July 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1140641169
03C62: Models of arithmetic and set theory
Related Items
Decoding in the automorphism group of a recursively saturated model of arithmetic, More automorphism groups of countable, arithmetically saturated models of Peano arithmetic, AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC, Interstitial and pseudo gaps in models of Peano Arithmetic, A Galois correspondence for countable short recursively saturated models of PA
Cites Work
- Unnamed Item
- Ultrafilters and types on models of arithmetic
- Automorphisms of recursively saturated models of arithmetic
- On the strength of Ramsey's theorem
- On the strength of Ramsey's theorem for pairs
- Closed Normal Subgroups
- On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
- The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic