scientific article; zbMATH DE number 7407793
From MaRDI portal
Publication:5155683
Publication date: 8 October 2021
Full work available at URL: https://arxiv.org/abs/2006.05433
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Combinatory logic. With two sections by William Craig.
- Set theory. An introduction to independence proofs
- Realizability algebras II : new models of ZF + DC
- On the computational content of the axiom of choice
- A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
- Realizability algebras III: some examples
- Preserving cardinals and weak forms of Zorn’s lemma in realizability models
- Classical realizability as a classifier for nondeterminism
- REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
- On the structure of classical realizability models of ZF
- Bar recursion in classical realisability : dependent choice and continuum hypothesis
- On the Interpretation of Non-Finitist Proofs--Part I
- On the interpretation of non-finitist proofs–Part II
- The axiom of choice
This page was built for publication:
