Matches in SemOpenAlex for { <https://semopenalex.org/work/W3021111623> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3021111623 startingPage "0" @default.
- W3021111623 abstract "A major problem in the constructive theory of apartness spaces is that of finding a good notion of compactness. Such a notion should (i) reduce to ``complete plus totally bounded'' for uniform spaces and (ii) classically be equivalent to the usual Heine-Borel-Lebesgue property for the apartness topology. The constructive counterpart of the smallest uniform structure compatible with a given apartness, while not constructively a uniform structure, offers a possible solution to the compactness-definition problem. That counterpart turns out to be interesting in its own right, and reveals some additional properties of an apartness that may have uses elsewhere in the theory." @default.
- W3021111623 created "2020-05-13" @default.
- W3021111623 creator A5016735166 @default.
- W3021111623 creator A5035502484 @default.
- W3021111623 creator A5040044031 @default.
- W3021111623 creator A5053039771 @default.
- W3021111623 date "2005-01-01" @default.
- W3021111623 modified "2023-09-26" @default.
- W3021111623 title "Compactness in apartness spaces" @default.
- W3021111623 cites W2019495847 @default.
- W3021111623 cites W2067914884 @default.
- W3021111623 cites W2171525496 @default.
- W3021111623 hasPublicationYear "2005" @default.
- W3021111623 type Work @default.
- W3021111623 sameAs 3021111623 @default.
- W3021111623 citedByCount "0" @default.
- W3021111623 crossrefType "proceedings-article" @default.
- W3021111623 hasAuthorship W3021111623A5016735166 @default.
- W3021111623 hasAuthorship W3021111623A5035502484 @default.
- W3021111623 hasAuthorship W3021111623A5040044031 @default.
- W3021111623 hasAuthorship W3021111623A5053039771 @default.
- W3021111623 hasConcept C111472728 @default.
- W3021111623 hasConcept C111919701 @default.
- W3021111623 hasConcept C114614502 @default.
- W3021111623 hasConcept C118615104 @default.
- W3021111623 hasConcept C132954091 @default.
- W3021111623 hasConcept C134306372 @default.
- W3021111623 hasConcept C136119220 @default.
- W3021111623 hasConcept C138885662 @default.
- W3021111623 hasConcept C172294467 @default.
- W3021111623 hasConcept C184720557 @default.
- W3021111623 hasConcept C18648836 @default.
- W3021111623 hasConcept C189950617 @default.
- W3021111623 hasConcept C202444582 @default.
- W3021111623 hasConcept C2778701210 @default.
- W3021111623 hasConcept C33923547 @default.
- W3021111623 hasConcept C34388435 @default.
- W3021111623 hasConcept C41008148 @default.
- W3021111623 hasConcept C81332173 @default.
- W3021111623 hasConcept C98045186 @default.
- W3021111623 hasConceptScore W3021111623C111472728 @default.
- W3021111623 hasConceptScore W3021111623C111919701 @default.
- W3021111623 hasConceptScore W3021111623C114614502 @default.
- W3021111623 hasConceptScore W3021111623C118615104 @default.
- W3021111623 hasConceptScore W3021111623C132954091 @default.
- W3021111623 hasConceptScore W3021111623C134306372 @default.
- W3021111623 hasConceptScore W3021111623C136119220 @default.
- W3021111623 hasConceptScore W3021111623C138885662 @default.
- W3021111623 hasConceptScore W3021111623C172294467 @default.
- W3021111623 hasConceptScore W3021111623C184720557 @default.
- W3021111623 hasConceptScore W3021111623C18648836 @default.
- W3021111623 hasConceptScore W3021111623C189950617 @default.
- W3021111623 hasConceptScore W3021111623C202444582 @default.
- W3021111623 hasConceptScore W3021111623C2778701210 @default.
- W3021111623 hasConceptScore W3021111623C33923547 @default.
- W3021111623 hasConceptScore W3021111623C34388435 @default.
- W3021111623 hasConceptScore W3021111623C41008148 @default.
- W3021111623 hasConceptScore W3021111623C81332173 @default.
- W3021111623 hasConceptScore W3021111623C98045186 @default.
- W3021111623 hasLocation W30211116231 @default.
- W3021111623 hasOpenAccess W3021111623 @default.
- W3021111623 hasPrimaryLocation W30211116231 @default.
- W3021111623 hasRelatedWork W1783361995 @default.
- W3021111623 hasRelatedWork W2004100045 @default.
- W3021111623 hasRelatedWork W2051630567 @default.
- W3021111623 hasRelatedWork W2086175174 @default.
- W3021111623 hasRelatedWork W2126405797 @default.
- W3021111623 hasRelatedWork W2131614296 @default.
- W3021111623 hasRelatedWork W2137144571 @default.
- W3021111623 hasRelatedWork W2229188 @default.
- W3021111623 hasRelatedWork W2273935058 @default.
- W3021111623 hasRelatedWork W2346602651 @default.
- W3021111623 hasRelatedWork W2781102744 @default.
- W3021111623 hasRelatedWork W2992963420 @default.
- W3021111623 hasRelatedWork W3037691010 @default.
- W3021111623 hasRelatedWork W3158139569 @default.
- W3021111623 hasRelatedWork W3166509580 @default.
- W3021111623 hasRelatedWork W3175102766 @default.
- W3021111623 hasRelatedWork W3214219073 @default.
- W3021111623 hasRelatedWork W81923450 @default.
- W3021111623 hasRelatedWork W83846219 @default.
- W3021111623 hasRelatedWork W2182686874 @default.
- W3021111623 isParatext "false" @default.
- W3021111623 isRetracted "false" @default.
- W3021111623 magId "3021111623" @default.
- W3021111623 workType "article" @default.