Localic completion of generalized metric spaces II: Powerlocales (Q3145945): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.4115/jla.2009.1.11 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2072046330 / rank | |||
Normal rank |
Latest revision as of 21:38, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Localic completion of generalized metric spaces II: Powerlocales |
scientific article |
Statements
Localic completion of generalized metric spaces II: Powerlocales (English)
0 references
17 December 2012
0 references
locale
0 references
constructive
0 references
topos
0 references
metric
0 references
hyperspace
0 references
powerlocale
0 references