Realizability for Peano arithmetic with winning conditions in HON games
DOI10.1016/J.APAL.2016.10.006zbMATH Open1377.03020OpenAlexW2536088897MaRDI QIDQ345704FDOQ345704
Authors: Valentin Blot 
Publication date: 2 December 2016
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2016.10.006
Recommendations
- Realizability for Peano arithmetic with winning conditions in HON games
- Classical realizability and arithmetical formulæ
- Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness
- Interactive learning based realizability and 1-backtracking games
- Publication:4944901
Applications of game theory (91A80) Logic in computer science (03B70) First-order arithmetic and fragments (03F30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)
Cites Work
- On full abstraction for PCF: I, II and III
- Title not available (Why is that?)
- Title not available (Why is that?)
- A semantics of evidence for classical arithmetic
- Sequential algorithms and strongly stable functions
- Title not available (Why is that?)
- Dependent choice, `quote' and the clock
- Asynchronous games. II: The true concurrency of innocence
- Control categories and duality: On the categorical semantics of the lambda-mu calculus
- Asynchronous games 3 an innocent model of linear logic
- Existential witness extraction in classical realizability and via a negative translation
- Least and Greatest Fixpoints in Game Semantics
- Thick Subtrees, Games and Experiments
- On the computational content of the axiom of choice
- Title not available (Why is that?)
- Title not available (Why is that?)
- Realizability for Peano arithmetic with winning conditions in HON games
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory
Cited In (2)
This page was built for publication: Realizability for Peano arithmetic with winning conditions in HON games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q345704)
