scientific article
From MaRDI portal
Publication:3342568
zbMath0549.03051MaRDI QIDQ3342568
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
prewellorderingpredicative classesextensional equalityextensions of Peano Arithmeticset theory \(KPC_ 1\)untyped comprehension schema
Cut-elimination and normal-form theorems (03F05) 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)
Related Items (1)
This page was built for publication:
