Pages that link to "Item:Q1884884"
From MaRDI portal
The following pages link to Dependent choice, `quote' and the clock (Q1884884):
Displaying 26 items.
- Realizability for Peano arithmetic with winning conditions in HON games (Q345704) (← links)
- Between proof and truth (Q383057) (← links)
- Erratum to: ``Between proof and truth'' (Q383075) (← links)
- Totality in arena games (Q636307) (← links)
- Proofs, programs, processes (Q693063) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Getting results from programs extracted from classical proofs (Q1882897) (← links)
- On the necessity of some topological spaces (Q2104265) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- A call-by-name lambda-calculus machine (Q2464723) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- Specifying Peirce's law in classical realizability (Q2973242) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- A Survey of Classical Realizability (Q3007652) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) (Q3540181) (← links)
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction (Q3637195) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- Realizability algebras III: some examples (Q4599612) (← links)
- Realizability in ordered combinatory algebras with adjunction (Q4623132) (← links)
- The category of implicative algebras and realizability (Q5108535) (← links)
- Implicative algebras: a new foundation for realizability and forcing (Q5139288) (← links)
- Classical realizability and arithmetical formulæ (Q5360216) (← links)
- Krivine's classical realisability from a categorical perspective (Q5410238) (← links)
- A first-order completeness result about characteristic Boolean algebras in classical realizability (Q6649488) (← links)
