Stepping up lemmas in definable partitions

DOI10.2307/2274087zbMath0576.03034OpenAlexW2115830177WikidataQ124880030 ScholiaQ124880030MaRDI QIDQ3695278

Evangelos Kranakis

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274087

zbMATH Keywords

admissibilityadmissible ordinalsdefinable ultrafiltersDefinable partition relations

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Set theory. An introduction to large cardinals
• Reflection and partition properties of admissible ordinals
• Definable Ultrafilters and end Extension of Constructible Sets

This page was built for publication: Stepping up lemmas in definable partitions