scientific article; zbMATH DE number 3397511

zbMath0252.02024MaRDI QIDQ5665177

Wayne Richter

Publication date: 1971

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

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)

Related Items

Fixed-point extensions of first-order logic, On the Performance of Axiom Systems, Ordinal notations based on a weakly Mahlo cardinal, Inductive Definitions and Computability, Inductively defined sets of reals, Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms, Some aspects of generalized computability