Metric complements of overt closed sets

Coquand, Thierry; Palmgren, Erik; Spitters, Bas

uu.seUppsala universitets publikationer

Enkel sökning

Avancerad sökning -
Forskningspublikationer Avancerad sökning -
Studentuppsatser Statistik

English Svenska Norsk

Ändra sökning

Läs mer om att söka i DiVA här: Söka i DiVA

Begränsa sökningen ytterligare

Välj organisation

Visa även upphörda organisationer

Uppsala universitet
- Enheten för musik och museer
  - Evolutionsmuseet
  - Gustavianum, Uppsala universitetsmuseum
    - Konstsamlingarna
    - Myntkabinettet
  - Uppsala linneanska trädgårdar
    - Botaniska trädgården
- Enheter med anknytning till universitetet
  - Institutet för arbetsmarknadspolitisk utvärdering (IFAU)
- Humanistisk-samhällsvetenskapliga vetenskapsområdet
  - Center for Integrated Research on Culture and Society (CIRCUS)
  - Fakulteten för utbildningsvetenskaper
    - Avdelningen för rektorsutbildning
    - Institutionen för pedagogik, didaktik och utbildningsstudier
      - Fortbildningsavdelningen för skolans internationalisering
    - SWEDESD - Internationellt center för lärande för hållbar utveckling
  - Historisk-filosofiska fakulteten
    - Centrum för genusvetenskap
    - Filosofiska institutionen
      - Avdelningen för estetik
      - Avdelningen för praktisk filosofi
      - Avdelningen för teoretisk filosofi
    - Historiska institutionen
      - Hugo Valentin-centrum
    - Institutionen för ABM
    - Institutionen för arkeologi och antik historia
      - Afrikansk och jämförande arkeologi
      - Antikens kultur och samhällsliv
      - Arkeologi
      - Egyptologi
    - Institutionen för idé- och lärdomshistoria
      - Avdelningen för vetenskapshistoria
    - Institutionen för kulturantropologi och etnologi
    - Institutionen för musikvetenskap
    - Institutionen för speldesign
    - Konstvetenskapliga institutionen
      - Kulturvård
      - Textilvetenskap
    - Litteraturvetenskapliga institutionen
      - Avdelningen för litteratursociologi
      - Avdelningen för retorik
  - Juridiska fakulteten
    - Centrum för polisforskning
    - Institutet för fastighetsrättslig forskning (IFF)
    - Juridiska institutionen
  - Samhällsvetenskapliga fakulteten
    - Ekonomisk-historiska institutionen
      - Centrum för företagandets historia
      - Centrum för teknik- och vetenskapstudier
    - Företagsekonomiska institutionen
    - Institutet för bostads- och urbanforskning (IBF)
    - Institutet för Rysslands- och Eurasienstudier
    - Institutionen för freds- och konfliktforskning
    - Institutionen för informatik och media
      - Informationssystem
      - Medier och kommunikation
      - Människa-datorinteraktion
      - Nationellt IT-användarcentrum (NITA)
    - Institutionen för kostvetenskap
    - Institutionen för psykologi
    - Kulturgeografiska institutionen
    - Nationalekonomiska institutionen
      - UCFS
    - Sociologiska institutionen
      - Centrum för socialt arbete - CESAR
    - Statistiska institutionen
    - Statsvetenskapliga institutionen
  - Språkvetenskapliga fakulteten
    - Engelska institutionen
      - Avdelningen för keltiska språk
      - Avdelningen Svenska institutet för nordamerikastudier (SINAS)
    - Institutionen för lingvistik och filologi
    - Institutionen för moderna språk
      - Albanska
      - Finsk-ugriska språk
      - Romanska språk
      - Slaviska språk
      - Tyska
    - Institutionen för nordiska språk
      - Avdelningen för forskning och utbildning i modern svenska (FUMS)
      - Seminariet för nordisk namnforskning
  - Teologiska fakulteten
    - Centrum för forskning om religion och samhälle (CRS)
    - Centrum för mångvetenskaplig forskning om rasism (CFR)
    - Svenska Institutet för Missionsforskning
    - Teologiska institutionen
      - Bibelvetenskap
        Gamla testamentets exegetik
        Nya testamentets exegetik
      - Kyrko- och missionsstudier
        Kyrkohistoria
        Kyrkovetenskap
        Missionsvetenskap
      - Religionsbeteendevetenskap
        Religionspsykologi
        Religionssociologi
      - Religionshistoria
      - Tros- och livsåskådningsvetenskap
        Etik
        Religionsfilosofi
        Systematisk teologi med livsåskådningsforskning
- Kollegiet för avancerade studier (SCAS)
- Medicinska och farmaceutiska vetenskapsområdet
  - Farmaceutiska fakulteten
    - Institutionen för farmaceutisk biovetenskap
    - Institutionen för farmaci
    - Institutionen för läkemedelskemi
      - Analytisk farmaceutisk kemi
      - Farmakognosi
      - Kemisk biologi för biomarkörer
      - Läkemedelsdesign och läkemedelsutveckling
      - Plattformen för Preklinisk PET-MRI
      - Preparativ läkemedelskemi
      - Theranostics
  - Medicinska fakulteten
    - Institutionen för folkhälso- och vårdvetenskap
      - Allmänmedicin och preventivmedicin
      - Centrum för forsknings- och bioetik
      - Folkhälsovetenskap
      - Forskning om funktionshinder och habilitering
      - Geriatrik
      - Hälso- och sjukvårdsforskning
      - Hälsoekonomi
      - Klinisk nutrition och metabolism
      - Livsstil och rehabilitering vid långvarig sjukdom
      - Socialmedicin/CHAP
      - Socialmedicinsk epidemiologi
      - Vårdvetenskap
    - Institutionen för immunologi, genetik och patologi
      - Experimentell och klinisk onkologi
      - Klinisk immunologi
      - Klinisk och experimentell patologi
      - Medicinsk genetik och genomik
      - Medicinsk strålningsvetenskap
      - Molekylära verktyg
      - Neuroonkologi
      - Vaskulärbiologi
    - Institutionen för kirurgiska vetenskaper
      - Anestesiologi och intensivvård
      - Endokrinkirurgi
      - Experimentell kirurgi
      - Gastrointestinalkirurgi
      - Handkirurgi
      - Hedenstiernalaboratoriet
      - Kolorektalkirurgi
      - Käkkirurgi
      - Kärlkirurgi
      - Ortopedi
      - Plastikkirurgi
      - Radiologi
      - Rättsmedicin
      - Sjuksköterskeutbildningar
      - Thoraxkirurgi
      - Transplantationskirurgi
      - Urologkirurgi
      - Öron-, näs- och halssjukdomar
    - Institutionen för kvinnors och barns hälsa
      - Forskargrupper (Inst. för kvinnor och barns hälsa)
        Barnkirurgisk forskning
        Barnneurologi/Barnonkologi
        Klinisk obstetrik
        Klinisk psykologi i hälso- och sjukvård
        Obstetrisk och reproduktiv hälsoforskning
        Pediatrisk inflammations- och metabolismforskning samt barnhälsa
        Perinatal, neonatal och barnkardiologisk forskning
        Reproduktionsbiologi
        Reproduktiv hälsa
      - Internationell mödra- och barnhälsovård (IMCH)
        Global hälsa - implementering och hållbarhet - från januari 2020
        Internationell barnhälsa och nutrition
        Internationell kvinno- och mödrahälsovård och migration
    - Institutionen för medicinsk biokemi och mikrobiologi
    - Institutionen för medicinsk cellbiologi
      - Integrativ Fysiologi
    - Institutionen för medicinska vetenskaper
      - Arbets- och miljömedicin
      - Autoimmunitet
      - Biokemisk endokrinologi
      - Cancerfarmakologi och beräkningsmedicin
      - Dermatologi och venereologi
      - Endokrin tumörbiologi
      - Endokrinologi och mineralmetabolism
      - Gastroenterologi/hepatologi
      - Hematologi
      - Infektionsmedicin
      - Infektionssjukdomar
      - Kardiologi-arrytmi
      - Kardiologi
      - Klinisk diabetologi och metabolism
      - Klinisk epidemiologi
      - Klinisk farmakogenomik och osteoporos
      - Klinisk fysiologi
      - Klinisk kemi
      - Klinisk mikrobiologi
      - Koagulation och inflammationsvetenskap
      - Lung- allergi- och sömnforskning
      - Molekylär epidemiologi
      - Molekylär medicin
      - Njurmedicin
      - Onkologisk endokrinologi
      - Reumatologi
      - Transplantation och regenerativ medicin
    - Institutionen för neurovetenskap
      - Barn- och ungdomspsykiatri
      - Birnir: Molekylär fysiologi och neurovetenskap
      - Blom Johansson: Logopedi
      - Boije: Zebrafiskens neuronala nätverk
      - Comasco: Neuropsykofarmakologi
      - Ebendal: Tillväxtfaktorer vid inflammation efter traumatiska hjärnskador
      - Ekselius: Psykiatri
      - Enblad: Neurokirurgi
      - Försöksdjursvetenskap
      - Hallböök: Stamceller, retinal utveckling och regeneration
      - Kozlova: Regenerativ neurobiologi
      - Kullander: Funktionella neuronala nätverk
      - Lagerström: Sensoriska kretsar
      - Landtblom: Neurologi
      - Larhammar: Farmakologi
      - Lexell: Rehabiliteringsmedicin
      - Medicinsk historia
      - Nordström: Rörelsesyn
      - Rostedt Punga: Klinisk neurofysiologi
      - Schiöth: Funktionell farmakologi
      - Sjöblom/Nylander: Gastrointestinal fysiologi
      - Söderberg: Oftalmiatrik
      - Winberg: Beteendeneuroendokrinologi
      - Åsenlöf: Fysioterapi
  - Medicinska och farmaceutiska vetenskapsområdet, centrumbildningar mm
    - Centrum för forskning om funktionshinder
    - Centrum för klinisk forskning Dalarna
    - Centrum för klinisk forskning i Sörmland (CKFD)
    - Centrum för klinisk forskning, Gävleborg
    - Centrum för klinisk forskning, Västerås
    - Centrum för miljörelaterad ohälsa och stress (CEOS)
    - Centrum för reproduktionsbiologi i Uppsala (CRU)
    - Kunskapscentrum för katastrofpsykiatri
    - Uppsala kliniska forskningscentrum (UCR)
- Nationellt centrum för kvinnofrid (NCK)
- Science for Life Laboratory, SciLifeLab
- Teknisk-naturvetenskapliga vetenskapsområdet
  - Biologiska sektionen
    - Centrum för biologisk mångfald
    - Institutionen för biologisk grundutbildning
      - Klubbans biologiska station
      - Nationellt resurscentrum för biologi och bioteknik
    - Institutionen för cell- och molekylärbiologi
      - Beräkningsbiologi och bioinformatik
      - Mikrobiologi
      - Molekylär biofysik
      - Molekylär evolution
      - Molekylär systembiologi
      - Molekylärbiologi
      - Strukturbiologi
    - Institutionen för ekologi och genetik
      - Evolutionsbiologi
      - Limnologi
      - Växtekologi och evolution
      - Zooekologi
    - Institutionen för organismbiologi
      - Evolution och utvecklingsbiologi
      - Fysiologisk botanik
      - Jämförande fysiologi
      - Miljötoxikologi
      - Människans evolution
      - Systematisk biologi
  - Fysiska sektionen
    - Institutet för rymdfysik, Uppsalaavdelningen
    - Institutionen för fysik och astronomi
      - FREIA
      - Fysikundervisningens didaktik
      - Högenergifysik
      - Kärnfysik
      - Materialfysik
      - Materialteori
      - Molekyl- och kondenserade materiens fysik
      - Observationell astrofysik
      - Rymd- och plasmafysik
      - Teoretisk astrofysik
      - Teoretisk fysik
      - Tillämpad kärnfysik
  - För teknisk-naturvetenskapliga fakulteten gemensamma enheter
    - International Science Programme (ISP)
    - Tandemlaboratoriet
  - Geovetenskapliga sektionen
    - Institutionen för geovetenskaper
      - Geofysik
      - Luft-, vatten och landskapslära
      - Mineralogi, petrologi och tektonik
      - Naturresurser och hållbar utveckling
      - Paleobiologi
      - Uppsala centrum för hållbar utveckling, CSD Uppsala
        Cemus
        The Baltic University Programme
        Uppsala vattencentrum
      - Uppsala University Sustainability Initiatives (UUSI)
  - Kemiska sektionen
    - Institutionen för kemi - BMC
      - Analytisk kemi
      - Biokemi
      - Organisk kemi
    - Institutionen för kemi - Ångström
      - Fysikalisk kemi
      - Molekylär biomimetik
      - Oorganisk kemi
      - Polymerkemi
      - Strukturkemi
      - Syntetisk molekylär kemi
      - Teoretisk kemi
  - Matematisk-datavetenskapliga sektionen
    - Institutionen för informationsteknologi
      - Avdelningen för beräkningsvetenskap
      - Avdelningen för datalogi
      - Avdelningen för datorteknik
      - Avdelningen för systemteknik
      - Avdelningen för visuell information och interaktion
      - Bildanalys och människa-datorinteraktion
      - Datalogi
      - Datorarkitektur och datorkommunikation
      - Datorteknik
      - Numerisk analys
      - Reglerteknik
      - Tillämpad beräkningsvetenskap
    - Matematiska institutionen
      - Algebra och geometri
      - Analys och sannolikhetsteori
      - Tillämpad matematik och statistik
  - Teknisk-naturvetenskapliga fakulteten
  - Tekniska sektionen
    - Institutionen för teknikvetenskaper
      - Elektricitetslära
      - Fasta tillståndets elektronik
      - Fasta tillståndets fysik
      - Industriell teknik
      - Mikrosystemteknik
        Ångström Space Technology Centre (ÅSTC)
      - Nanoteknologi och funktionella material
      - Signaler och System
      - Tillämpad materialvetenskap
      - Tillämpad mekanik
        Byggteknik
- The Svedberg-laboratoriet
- Universitetets gemensamma organ
  - Jämställdhetskommittén
- Universitetets ledning
- Universitetsbiblioteket
- Universitetsförvaltningen
  - Avdelningen för internationell samordning
  - Avdelningen för kvalitetsutveckling
  - Avdelningen för uppdragsutbildning
  - Byggnadsavdelningen
  - Ekonomiavdelningen
  - Enheten för musik och museer
  - HR-avdelningen
  - Internationell samordnare
  - IT-avdelningen
  - Juridiska avdelningen
  - Kommunikationsavdelningen
  - Områdeskanslier
  - Planeringsavdelningen
  - Studentavdelningen
  - Säkerhetsavdelningen
- Uppsala universitet Innovation (UU Innovation)

Välj ämneskategori

Visa även upphörda ämneskategorier

Humaniora och konst
- Annan humaniora
  - Antikvetenskap
  - Etnologi
  - Kulturstudier
  - Övrig annan humaniora
- Filosofi, etik och religion
  - Etik
  - Filosofi
  - Idé- och lärdomshistoria
  - Religionshistoria
  - Religionsvetenskap
- Historia och arkeologi
  - Arkeologi
  - Historia
  - Teknikhistoria
- Konst
  - Arkitektur
  - Bildkonst
  - Design
  - Filmvetenskap
  - Konstvetenskap
  - Litterär gestaltning
  - Musik
  - Musikvetenskap
  - Scenkonst
  - Teatervetenskap
- Språk och litteratur
  - Jämförande språkvetenskap och allmän lingvistik
  - Litteraturstudier
  - Litteraturvetenskap
  - Studier av enskilda språk
Lantbruksvetenskap och veterinärmedicin
- Annan lantbruksvetenskap
  - Förnyelsebar bioenergi
  - Lantbrukets arbetsmiljö och säkerhet
  - Miljö- och naturvårdsvetenskap
  - Vilt- och fiskeförvaltning
  - Övrig annan lantbruksvetenskap
- Bioteknologi med applikationer på växter och djur
  - Genetik och förädling inom lantbruksvetenskap
  - Växtbioteknologi
- Husdjursvetenskap
- Lantbruksvetenskap, skogsbruk och fiske
  - Fisk- och akvakulturforskning
  - Jordbruksvetenskap
  - Landskapsarkitektur
  - Livsmedelsvetenskap
  - Markvetenskap
  - Skogsvetenskap
  - Trädgårdsvetenskap/hortikultur
  - Trävetenskap
- Veterinärmedicin
  - Annan veterinärmedicin
  - Klinisk vetenskap
  - Medicinsk biovetenskap
  - Patobiologi
Medicin och hälsovetenskap
- Annan medicin och hälsovetenskap
  - Gerontologi, medicinsk/hälsovetenskaplig inriktning
  - Rättsmedicin
  - Övrig annan medicin och hälsovetenskap
- Hälsovetenskaper
  - Annan hälsovetenskap
  - Arbetsmedicin och miljömedicin
  - Arbetsterapi
  - Beroendelära
  - Folkhälsovetenskap, global hälsa, socialmedicin och epidemiologi
  - Hälso- och sjukvårdsorganisation, hälsopolitik och hälsoekonomi
  - Idrottsvetenskap
  - Medicinsk etik
  - Näringslära
  - Omvårdnad
  - Sjukgymnastik
- Klinisk medicin
  - Allmänmedicin
  - Anestesi och intensivvård
  - Annan klinisk medicin
  - Cancer och onkologi
  - Dermatologi och venereologi
  - Endokrinologi och diabetes
  - Gastroenterologi
  - Geriatrik
  - Hematologi
  - Infektionsmedicin
  - Kardiologi
  - Kirurgi
  - Klinisk laboratoriemedicin
  - Lungmedicin och allergi
  - Neurologi
  - Odontologi
  - Oftalmologi
  - Ortopedi
  - Oto-rino-laryngologi
  - Pediatrik
  - Psykiatri
  - Radiologi och bildbehandling
  - Reproduktionsmedicin och gynekologi
  - Reumatologi och inflammation
  - Urologi och njurmedicin
- Medicinsk bioteknologi
  - Annan medicinsk bioteknologi
  - Biomaterialvetenskap
  - Biomedicinsk laboratorievetenskap/teknologi
  - Medicinsk bioteknologi (med inriktning mot cellbiologi (inklusive stamcellsbiologi), molekylärbiologi, mikrobiologi, biokemi eller biofarmaci)
- Medicinska och farmaceutiska grundvetenskaper
  - Annan medicinsk grundvetenskap
  - Cell- och molekylärbiologi
  - Farmaceutiska vetenskaper
  - Farmakologi och toxikologi
  - Fysiologi
  - Immunologi inom det medicinska området
  - Läkemedelskemi
  - Medicinsk genetik
  - Mikrobiologi inom det medicinska området
  - Neurovetenskaper
  - Samhällsfarmaci och klinisk farmaci
Naturvetenskap
- Annan naturvetenskap
- Biologiska vetenskaper
  - Annan biologi
  - Biofysik
  - Bioinformatik och systembiologi
  - Biokemi och molekylärbiologi
  - Biologisk systematik
  - Botanik
  - Cellbiologi
  - Ekologi
  - Etologi
  - Evolutionsbiologi
  - Genetik
  - Immunologi
  - Mikrobiologi
  - Strukturbiologi
  - Utvecklingsbiologi
  - Zoologi
- Data- och informationsvetenskap
  - Annan data- och informationsvetenskap
  - Bioinformatik (beräkningsbiologi)
  - Datavetenskap (datalogi)
  - Datorseende och robotik (autonoma system)
  - Datorteknik
  - Medieteknik
  - Människa-datorinteraktion (interaktionsdesign)
  - Programvaruteknik
  - Språkteknologi (språkvetenskaplig databehandling)
  - Systemvetenskap, informationssystem och informatik
- Fysik
  - Acceleratorfysik och instrumentering
  - Annan fysik
  - Astronomi, astrofysik och kosmologi
  - Atom- och molekylfysik och optik
  - Den kondenserade materiens fysik
  - Fusion, plasma och rymdfysik
  - Subatomär fysik
- Geovetenskap och miljövetenskap
  - Annan geovetenskap och miljövetenskap
  - Geofysik
  - Geokemi
  - Geologi
  - Klimatforskning
  - Meteorologi och atmosfärforskning
  - Miljövetenskap
  - Multidisciplinär geovetenskap
  - Naturgeografi
  - Oceanografi, hydrologi och vattenresurser
- Kemi
  - Analytisk kemi
  - Annan kemi
  - Fysikalisk kemi
  - Materialkemi
  - Oorganisk kemi
  - Organisk kemi
  - Polymerkemi
  - Teoretisk kemi
- Matematik
  - Algebra och logik
  - Annan matematik
  - Beräkningsmatematik
  - Diskret matematik
  - Geometri
  - Matematisk analys
  - Sannolikhetsteori och statistik
Samhällsvetenskap
- Annan samhällsvetenskap
  - Arbetslivsstudier
  - Genusstudier
  - Internationell Migration och Etniska Relationer (IMER)
  - Tvärvetenskapliga studier inom samhällsvetenskap
  - Övrig annan samhällsvetenskap
- Ekonomi och näringsliv
  - Ekonomisk historia
  - Företagsekonomi
  - Nationalekonomi
- Juridik
  - Juridik (exklusive juridik och samhälle)
  - Juridik och samhälle
- Medie- och kommunikationsvetenskap
  - Biblioteks- och informationsvetenskap
  - Kommunikationsvetenskap
  - Medievetenskap
  - Mänsklig interaktion med IKT
  - Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning
- Psykologi
  - Psykologi (exklusive tillämpad psykologi)
  - Tillämpad psykologi
- Social och ekonomisk geografi
  - Ekonomisk geografi
  - Kulturgeografi
- Sociologi
  - Socialantropologi
  - Socialpsykologi
  - Socialt arbete
  - Sociologi (exklusive socialt arbete, socialpsykologi och socialantropologi)
- Statsvetenskap
  - Globaliseringsstudier
  - Statsvetenskap (exklusive studier av offentlig förvaltning och globaliseringsstudier)
  - Studier av offentlig förvaltning
- Utbildningsvetenskap
  - Didaktik
  - Lärande
  - Pedagogik
  - Pedagogiskt arbete
Teknik och teknologier
- Annan teknik
  - Interaktionsteknik
  - Livsmedelsteknik
  - Mediateknik
  - Övrig annan teknik
- Elektroteknik och elektronik
  - Annan elektroteknik och elektronik
  - Datorsystem
  - Inbäddad systemteknik
  - Kommunikationssystem
  - Reglerteknik
  - Robotteknik och automation
  - Signalbehandling
  - Telekommunikation
- Industriell bioteknik
  - Annan industriell bioteknik
  - Bioenergi
  - Biokatalys och enzymteknik
  - Biokemikalier
  - Biomaterial
  - Bioprocessteknik
  - Bioteknisk apparatteknik
  - Läkemedelsbioteknik
  - Medicinsk bioteknik
- Kemiteknik
  - Annan kemiteknik
  - Farmaceutisk synteskemi
  - Kemiska processer
  - Korrosionsteknik
  - Polymerteknologi
- Maskinteknik
  - Annan maskinteknik
  - Energiteknik
  - Farkostteknik
  - Produktionsteknik, arbetsvetenskap och ergonomi
  - Rymd- och flygteknik
  - Strömningsmekanik och akustik
  - Teknisk mekanik
  - Tillförlitlighets- och kvalitetsteknik
  - Tribologi (ytteknik omfattande friktion, nötning och smörjning)
- Materialteknik
  - Annan materialteknik
  - Bearbetnings-, yt- och fogningsteknik
  - Keramteknik
  - Kompositmaterial och -teknik
  - Metallurgi och metalliska material
  - Pappers-, massa- och fiberteknik
  - Textil-, gummi- och polymermaterial
- Medicinteknik
  - Annan medicinteknik
  - Medicinsk apparatteknik
  - Medicinsk bildbehandling
  - Medicinsk ergonomi
  - Medicinsk laboratorie- och mätteknik
  - Medicinska material och protesteknik
- Miljöbioteknik
  - Annan miljöbioteknik
  - Biosanering
  - Bioteknisk etik
  - Diagnostisk bioteknologi
  - Vattenbehandling
- Nanoteknik
- Naturresursteknik
  - Annan naturresursteknik
  - Energisystem
  - Fjärranalysteknik
  - Geofysisk teknik
  - Havs- och vattendragsteknik
  - Marin teknik
  - Miljöledning
  - Mineral- och gruvteknik
- Samhällsbyggnadsteknik
  - Annan samhällsbyggnadsteknik
  - Arkitekturteknik
  - Byggproduktion
  - Geoteknik
  - Husbyggnad
  - Infrastrukturteknik
  - Miljöanalys och bygginformationsteknik
  - Transportteknik och logistik
  - Vattenteknik

Välj forskningsämne

Visa även upphörda forskningsämnen

Administrativ databehandling
Allmän rättslära
Allmänmedicin
Analytisk farmaceutisk kemi
Anatomi
Anestesiologi och intensivvård
Antikens kultur och samhällsliv
Arbets- och miljömedicin
Arkeologi
Assyriologi
Astronomi med intiktning mot astrofysik
Astronomi
Barn- och ungdomspsykiatri
Barnkirurgi
Beräkningsvetenskap med inriktning mot numerisk analys
Beräkningsvetenskap
Biblioteks- och informationsvetenskap
Bioetik
Biofarmaci
Bioinformatik
Biokemi
Biokemisk farmakologi
Biologi med inriktning mot ekologisk botanik
Biologi med inriktning mot ekotoxikologi
Biologi med inriktning mot evolutionär funktionsgenomik
Biologi med inriktning mot evolutionär genetik
Biologi med inriktning mot evolutionär organismbiologi
Biologi med inriktning mot fysiologisk botanik
Biologi med inriktning mot jämförande fysiologi
Biologi med inriktning mot limnologi
Biologi med inriktning mot mikrobiologi
Biologi med inriktning mot miljötoxikologi
Biologi med inriktning mot molekylär bioteknik
Biologi med inriktning mot molekylär cellbiologi
Biologi med inriktning mot molekylär evolution
Biologi med inriktning mot molekylär immunologi
Biologi med inriktning mot molekylärbiologi
Biologi med inriktning mot människans evolution och genetik
Biologi med inriktning mot populationsbiologi
Biologi med inriktning mot strukturbiologi
Biologi med inriktning mot systematik
Biologi med inriktning mot zooekologi
Biologi med inriktning mot zoologisk bevarandebiologi
Biologi med inriktning mot zoologisk utvecklingsbiologi
Biologi
Biologisk beroendeforskning
Biomedicinsk laboratorievetenskap
Biomedicinsk strålningsvetenskap
Byggteknik med inriktning mot geoteknik
Byggteknik
Bysantinologi
Civilrätt
Data- och systemvetenskap
Datavetenskap med inriktning mot databasteknik
Datavetenskap med inriktning mot datavetenskapens didaktik
Datavetenskap med inriktning mot datorkommunikation
Datavetenskap med inriktning mot inbyggda system
Datavetenskap med inriktning mot människa-datorinteraktion
Datavetenskap med inriktning mot realtidssystem
Datavetenskap
Datoriserad bildbehandling
Datorlingvistik
Didaktik
Egyptologi
Ekonomisk historia
Elektroteknik med inriktning mot reglerteknik
Elektroteknik med inriktning mot signalbehandling
Elektroteknik med inriktning mot systemanalys
Endokrinologi och Diabetologi
Engelska
Epidemiologi
Estetik
Etik
Etnologi
Europarätt
Experimentell patologi
Farmaceutisk biokemi
Farmaceutisk farmakologi
Farmaceutisk fysikalisk kemi
Farmaceutisk vetenskap
Farmakoepidemiologi
Farmakognosi
Farmakokinetik och läkemedelsterapi
Farmakologi
Filosofi med filosofihistorisk inriktning
Filosofi
Finansrätt
Finsk-ugriska språk
Folkrätt
Freds- och konfliktforskning
Fysik med inriktning mot astrofysik
Fysik med inriktning mot atom- molekyl- och kondenserande materiens fysik
Fysik med inriktning mot biofysik
Fysik med inriktning mot elementarpartikelfysik
Fysik med inriktning mot fysikens didaktik
Fysik med inriktning mot globala energiresurser
Fysik med inriktning mot jonfysik
Fysik med inriktning mot kvantkemi
Fysik med inriktning mot kärnfysik
Fysik med inriktning mot rymd- och plasmafysik
Fysik med inriktning mot tillämpad kärnfysik
Fysik och astronomi med inriktning mot teoretisk fysik
Fysik
Fysiologi
Företagsekonomi
Företagsrätt
Förvaltningsrätt
Galenisk farmaci
Gamla testamentets exegetik
Genusvetenskap
Geofysik med inriktning mot fasta jordens fysik
Geofysik med inriktning mot seismologi
Geografi
Geovetenskap med inriktning mot historisk geologi och paleontologi
Geovetenskap med inriktning mot kvartärgeologi
Geovetenskap med inriktning mot miljöanalys
Geovetenskap med inriktning mot mineralogi, petrologi och tektonik
Geovetenskap med inriktning mot naturgeografi
Geriatrik
Grekiska
Historia
Hushållsvetenskap
Hydrologi
Hälso- och sjukvårdsforskning
Idé- och lärdomshistoria
Immunologi
Indologi särskilt sanskrit
Infektionssjukdomar
Informationssystem
Internationell hälsa
Internationell privaträtt
Internmedicin
Iranska språk
Jämförande indoeuropeisk språkforskning
Kardiologi
Keltiska språk
Kemi med inriktning mot analytisk kemi
Kemi med inriktning mot biofysik
Kemi med inriktning mot bioorganisk kemi
Kemi med inriktning mot fysikalisk kemi
Kemi med inriktning mot kemisk fysik
Kemi med inriktning mot kvantkemi
Kemi med inriktning mot materialkemi
Kemi med inriktning mot mikrobiell kemi
Kemi med inriktning mot molekylär biomimetik
Kemi med inriktning mot oorganisk kemi
Kemi med inriktning mot organisk kemi
Kemi med inriktning mot polymerkemi
Kemi med inriktning mot teoretisk kemi
Kemi med inriktning mot ytbioteknik
Kemi
Kirurgi
Klinisk bakteriologi
Klinisk farmakologi
Klinisk fysiologi
Klinisk genetik
Klinisk immunologi
Klinisk kemi
Klinisk neurofysiologi
Klinisk virologi
Konstitutionell rätt
Konstvetenskap
Kostvetenskap
Kulturantropologi
Kulturgeografi
Kyrko- och samfundsvetenskap
Kyrkohistoria
Kyrkovetenskap
Käkkirurgi
Latin
Lingvistik
Litteraturvetenskap
Lungmedicin
Läkemedelskemi
Läkemedelsmetabolism
Matematik med inriktning mot tillämpad matematik
Matematik
Matematisk logik
Matematisk statistik
Medicinsk biokemi
Medicinsk cellbiologi
Medicinsk genetik
Medicinsk informatik
Medicinsk radiofysik
Medicinsk rätt
Medicinsk vetenskap
Medicinsk virologi
Medie- och kommunikationsvetenskap
Meteorologi
Mikrobiologi
Miljörätt
Missionsvetenskap
Molekylär biovetenskap
Molekylär cellbiologi
Molekylär genetik
Molekylär medicin
Musikvetenskap
Människa-dator interaktion
Nationalekonomi
Naturresurser och hållbar utveckling
Neurokirurgi
Neurologi
Nordiska språk
Nutrition
Nya testamentets exegetik
Obstetrik och gynekologi
Offentlig rätt
Oftalmiatrik
Onkologi
Ortopedi
Oto-rhino-laryngologi
Patologi
Pedagogik
Pediatrik
Plastikkirurgi
Praktisk filosofi
Processrätt
Psykiatri
Psykologi
Radiologi
Rehabiliteringsmedicin
Religionsfilosofi
Religionshistoria
Religionspsykologi
Religionssociologi
Retorik
Romanska språk
Rättshistoria
Rättsmedicin
Samhällsfarmaci
Semitiska språk
Sinologi
Sjukgymnastik/fysioterapi
Slaviska språk
Socialmedicin
Socialt arbete
Socialt arbete
Sociologi
Statistik
Statskunskap
Straffrätt
Systematisk teologi med livsåskådningsforskning
Teknisk fysik med inriktning mot atmosfäriska urladdningar
Teknisk fysik med inriktning mot byggteknik och byggd miljö
Teknisk fysik med inriktning mot elektricitetslära
Teknisk fysik med inriktning mot elektronik
Teknisk fysik med inriktning mot fasta tillståndets fysik
Teknisk fysik med inriktning mot globala energiresurser
Teknisk fysik med inriktning mot hållfasthetslära
Teknisk fysik med inriktning mot industriell teknik
Teknisk fysik med inriktning mot materialanalys
Teknisk fysik med inriktning mot materialvetenskap
Teknisk fysik med inriktning mot mikrosystemteknik
Teknisk fysik med inriktning mot mikrovågsteknik
Teknisk fysik med inriktning mot nanoteknologi och funktionella material
Teknisk fysik med inriktning mot tillämpad mekanik
Teknisk fysik med inriktning mot tribomaterial
Teknisk fysik
Teoretisk filosofi
Teoretisk fysik
Textilvetenskap
Thoraxkirurgi
Tillämpad matematik och statistik
Transfusionsmedicin
Tros- och livsåskådningsvetenskap
Turkiska språk
Tyska
Urologi
Utbildningssociologi
Vårdvetenskap

Välj utbildningsprogram

Visa även upphörda utbildningsprogram

Apotekarprogrammet
Barnmorskeprogrammet
Beteendevetenskapligt kandidatprogram
Biomedicinprogrammet
Biomedicinska analytikerprogrammet
Byggnadsantikvarieprogrammet
Civilingenjörsprogrammet i elektroteknik
Civilingenjörsprogrammet i energisystem
Civilingenjörsprogrammet i informationsteknologi
Civilingenjörsprogrammet i kemiteknik
Civilingenjörsprogrammet i miljö- och vattenteknik
Civilingenjörsprogrammet i molekylär bioteknik
Civilingenjörsprogrammet i teknisk fysik med materialvetenskap
Civilingenjörsprogrammet i teknisk fysik
Civilingenjörsprogrammet System i teknik och samhälle
Data- och systemvetenskapligt kandidatprogram
Datavetenskapliga magisterprogrammet
Dietistprogrammet
Ekonomie kandidatprogrammet
Ekonomprogrammet
Fristående kurs
Fysioterapeutprogrammet
Föremålsantikvarieprogrammet
Förskollärarprogrammet
Grundlärarprogrammet
Historikerprogrammet
Högskoleingenjörsprogrammet i byggteknik
Högskoleingenjörsprogrammet i elektroteknik
Högskoleingenjörsprogrammet i kvalitetsutveckling och ledarskap
Högskoleingenjörsprogrammet i kärnkraftteknik
Högskoleingenjörsprogrammet i maskinteknik
Juristprogrammet
Kandidatprogram i arkeologi och antik historia
Kandidatprogram i arkeologi och osteologi
Kandidatprogram i biologi/molekylärbiologi
Kandidatprogram i datavetenskap
Kandidatprogram i energiomställning - hållbarhet och ledarskap
Kandidatprogram i freds- och utvecklingsstudier
Kandidatprogram i fysik
Kandidatprogram i företagsekonomi
Kandidatprogram i geovetenskap
Kandidatprogram i kemi
Kandidatprogram i kultur- och samhällsanalys
Kandidatprogram i kulturentreprenörskap
Kandidatprogram i ledarskap - kvalitet - förbättring
Kandidatprogram i matematik
Kandidatprogram i miljövetenskap
Kandidatprogram i religionsvetenskap
Kandidatprogram i retorisk och litterär kommunikation
Kandidatprogram i speldesign och grafik
Kandidatprogram i speldesign och programmering
Kandidatprogram i speldesign och projektledning
Kandidatprogram i speldesign
Kandidatprogram i systemvetenskap
Kostvetar-/kostekonomprogrammet
Liberal Arts-programmet
Logopedprogrammet
Läkarprogrammet
Magisterprogram i entreprenörskap
Magisterprogram i humanitärt arbete vid konflikter
Magisterprogram i hållbar destinationsutveckling
Magisterprogram i hållbart företagande och ledning
Magisterprogram i immaterialrätt
Magisterprogram i internationell investeringsrätt
Magisterprogram i internationell skatterätt och EU-skatterätt
Magisterprogram i kemi
Magisterprogram i klinisk farmaci
Magisterprogram i konstvetenskap
Magisterprogram i kulturvård
Magisterprogram i ledarskap
Magisterprogram i revision
Magisterprogram i vindkraftprojektering
Master programme in International Financial Management
Master's Programme in Pharmaceutical Modelling
Masterprogram i bioinformatik
Masterprogram i biologi
Masterprogram i biomedicin
Masterprogram i data- och systemvetenskap
Masterprogram i datavetenskap
Masterprogram i digital konstvetenskap
Masterprogram i energiteknik
Masterprogram i Euroculture
Masterprogram i folkhälsa
Masterprogram i freds- och konfliktstudier
Masterprogram i fysik
Masterprogram i företagande och ledning
Masterprogram i geografi
Masterprogram i geovetenskap
Masterprogram i global hälsa
Masterprogram i global miljöhistoria
Masterprogram i humaniora - Etnologi
Masterprogram i humaniora - Genusvetenskap
Masterprogram i humaniora - Konstvetenskap
Masterprogram i humaniora - Kulturantropologi
Masterprogram i humaniora - Kulturarv och hållbarhet
Masterprogram i humaniora – Antikens kultur och samhällsliv
Masterprogram i humaniora – Arkeologi
Masterprogram i humaniora – Egyptologi
Masterprogram i humaniora – Idé- och lärdomshistoria
Masterprogram i humaniora – Litteraturvetenskap
Masterprogram i humaniora – Musikvetenskap
Masterprogram i humaniora – Retorik
Masterprogram i hållbar destinationsutveckling
Masterprogram i hållbar utveckling
Masterprogram i inbyggda system
Masterprogram i infektionsbiologi
Masterprogram i International Humanitarian Action
Masterprogram i internationell hälsa
Masterprogram i kemi
Masterprogram i läkemedelsanvändning
Masterprogram i läkemedelsutveckling
Masterprogram i management, kommunikation och IT
Masterprogram i matematik
Masterprogram i medicinsk forskning
Masterprogram i molekylär bioteknik
Masterprogram i människa-datorinteraktion
Masterprogram i mänskliga rättigheter
Masterprogram i nationalekonomi
Masterprogram i pedagogiskt ledarskap
Masterprogram i politik och internationella studier
Masterprogram i redovisning och finansiering
Masterprogram i redovisning, revision och företagsanalys
Masterprogram i religion i fred och konflikt
Masterprogram i religionsvetenskap
Masterprogram i samhällsvetenskap
Masterprogram i skandinavistik
Masterprogram i språk
Masterprogram i språkteknologi
Masterprogram i statistik
Masterprogram i svenska
Masterprogram i systemvetenskap
Masterprogram i tillämpad beräkningsvetenskap
Masterprogram i tillämpad bioteknik
Masterprogram i utbildning och undervisning
Masterprogram i utbildningssociologi
Masterprogram i utbildningsvetenskap
Masterprogram i vindkraftprojektering
Masterprogrammet i ABM
Masterprogrammet i förnybar elgenerering
Masterprogrammet i industriell ledning och innovation
Orientalistikprogrammet
Politices kandidatprogram
Politices masterprogram
Program för data- och systemvetenskap
Program med inriktning mot personal- och arbetslivsfrågor
Psykologprogrammet
Receptarieprogrammet
Röntgensjuksköterskeprogrammet
Samhällsplaneringsprogram
Samhällsvetarprogrammet
Sjukgymnastprogrammet
Sjuksköterskeprogrammet
Socionomprogrammet Campus Gotland
Socionomprogrammet
Specialistsjuksköterskeprogrammet med inriktning mot akutsjukvård
Specialistsjuksköterskeprogrammet med inriktning mot ambulanssjukvård
Specialistsjuksköterskeprogrammet med inriktning mot anestesisjukvård
Specialistsjuksköterskeprogrammet med inriktning mot diabetesvård
Specialistsjuksköterskeprogrammet med inriktning mot distriktssköterska
Specialistsjuksköterskeprogrammet med inriktning mot hälso- och sjukvård för barn och ungdomar
Specialistsjuksköterskeprogrammet med inriktning mot intensivvård
Specialistsjuksköterskeprogrammet med inriktning mot kirurgisk vård
Specialistsjuksköterskeprogrammet med inriktning mot onkologisk vård
Specialistsjuksköterskeprogrammet med inriktning mot operationssjukvård
Specialistsjuksköterskeprogrammet med inriktning mot psykiatrisk vård
Specialistsjuksköterskeprogrammet med inriktning mot vård av äldre
Speciallärarprogrammet
Speldesign och grafik
Speldesign och programmering
Språkteknologiprogrammet
Ämneslärarprogrammet
Översättarprogrammet

Referera ExporteraLänk till posten

Permanent länk

http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-156466

Direktlänk

http://uu.diva-portal.org/smash/record.jsf?pid=diva2:431995

Referera

Referensformat

apa
ieee
modern-language-association
vancouver
Annat format

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk

Fler språk

Utmatningsformat

html
text
asciidoc
rtf

Metric complements of overt closed sets

Coquand, Thierry

Palmgren, Erik

Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Matematiska institutionen, Algebra, geometri och logik.

Spitters, Bas

2011 (Engelska)Ingår i: Mathematical logic quarterly, ISSN 0942-5616, E-ISSN 1521-3870, Vol. 57, nr 4, s. 373-378Artikel i tidskrift (Refereegranskat) Published

Abstract [en]

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.

Ort, förlag, år, upplaga, sidor

2011. Vol. 57, nr 4, s. 373-378

Nyckelord [en]

Constructive analysis, locales, formal topology

Nationell ämneskategori

Matematik

Identifikatorer

URN: urn:nbn:se:uu:diva-156466DOI: 10.1002/malq.201010011ISI: 000292551700003OAI: oai:DiVA.org:uu-156466DiVA, id: diva2:431995

Tillgänglig från: 2011-07-28 Skapad: 2011-07-25 Senast uppdaterad: 2017-12-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

I ämnet

Matematik

Sök vidare utanför DiVA

Google Google Scholar

doi

urn-nbn

Totalt: 505 träffar