Publication:3912582
From MaRDI portal
zbMath0463.03041MaRDI QIDQ3912582
Publication date: 1980
Hanf number of true arithmetic; interactions between combinatorial principles and models; Ramsey types
05C55: Generalized Ramsey theory
03H15: Nonstandard models of arithmetic
03C30: Other model constructions
Related Items
Ultrafilters and types on models of arithmetic, On maximal subgroups of the automorphism group of a countable recursively saturated model of PA