Preservation of choice principles under realizability (Q5241928)
From MaRDI portal
scientific article; zbMATH DE number 7125827
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Preservation of choice principles under realizability |
scientific article; zbMATH DE number 7125827 |
Statements
Preservation of choice principles under realizability (English)
0 references
4 November 2019
0 references
intuitionistic
0 references
constructive Zermelo-Fraenkel set theory
0 references
axioms of choice
0 references
realizability
0 references
applicative structure
0 references
