Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100820852> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3100820852 endingPage "629" @default.
- W3100820852 startingPage "614" @default.
- W3100820852 abstract "The locale corresponding to the real interval [ − 1, 1] is an interval object, in the sense of Escardó and Simpson, in the category of locales. The map c : 2 ω → [ − 1 , 1 ] , mapping a stream s of signs ±1 to ∑ i = 1 ∞ s i 2 − i , is a proper localic surjection; it is also expressed as a coequalizer. The proofs are valid in any elementary topos with natural numbers object." @default.
- W3100820852 created "2020-11-23" @default.
- W3100820852 creator A5021277208 @default.
- W3100820852 date "2017-12-01" @default.
- W3100820852 modified "2023-09-23" @default.
- W3100820852 title "The localic compact interval is an Escardó-Simpson interval object" @default.
- W3100820852 cites W1984190214 @default.
- W3100820852 cites W2007945990 @default.
- W3100820852 cites W2009183043 @default.
- W3100820852 cites W2015581837 @default.
- W3100820852 cites W2115279969 @default.
- W3100820852 doi "https://doi.org/10.1002/malq.201500090" @default.
- W3100820852 hasPublicationYear "2017" @default.
- W3100820852 type Work @default.
- W3100820852 sameAs 3100820852 @default.
- W3100820852 citedByCount "0" @default.
- W3100820852 crossrefType "journal-article" @default.
- W3100820852 hasAuthorship W3100820852A5021277208 @default.
- W3100820852 hasBestOaLocation W31008208522 @default.
- W3100820852 hasConcept C111919701 @default.
- W3100820852 hasConcept C114614502 @default.
- W3100820852 hasConcept C118615104 @default.
- W3100820852 hasConcept C119238805 @default.
- W3100820852 hasConcept C124952713 @default.
- W3100820852 hasConcept C142362112 @default.
- W3100820852 hasConcept C154945302 @default.
- W3100820852 hasConcept C182141236 @default.
- W3100820852 hasConcept C202444582 @default.
- W3100820852 hasConcept C2776049293 @default.
- W3100820852 hasConcept C2778067643 @default.
- W3100820852 hasConcept C2781238097 @default.
- W3100820852 hasConcept C33923547 @default.
- W3100820852 hasConcept C41008148 @default.
- W3100820852 hasConceptScore W3100820852C111919701 @default.
- W3100820852 hasConceptScore W3100820852C114614502 @default.
- W3100820852 hasConceptScore W3100820852C118615104 @default.
- W3100820852 hasConceptScore W3100820852C119238805 @default.
- W3100820852 hasConceptScore W3100820852C124952713 @default.
- W3100820852 hasConceptScore W3100820852C142362112 @default.
- W3100820852 hasConceptScore W3100820852C154945302 @default.
- W3100820852 hasConceptScore W3100820852C182141236 @default.
- W3100820852 hasConceptScore W3100820852C202444582 @default.
- W3100820852 hasConceptScore W3100820852C2776049293 @default.
- W3100820852 hasConceptScore W3100820852C2778067643 @default.
- W3100820852 hasConceptScore W3100820852C2781238097 @default.
- W3100820852 hasConceptScore W3100820852C33923547 @default.
- W3100820852 hasConceptScore W3100820852C41008148 @default.
- W3100820852 hasIssue "6" @default.
- W3100820852 hasLocation W31008208521 @default.
- W3100820852 hasLocation W31008208522 @default.
- W3100820852 hasLocation W31008208523 @default.
- W3100820852 hasOpenAccess W3100820852 @default.
- W3100820852 hasPrimaryLocation W31008208521 @default.
- W3100820852 hasRelatedWork W1975065775 @default.
- W3100820852 hasRelatedWork W2005272569 @default.
- W3100820852 hasRelatedWork W2011271472 @default.
- W3100820852 hasRelatedWork W2073601975 @default.
- W3100820852 hasRelatedWork W2075513489 @default.
- W3100820852 hasRelatedWork W2162820238 @default.
- W3100820852 hasRelatedWork W2165986557 @default.
- W3100820852 hasRelatedWork W2741030450 @default.
- W3100820852 hasRelatedWork W3100820852 @default.
- W3100820852 hasRelatedWork W4313530861 @default.
- W3100820852 hasVolume "63" @default.
- W3100820852 isParatext "false" @default.
- W3100820852 isRetracted "false" @default.
- W3100820852 magId "3100820852" @default.
- W3100820852 workType "article" @default.