LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
From MaRDI portal
Publication:2921002
DOI10.1017/jsl.2014.6zbMath1337.03085arXiv1101.5660OpenAlexW2064857087MaRDI QIDQ2921002
Publication date: 30 September 2014
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1101.5660
Axiomatics of classical set theory and its fragments (03E30) Recursive ordinals and ordinal notations (03F15)
Related Items (3)
Boundedness theorems for flowers and sharps ⋮ Intuitionistic fixed point theories over set theories ⋮ Cut-elimination for \(\omega_{1}\)
This page was built for publication: LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
