Transference theorems and intuitionistic set theory (Q1595703)
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: Transference theorems and intuitionistic set theory |
scientific article; zbMATH DE number 1564536
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transference theorems and intuitionistic set theory |
scientific article; zbMATH DE number 1564536 |
Statements
Transference theorems and intuitionistic set theory (English)
0 references
13 February 2001
0 references
intuitionistic set theory
0 references
rings
0 references
ordered rings
0 references
ordered fields
0 references
0.9042829
0 references
0.90365577
0 references
0.8939737
0 references
0.88584083
0 references
0 references
0.8854993
0 references
0.8834135
0 references
0 references
