scientific article; zbMATH DE number 6307940
From MaRDI portal
Publication:4981456
zbMath1315.03112MaRDI QIDQ4981456
Jan-Carl Stegert, Wolfram Pohlers
Publication date: 24 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)
Related Items (4)
Pure \(\Sigma_2\)-elementarity beyond the core ⋮ Iterated Inductive Definitions Revisited ⋮ A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION ⋮ A Glimpse of $$ \sum_{3} $$-elementarity
This page was built for publication:
