Publication:3211288
From MaRDI portal
zbMath0723.03022MaRDI QIDQ3211288
Publication date: 1990
inner model; compactness; measurable cardinal; large cardinals; combinatorial principles; regular ultrafilter; abstract model theory; abstract logics; compact logic; compactness spectra; existence of maximal models; logics generated by monadic quantifiers; realizing types
Related Items
Ultrafilter translations. I: \((\lambda, \lambda)\)-compactness of logics with a cardinality quantifier, More on regular and decomposable ultrafilters in ZFC