Cut-elimination for ω₁
classification
🧮 math.LO
keywords
assumptionaxiomscalibratecollectioncut-eliminationexistenceexistsinfinity
read the original abstract
In this paper we calibrate the strength of the soundness of a Kripke-Platek set theory with the axioms of Infinity and \Pi_{1}-Collection with the assumption that`there exists an uncountable regular ordinal' in terms of the existence of ordinals.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.