Publication:2765571
From MaRDI portal
DOI<489::AID-MALQ489>3.0.CO;2-8 10.1002/1521-3870(200111)47:4<489::AID-MALQ489>3.0.CO;2-8zbMath0997.03035MaRDI QIDQ2765571
Publication date: 11 November 2002
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
20B27: Infinite automorphism groups
Related Items
Automorphism groups of arithmetically saturated models, A Galois correspondence for countable short recursively saturated models of PA