Realizability algebras II : new models of ZF + DC (Q2881077)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Realizability algebras II : new models of ZF + DC |
scientific article |
Statements
Realizability algebras II : new models of ZF + DC (English)
0 references
3 April 2012
0 references
Curry-Howard correspondence
0 references
set theory
0 references
combinatory logic
0 references
lambda-calculus
0 references
axiom of choice
0 references
relative consistency
0 references