Modified bar recursion

DOI10.1017/S0960129506005093zbMath1101.03032OpenAlexW2111656596MaRDI QIDQ5481588

Paulo Oliva, Ulrich Berger

Publication date: 10 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129506005093

zbMATH Keywords

fan functionalhigher type recursionmodified bar recursionGandy's functional

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Higher-type and set recursion theory (03D65)

Related Items (11)

The equivalence of bar recursion and open recursion ⋮ A Computable Solution to Partee’s Temperature Puzzle ⋮ Unnamed Item ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Selection functions, bar recursion and backward induction ⋮ Bar recursion over finite partial functions ⋮ Constructive decidability of classical continuity ⋮ A Coalgebraic View of Bar Recursion and Bar Induction ⋮ THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT ⋮ Sequential games and optimal strategies ⋮ BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS

This page was built for publication: Modified bar recursion