Why topology in the minimalist foundation must be pointfree (Q4982399)
From MaRDI portal
scientific article; zbMATH DE number 6423785
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Why topology in the minimalist foundation must be pointfree |
scientific article; zbMATH DE number 6423785 |
Statements
Why topology in the minimalist foundation must be pointfree (English)
0 references
9 April 2015
0 references
pointfree topology
0 references
real numbers
0 references
choice sequence
0 references
bar induction
0 references
constructive type theory
0 references
axiom of unique choice
0 references
minimalist foundation
0 references
