Publication:4288806
From MaRDI portal
zbMath0797.03039MaRDI QIDQ4288806
Publication date: 19 April 1994
03E45: Inner models, including constructibility, ordinal definability, and core models
03C80: Logic with extra quantifiers and operators
03C75: Other infinitary logic
Related Items
Ultrafilter translations. I: \((\lambda, \lambda)\)-compactness of logics with a cardinality quantifier, More on regular and decomposable ultrafilters in ZFC