Publication:3173631
From MaRDI portal
zbMath1238.03037MaRDI QIDQ3173631
Publication date: 10 October 2011
03C50: Models with special properties (saturated, rigid, etc.)
03C07: Basic properties of first-order languages and structures
03C35: Categoricity and completeness of theories
Related Items
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC, The automorphism group of a resplendent model