Tychonoff's theorem without the axiom of choice (Q3969526)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tychonoff's theorem without the axiom of choice |
scientific article |
Statements
Tychonoff's theorem without the axiom of choice (English)
0 references
1981
0 references
choice-free construction of Stone-Cech compactification of a locale
0 references
topos-theoretic applications
0 references
category of frames
0 references
category of locales
0 references
Tikhonov's theorem
0 references
