scientific article

zbMath0444.03030MaRDI QIDQ3887456

William Alvin Howard

Publication date: 1980

Full work available at URL: http://www.numdam.org/item?id=CM_1980__42_1_105_0

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

zbMATH Keywords

ordinal notationsSkolem arithmetictransfinite recursionelementary intuitionistic analysiscomputation treesbar recursion of type zeroterms for functionals of finite type

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM

Cites Work

• Unnamed Item
• Unnamed Item
• An extension of Schütte's Klammersymbole
• Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen
• Ordinal analysis of terms of finite type
• Ordinal analysis of simple cases of bar recursion
• A system of abstract constructive ordinals

This page was built for publication: