SwePub
Sök i LIBRIS databas

  Utökad sökning

id:"swepub:oai:DiVA.org:uu-176792"
 

Sökning: id:"swepub:oai:DiVA.org:uu-176792" > A predicative compl...

A predicative completion of a uniform space

Berger, Josef (författare)
Ishihara, Hajime (författare)
Palmgren, Erik (författare)
Uppsala universitet,Algebra och geometri
visa fler...
Schuster, Peter (författare)
visa färre...
 (creator_code:org_t)
Elsevier BV, 2012
2012
Engelska.
Ingår i: Annals of Pure and Applied Logic. - : Elsevier BV. - 0168-0072 .- 1873-2461. ; 163:8, s. 975-980
  • Tidskriftsartikel (refereegranskat)
Abstract Ämnesord
Stäng  
  • We give a predicative construction of a completion of a uniform space in the constructive Zermelo-Fraenkel set theory.

Ämnesord

NATURVETENSKAP  -- Matematik (hsv//swe)
NATURAL SCIENCES  -- Mathematics (hsv//eng)

Nyckelord

Constructive mathematics
Uniform space
Completion
Constructive set theory

Publikations- och innehållstyp

ref (ämneskategori)
art (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Berger, Josef
Ishihara, Hajime
Palmgren, Erik
Schuster, Peter
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Matematik
Artiklar i publikationen
Annals of Pure a ...
Av lärosätet
Uppsala universitet

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy