Publication:3931394
From MaRDI portal
zbMath0475.03044MaRDI QIDQ3931394
Publication date: 1981
Nonstandard models of arithmetic (03H15) Models with special properties (saturated, rigid, etc.) (03C50) Ultraproducts and related constructions (03C20) Models of other mathematical theories (03C65) Model theory of denumerable and separable structures (03C15)
Related Items
Automorphisms of recursively saturated models of arithmetic, Ultrafilters and types on models of arithmetic