Extensionality and choice in constructive mathematics (Q1148317)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Extensionality and choice in constructive mathematics |
scientific article; zbMATH DE number 3706446
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extensionality and choice in constructive mathematics |
scientific article; zbMATH DE number 3706446 |
Statements
Extensionality and choice in constructive mathematics (English)
0 references
1980
0 references
formal systems
0 references
set-theoretic systems
0 references
operation-theoretic system
0 references
axioms of choice
0 references
functions
0 references
