Dominating Reals and Ordinal Theories
Cayley Robinson
math.LOarXiv:2608.28871
Related papers
Classification complexity of homeomorphism group actions
Michal Hevessy, Benjamin Vejnar
A Borel Concept Class of VC Dimension One with a Non-PAC Consistent Learner in ZFC
Mateus Jesus de Arruda Campos, Gabriel Fernandes, Vinicius de Oliveira Rodrigues
Fixed points in abstract provability structures
Tsubasa Kumasaka, Taishi Kurahashi
Intuitionistic and Constructive Modal Logics for Classical Modal Logicians
Yuta Sato
Ball codes: A coding characterization of Hausdorff and packing dimensions
Kenshi Miyabe
Dilator-based analysis of KP
Hanul Jeon