Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955247265> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2955247265 abstract "We apply fundamental notions of Bishop set theory (BST), an informal theory that complements Bishop's theory of sets, to the theory of Bishop spaces, a function-theoretic approach to constructive topology. Within BST we develop the notions of a direct family of sets, of a direct spectrum of Bishop spaces, of the direct limit of a direct spectrum of Bishop spaces, and of the inverse limit of a contravariant direct spectrum of Bishop spaces. Within the extension of Bishop's informal system of constructive mathematics BISH with inductive definitions with rules of countably many premises, we prove the fundamental theorems on the direct and inverse limits of spectra of Bishop spaces and the duality principle between them." @default.
- W2955247265 created "2019-07-12" @default.
- W2955247265 creator A5078783893 @default.
- W2955247265 date "2021-04-01" @default.
- W2955247265 modified "2023-10-14" @default.
- W2955247265 title "Direct spectra of Bishop spaces and their limits" @default.
- W2955247265 cites W1498926208 @default.
- W2955247265 cites W1540066904 @default.
- W2955247265 cites W1590304156 @default.
- W2955247265 cites W2024315465 @default.
- W2955247265 cites W2080360328 @default.
- W2955247265 cites W2092169546 @default.
- W2955247265 cites W2120588128 @default.
- W2955247265 cites W2151159855 @default.
- W2955247265 cites W2226081501 @default.
- W2955247265 cites W2270304818 @default.
- W2955247265 cites W2282830184 @default.
- W2955247265 cites W2531241255 @default.
- W2955247265 cites W2610994252 @default.
- W2955247265 cites W2955639486 @default.
- W2955247265 cites W68752262 @default.
- W2955247265 doi "https://doi.org/10.23638/lmcs-17(2:4)2021" @default.
- W2955247265 hasPublicationYear "2021" @default.
- W2955247265 type Work @default.
- W2955247265 sameAs 2955247265 @default.
- W2955247265 citedByCount "0" @default.
- W2955247265 crossrefType "journal-article" @default.
- W2955247265 hasAuthorship W2955247265A5078783893 @default.
- W2955247265 hasBestOaLocation W29552472652 @default.
- W2955247265 hasConcept C111919701 @default.
- W2955247265 hasConcept C121332964 @default.
- W2955247265 hasConcept C134306372 @default.
- W2955247265 hasConcept C134565946 @default.
- W2955247265 hasConcept C151201525 @default.
- W2955247265 hasConcept C156778621 @default.
- W2955247265 hasConcept C199360897 @default.
- W2955247265 hasConcept C202444582 @default.
- W2955247265 hasConcept C206236147 @default.
- W2955247265 hasConcept C2778023678 @default.
- W2955247265 hasConcept C2778029271 @default.
- W2955247265 hasConcept C2778701210 @default.
- W2955247265 hasConcept C33923547 @default.
- W2955247265 hasConcept C41008148 @default.
- W2955247265 hasConcept C53936288 @default.
- W2955247265 hasConcept C62520636 @default.
- W2955247265 hasConcept C81332173 @default.
- W2955247265 hasConcept C98045186 @default.
- W2955247265 hasConceptScore W2955247265C111919701 @default.
- W2955247265 hasConceptScore W2955247265C121332964 @default.
- W2955247265 hasConceptScore W2955247265C134306372 @default.
- W2955247265 hasConceptScore W2955247265C134565946 @default.
- W2955247265 hasConceptScore W2955247265C151201525 @default.
- W2955247265 hasConceptScore W2955247265C156778621 @default.
- W2955247265 hasConceptScore W2955247265C199360897 @default.
- W2955247265 hasConceptScore W2955247265C202444582 @default.
- W2955247265 hasConceptScore W2955247265C206236147 @default.
- W2955247265 hasConceptScore W2955247265C2778023678 @default.
- W2955247265 hasConceptScore W2955247265C2778029271 @default.
- W2955247265 hasConceptScore W2955247265C2778701210 @default.
- W2955247265 hasConceptScore W2955247265C33923547 @default.
- W2955247265 hasConceptScore W2955247265C41008148 @default.
- W2955247265 hasConceptScore W2955247265C53936288 @default.
- W2955247265 hasConceptScore W2955247265C62520636 @default.
- W2955247265 hasConceptScore W2955247265C81332173 @default.
- W2955247265 hasConceptScore W2955247265C98045186 @default.
- W2955247265 hasLocation W29552472651 @default.
- W2955247265 hasLocation W29552472652 @default.
- W2955247265 hasOpenAccess W2955247265 @default.
- W2955247265 hasPrimaryLocation W29552472651 @default.
- W2955247265 hasRelatedWork W1969999722 @default.
- W2955247265 hasRelatedWork W2018979944 @default.
- W2955247265 hasRelatedWork W2026122413 @default.
- W2955247265 hasRelatedWork W2048542501 @default.
- W2955247265 hasRelatedWork W2950452077 @default.
- W2955247265 hasRelatedWork W3132989898 @default.
- W2955247265 hasRelatedWork W3158407126 @default.
- W2955247265 hasRelatedWork W4226192364 @default.
- W2955247265 hasRelatedWork W4288621543 @default.
- W2955247265 hasRelatedWork W4297899302 @default.
- W2955247265 isParatext "false" @default.
- W2955247265 isRetracted "false" @default.
- W2955247265 magId "2955247265" @default.
- W2955247265 workType "article" @default.