Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992760717> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1992760717 endingPage "569" @default.
- W1992760717 startingPage "560" @default.
- W1992760717 abstract "In this note a T1 formal space (T1 set-generated locale) is a formal space whose points are closed as subspaces. Any regular formal space is T1. We introduce the more general notion of a T1∗ formal space, and prove that the class of points of a weakly set-presentable T1∗ formal space is a set in the constructive set theory CZF. The same also holds in constructive type theory. We then formulate separation properties Ti∗ for constructive topological spaces (ct-spaces), strengthening separation properties discussed elsewhere. Finally we relate the Ti∗ properties for ct-spaces with corresponding properties of formal spaces." @default.
- W1992760717 created "2016-06-24" @default.
- W1992760717 creator A5010968926 @default.
- W1992760717 creator A5051943015 @default.
- W1992760717 date "2010-01-01" @default.
- W1992760717 modified "2023-10-17" @default.
- W1992760717 title "On the <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif display=inline overflow=scroll><mml:msub><mml:mrow><mml:mi>T</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math> axiom and other separation properties in constructive point-free and point-set topology" @default.
- W1992760717 cites W1602062035 @default.
- W1992760717 cites W1983838889 @default.
- W1992760717 cites W2018009050 @default.
- W1992760717 cites W2021660199 @default.
- W1992760717 cites W2037661728 @default.
- W1992760717 cites W2060996059 @default.
- W1992760717 cites W2067863523 @default.
- W1992760717 cites W2076232585 @default.
- W1992760717 cites W2087012733 @default.
- W1992760717 cites W2804041427 @default.
- W1992760717 doi "https://doi.org/10.1016/j.apal.2009.03.005" @default.
- W1992760717 hasPublicationYear "2010" @default.
- W1992760717 type Work @default.
- W1992760717 sameAs 1992760717 @default.
- W1992760717 citedByCount "8" @default.
- W1992760717 countsByYear W19927607172012 @default.
- W1992760717 countsByYear W19927607172015 @default.
- W1992760717 crossrefType "journal-article" @default.
- W1992760717 hasAuthorship W1992760717A5010968926 @default.
- W1992760717 hasAuthorship W1992760717A5051943015 @default.
- W1992760717 hasBestOaLocation W19927607172 @default.
- W1992760717 hasConcept C111919701 @default.
- W1992760717 hasConcept C11413529 @default.
- W1992760717 hasConcept C118615104 @default.
- W1992760717 hasConcept C12362212 @default.
- W1992760717 hasConcept C136119220 @default.
- W1992760717 hasConcept C154945302 @default.
- W1992760717 hasConcept C177264268 @default.
- W1992760717 hasConcept C199360897 @default.
- W1992760717 hasConcept C202444582 @default.
- W1992760717 hasConcept C202854965 @default.
- W1992760717 hasConcept C2777212361 @default.
- W1992760717 hasConcept C2778572836 @default.
- W1992760717 hasConcept C2778701210 @default.
- W1992760717 hasConcept C33923547 @default.
- W1992760717 hasConcept C41008148 @default.
- W1992760717 hasConcept C98045186 @default.
- W1992760717 hasConceptScore W1992760717C111919701 @default.
- W1992760717 hasConceptScore W1992760717C11413529 @default.
- W1992760717 hasConceptScore W1992760717C118615104 @default.
- W1992760717 hasConceptScore W1992760717C12362212 @default.
- W1992760717 hasConceptScore W1992760717C136119220 @default.
- W1992760717 hasConceptScore W1992760717C154945302 @default.
- W1992760717 hasConceptScore W1992760717C177264268 @default.
- W1992760717 hasConceptScore W1992760717C199360897 @default.
- W1992760717 hasConceptScore W1992760717C202444582 @default.
- W1992760717 hasConceptScore W1992760717C202854965 @default.
- W1992760717 hasConceptScore W1992760717C2777212361 @default.
- W1992760717 hasConceptScore W1992760717C2778572836 @default.
- W1992760717 hasConceptScore W1992760717C2778701210 @default.
- W1992760717 hasConceptScore W1992760717C33923547 @default.
- W1992760717 hasConceptScore W1992760717C41008148 @default.
- W1992760717 hasConceptScore W1992760717C98045186 @default.
- W1992760717 hasIssue "4" @default.
- W1992760717 hasLocation W19927607171 @default.
- W1992760717 hasLocation W19927607172 @default.
- W1992760717 hasOpenAccess W1992760717 @default.
- W1992760717 hasPrimaryLocation W19927607171 @default.
- W1992760717 hasRelatedWork W1589204344 @default.
- W1992760717 hasRelatedWork W1985541145 @default.
- W1992760717 hasRelatedWork W2028676759 @default.
- W1992760717 hasRelatedWork W2064351239 @default.
- W1992760717 hasRelatedWork W2114983089 @default.
- W1992760717 hasRelatedWork W2257471395 @default.
- W1992760717 hasRelatedWork W2949665548 @default.
- W1992760717 hasRelatedWork W2950188642 @default.
- W1992760717 hasRelatedWork W2954167023 @default.
- W1992760717 hasRelatedWork W3186402499 @default.
- W1992760717 hasVolume "161" @default.
- W1992760717 isParatext "false" @default.
- W1992760717 isRetracted "false" @default.
- W1992760717 magId "1992760717" @default.
- W1992760717 workType "article" @default.
