Showing 2025Show all
3 papers · 1 filter
math.LO2025
Ranking theories via encoded -models
Hanul Jeon, Patrick Lutz, Fedor Pakhomov +1
Ranking theories according to their strength is a recurring motif in mathematical logic. We introduce a new ranking of arbitrary (not necessarily recursively axiomatized) theories…
math.LO2025
Martin's measurable dilator
Hanul Jeon
Martin's remarkable proof of -determinacy from an iterable rank-into-rank embedding highlighted the connection between large cardinals and determinacy. In this paper,…
math.LO2025
Proof-theoretic dilator and intermediate pointclasses
Hanul Jeon
There are two major generalizations of the standard ordinal analysis: One is Girard's -proof theory in which dilators are assigned to theories instead of ordinals. The other…