Stateful Realizers for Nonstandard Analysis
From MaRDI portal
Publication:6135755
DOI10.46298/lmcs-19(2:7)2023arXiv2210.05346OpenAlexW4361851856MaRDI QIDQ6135755
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2210.05346
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
- A functional interpretation for nonstandard arithmetic
- Realizability. An introduction to its categorical side
- Zur Deutung der intuitionistischen Logik
- Realizability interpretation and normalization of typed call-by-need \(\lambda\)-calculus with control
- Intuitionistic nonstandard bounded modified realisability and functional interpretation
- A model for intuitionistic non-standard arithmetic
- Nonstandard functional interpretations and categorical models
- The effects of effects on constructivism
- Nonstandardness and the bounded functional interpretation
- Bounded functional interpretation
- The duality of computation
- A Constructive Proof of Dependent Choice, Compatible with Classical Logic
- Existential witness extraction in classical realizability and via a negative translation
- Realizability algebras: a program to well order R
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Radically Elementary Probability Theory. (AM-117)
- Internal set theory: A new approach to nonstandard analysis
- On the computational content of the axiom of choice
- Minimal models of Heyting arithmetic
- Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
- Implicative algebras: a new foundation for realizability and forcing
- A functional interpretation with state
- Continuity between Cauchy and Bolzano: issues of antecedents and priority
- Bar recursion in classical realisability : dependent choice and continuum hypothesis
- Constructive forcing, CPS translations and witness extraction in Interactive realizability
- Neutrices and External Numbers
- Bounded modified realizability
- On the Interpretation of Non-Finitist Proofs--Part I
- On the interpretation of intuitionistic number theory
- Non-standard analysis
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory
- Stateful Realizers for Nonstandard Analysis
