scientific article; zbMATH DE number 5263065
From MaRDI portal
Publication:5457304
zbMath1144.03036MaRDI QIDQ5457304
Publication date: 14 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)
Related Items (3)
Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) ⋮ Coalgebras as Types Determined by Their Elimination Rules ⋮ An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe
This page was built for publication:
