Independence of the partial axiom of choice of intuitionistic set theory (Q4232316)
From MaRDI portal
scientific article; zbMATH DE number 1262249
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Independence of the partial axiom of choice of intuitionistic set theory |
scientific article; zbMATH DE number 1262249 |
Statements
Independence of the partial axiom of choice of intuitionistic set theory (English)
0 references
15 March 1999
0 references
independence
0 references
partial axiom of choice
0 references
intuitionistic set theory
0 references
