Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Metric complements of ove… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Metric complements of overt closed sets

Artikel i vetenskaplig tidskrift
Författare Thierry Coquand
E. Palmgren
B. Spitters
Publicerad i Mathematical Logic Quarterly
Volym 57
Nummer/häfte 4
Sidor 373-378
ISSN 0942-5616
Publiceringsår 2011
Publicerad vid Institutionen för data- och informationsteknik (GU)
Sidor 373-378
Språk en
Länkar dx.doi.org/10.1002/malq.201010011
Ämnesord Constructive analysis, locales, formal topology, formal topology
Ämneskategorier Annan matematik

Sammanfattning

We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop-compact.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?