Equality and equivalence, intuitionistically (Q2658274)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equality and equivalence, intuitionistically |
scientific article |
Statements
Equality and equivalence, intuitionistically (English)
0 references
19 March 2021
0 references
Brouwer's continuity principle
0 references
apartness
0 references
toy spread
0 references
decidable point of a spread
0 references
perhapsive extensions
0 references
