Definable Ultrafilters and end Extension of Constructible Sets

DOI10.1002/malq.19820282703zbMath0494.03031OpenAlexW2034155447MaRDI QIDQ3956927

Evangelos Kranakis

Publication date: 1982

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19820282703

zbMATH Keywords

ultrapoweradmissible ordinal

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Stepping up lemmas in definable partitions

This page was built for publication: Definable Ultrafilters and end Extension of Constructible Sets