Selection functions, bar recursion and backward induction

DOI10.1017/S0960129509990351MaRDI QIDQ3559969zbMATH OpenOpenAlexFDO

Authors Martín Escardo, Paulo Oliva

Publication date 17 May 2010

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

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

zbMATH Keywords

equilibriamonadbackward inductionbar recursionfinite gamessequential gamescontinuous countably infinite games

Mathematics Subject Classification ID

Applications of game theory (91A80) Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30) Higher-type and set recursion theory (03D65)

Recommendations

• On Spector's bar recursion
• Sequential games and optimal strategies
• Bar recursion and products of selection functions
• A coalgebraic view of bar recursion and bar induction
• Bar recursion over finite partial functions

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• A Relationship between Equilogical Spaces and Type Two Effectivity
• A convenient category of domains
• Algorithmic Game Theory
• Compactly generated domain theory
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Effectively given domains
• Extended admissibility.
• Modified bar recursion
• Monads on symmetric monoidal closed categories
• Notions of computation and monads
• On Double Dualization Monads.
• On the computational content of the axiom of choice
• Strong functors and monoidal monads
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals

Cited in

(21)

• A coalgebraic view of bar recursion and bar induction
• Sequential games and optimal strategies
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Higher-order games with dependent types
• scientific article; zbMATH DE number 7297814 (Why is no real title available?)
• Bar recursion is not computable via iteration
• Programming with algebraic effects and handlers
• The equivalence of bar recursion and open recursion
• Bar recursion and products of selection functions
• The Peirce translation
• Well quasi-orders and the functional interpretation
• Algorithm design with the selection monad
• Smart Choices and the Selection Monad
• A constructive interpretation of Ramsey's theorem via the product of selection functions
• The Herbrand functional interpretation of the double negation shift
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• scientific article; zbMATH DE number 7447766 (Why is no real title available?)
• Constructive forcing, CPS translations and witness extraction in interactive realizability
• A note on the finitization of Abelian and Tauberian theorems
• On Spector's bar recursion
• A generalization of Nash's theorem with higher-order functionals

This page was built for publication: Selection functions, bar recursion and backward induction

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