Effective cardinals in the nonstandard universe
Vladimir Kanovei, Michael Reeken
Abstract
We study the structure of effective cardinals in the nonstandard set universe of Hrbacek set theory HST. Some results resemble those known in descriptive set theory in the domain of Borel reducibility of equivalence relations.
Create a lesson
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