Constructive strong regularity and the extension property of a compactification (Q2084952)
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: Constructive strong regularity and the extension property of a compactification |
scientific article; zbMATH DE number 7601546
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive strong regularity and the extension property of a compactification |
scientific article; zbMATH DE number 7601546 |
Statements
Constructive strong regularity and the extension property of a compactification (English)
0 references
14 October 2022
0 references
compactifications
0 references
locales
0 references
strong regularity
0 references
inductive and coinductive definitions
0 references
dependent choice
0 references
constructive set theory
0 references
0.8935433
0 references
0.88917905
0 references
0.8848139
0 references
0.8814636
0 references
0.8793076
0 references
