Metamathematical properties of intuitionistic set theories with choice principles (Q5384979)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5269065
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Metamathematical properties of intuitionistic set theories with choice principles |
scientific article; zbMATH DE number 5269065 |
Statements
29 April 2008
0 references
intuitionistic Zermelo-Fraenkel set theory
0 references
disjunction property
0 references
numerical existence property
0 references
Church's rule
0 references
constructive Zermelo-Fraenkel set theory
0 references
program extraction from proofs
0 references
0.8344918489456177
0 references
0.7934800982475281
0 references
0.7671366930007935
0 references
0.7635343670845032
0 references
