scientific article
From MaRDI portal
Publication:3960692
zbMath0497.03046MaRDI QIDQ3960692
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
conservative extensionarithmetical transfinite recursion with restricted inductionfinitely axiomatizable system of set theory
Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (4)
\(\Pi_1^1\)-comprehension as a well-ordering principle ⋮ A categorical construction of Bachmann–Howard fixed points ⋮ Patterns of resemblance and Bachmann-Howard fixed points ⋮ Countable algebra and set existence axioms
This page was built for publication:
