scientific article
From MaRDI portal
Publication:3960691
zbMath0497.03045MaRDI QIDQ3960691
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
transfinite inductionproof theoretic ordinalsarithmetical transfinite recursion with restricted induction
Related Items (9)
The Galvin-Prikry theorem and set existence axioms ⋮ Set-theoretic reflection is equivalent to induction over well-founded classes ⋮ A few more dissimilarities between second-order arithmetic and set theory ⋮ Weak comparability of well orderings and reverse mathematics ⋮ Derivatives of normal functions in reverse mathematics ⋮ Which set existence axioms are needed to prove the separable Hahn-Banach theorem? ⋮ Some results on cut-elimination, provable well-orderings, induction and reflection ⋮ Bar induction and \(\omega\) model reflection ⋮ Countable algebra and set existence axioms
This page was built for publication:
