scientific article; zbMATH DE number 3259893

zbMath0162.31503MaRDI QIDQ5545953

William Alvin Howard

Publication date: 1968

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

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

An axiomatic approach to self-referential truth ⋮ On Spector's bar recursion ⋮ Equivalence of bar recursors in the theory of functionals of finite type ⋮ Polymorphic extensions of simple type structures. With an application to a bar recursive minimization ⋮ Equivalence of bar induction and bar recursion for continuous functions with continuous moduli ⋮ Unnamed Item ⋮ The bounded functional interpretation of bar induction ⋮ Delimited control operators prove double-negation shift ⋮ Characterising Brouwer's continuity by bar recursion on moduli of continuity ⋮ A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM ⋮ Bar recursion over finite partial functions ⋮ Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen ⋮ Some derived rules of intuitionistic second order arithmetic ⋮ Logical problems of functional interpretations ⋮ Unnamed Item ⋮ Classical provability of uniform versions and intuitionistic provability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• A survey of proof theory