scientific article; zbMATH DE number 1420857

zbMath0943.03044MaRDI QIDQ4944925

Thomas Strahm

Publication date: 22 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

transfinitely iterated fixed point theoriesautonomity in iterated fixed point theoriesautonomous generation of transfinite hierarchies of fixed points of positive arithmetic operatorsfixed point transfinite recursioniterated inaccessibilityKripke Platek set theory without foundationmetapredicative proof theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Recursive ordinals and ordinal notations (03F15)

Related Items

The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice ⋮ Full and hat inductive definitions are equivalent in NBG ⋮ Intuitionistic Fixed Point Theories for Strictly Positive Operators ⋮ Truth and the philosophy of mathematics ⋮ Some results on cut-elimination, provable well-orderings, induction and reflection ⋮ Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ ⋮ Universes over Frege structures

This page was built for publication: