No label defined (Q4369484)
From MaRDI portal
scientific article; zbMATH DE number 1099515
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1099515 |
Statements
5 January 1998
0 references
Zermelo-Fraenkel set theory
0 references
intuitionistic set theory
0 references
transfer theorem
0 references
ordered field
0 references
regular \(f\)-ring
0 references
Boolean-valued universe
0 references
