Matches in SemOpenAlex for { <https://semopenalex.org/work/W22890234> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W22890234 abstract "We prove general theorems about unique existence of eec- tive subalgebras of classical algebras. The theorems are consequences of standard facts about completions of metric spaces within the framework of constructive mathematics, suitably interpreted in realizability models. We work with general realizability models rather than with a particu- lar model of computation. Consequently, all the results are applicable in various established schools of computability, such as type 1 and type 2 eectivity, domain representations, equilogical spaces, and others." @default.
- W22890234 created "2016-06-24" @default.
- W22890234 creator A5005200566 @default.
- W22890234 creator A5068602858 @default.
- W22890234 date "2009-01-01" @default.
- W22890234 modified "2023-09-27" @default.
- W22890234 title "Subalgebras of Classical Algebras as Constructive Metric Completions" @default.
- W22890234 cites W104853290 @default.
- W22890234 cites W120057786 @default.
- W22890234 cites W1481909350 @default.
- W22890234 cites W2047923539 @default.
- W22890234 cites W2078842522 @default.
- W22890234 cites W2102879503 @default.
- W22890234 cites W624912723 @default.
- W22890234 cites W630606573 @default.
- W22890234 hasPublicationYear "2009" @default.
- W22890234 type Work @default.
- W22890234 sameAs 22890234 @default.
- W22890234 citedByCount "0" @default.
- W22890234 crossrefType "journal-article" @default.
- W22890234 hasAuthorship W22890234A5005200566 @default.
- W22890234 hasAuthorship W22890234A5068602858 @default.
- W22890234 hasConcept C111919701 @default.
- W22890234 hasConcept C11413529 @default.
- W22890234 hasConcept C118615104 @default.
- W22890234 hasConcept C134306372 @default.
- W22890234 hasConcept C136119220 @default.
- W22890234 hasConcept C152062344 @default.
- W22890234 hasConcept C162324750 @default.
- W22890234 hasConcept C176217482 @default.
- W22890234 hasConcept C18903297 @default.
- W22890234 hasConcept C198043062 @default.
- W22890234 hasConcept C202444582 @default.
- W22890234 hasConcept C21547014 @default.
- W22890234 hasConcept C2776378722 @default.
- W22890234 hasConcept C2777299769 @default.
- W22890234 hasConcept C2778701210 @default.
- W22890234 hasConcept C33923547 @default.
- W22890234 hasConcept C36503486 @default.
- W22890234 hasConcept C41008148 @default.
- W22890234 hasConcept C86803240 @default.
- W22890234 hasConcept C98045186 @default.
- W22890234 hasConceptScore W22890234C111919701 @default.
- W22890234 hasConceptScore W22890234C11413529 @default.
- W22890234 hasConceptScore W22890234C118615104 @default.
- W22890234 hasConceptScore W22890234C134306372 @default.
- W22890234 hasConceptScore W22890234C136119220 @default.
- W22890234 hasConceptScore W22890234C152062344 @default.
- W22890234 hasConceptScore W22890234C162324750 @default.
- W22890234 hasConceptScore W22890234C176217482 @default.
- W22890234 hasConceptScore W22890234C18903297 @default.
- W22890234 hasConceptScore W22890234C198043062 @default.
- W22890234 hasConceptScore W22890234C202444582 @default.
- W22890234 hasConceptScore W22890234C21547014 @default.
- W22890234 hasConceptScore W22890234C2776378722 @default.
- W22890234 hasConceptScore W22890234C2777299769 @default.
- W22890234 hasConceptScore W22890234C2778701210 @default.
- W22890234 hasConceptScore W22890234C33923547 @default.
- W22890234 hasConceptScore W22890234C36503486 @default.
- W22890234 hasConceptScore W22890234C41008148 @default.
- W22890234 hasConceptScore W22890234C86803240 @default.
- W22890234 hasConceptScore W22890234C98045186 @default.
- W22890234 hasLocation W228902341 @default.
- W22890234 hasOpenAccess W22890234 @default.
- W22890234 hasPrimaryLocation W228902341 @default.
- W22890234 hasRelatedWork W1490736403 @default.
- W22890234 hasRelatedWork W1490906872 @default.
- W22890234 hasRelatedWork W172442242 @default.
- W22890234 hasRelatedWork W1971299367 @default.
- W22890234 hasRelatedWork W1972341778 @default.
- W22890234 hasRelatedWork W1978210364 @default.
- W22890234 hasRelatedWork W2015768688 @default.
- W22890234 hasRelatedWork W2028630116 @default.
- W22890234 hasRelatedWork W2034984684 @default.
- W22890234 hasRelatedWork W2048044535 @default.
- W22890234 hasRelatedWork W2060996059 @default.
- W22890234 hasRelatedWork W2084858937 @default.
- W22890234 hasRelatedWork W2145609623 @default.
- W22890234 hasRelatedWork W2153317161 @default.
- W22890234 hasRelatedWork W2796288489 @default.
- W22890234 hasRelatedWork W2950613816 @default.
- W22890234 hasRelatedWork W2973925745 @default.
- W22890234 hasRelatedWork W2978030444 @default.
- W22890234 hasRelatedWork W3206791082 @default.
- W22890234 hasRelatedWork W2607189416 @default.
- W22890234 isParatext "false" @default.
- W22890234 isRetracted "false" @default.
- W22890234 magId "22890234" @default.
- W22890234 workType "article" @default.