scientific article; zbMATH DE number 3557777

MaRDI QIDQ4133625zbMATH OpenFDO

Authors Kurt Schütte

Publication date 1976

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive ordinals and ordinal notations (03F15)

Recommendations

• A new system of proof-theoretic ordinal functions
• Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops
• Recursion on generalized computable ordinals
• scientific article; zbMATH DE number 440486
• scientific article; zbMATH DE number 3983154
• scientific article; zbMATH DE number 1215495
• Undecidable complexity statements in -arithmetic
• scientific article; zbMATH DE number 1390019
• A complete characterization of primitive recursive intensional behaviours

Cited in

(6)

• scientific article; zbMATH DE number 4019039 (Why is no real title available?)
• Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen
• scientific article; zbMATH DE number 19776 (Why is no real title available?)
• How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
• Unary primitive recursive functions
• Term rewriting theory for the primitive recursive functions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133625)