{"id":"https://openalex.org/W2062950862","doi":"https://doi.org/10.1016/s1571-0661(05)80744-3","title":"Effective versions of equilogical spaces","display_name":"Effective versions of equilogical spaces","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W2062950862","doi":"https://doi.org/10.1016/s1571-0661(05)80744-3","mag":"2062950862"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80744-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80744-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80744-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109213996","display_name":"Dana Scott","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dana Scott","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109213996"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.17333437,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":null,"first_page":"204","last_page":"204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9527000188827515,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9333000183105469,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8261266946792603},{"id":"https://openalex.org/keywords/equivariant-map","display_name":"Equivariant map","score":0.6959354877471924},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.6003965735435486},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.5800535678863525},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5169710516929626},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.4584985673427582},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.43883147835731506},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4083818197250366}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8261266946792603},{"id":"https://openalex.org/C171036898","wikidata":"https://www.wikidata.org/wiki/Q256355","display_name":"Equivariant map","level":2,"score":0.6959354877471924},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.6003965735435486},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.5800535678863525},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5169710516929626},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.4584985673427582},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.43883147835731506},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4083818197250366}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80744-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80744-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80744-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80744-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3148895720","https://openalex.org/W30258475","https://openalex.org/W2393913406","https://openalex.org/W2356579025","https://openalex.org/W2736697936","https://openalex.org/W1966794195","https://openalex.org/W4311231917","https://openalex.org/W2026504565","https://openalex.org/W2349728712","https://openalex.org/W2980438719"],"abstract_inverted_index":{"The":[0,116,141],"full":[1],"category":[2,14,31,52,123,128,153,157],"of":[3,9,15,32,53,69,78,99,121,129,148,178],"equilogical":[4],"spaces":[5,20,59,87,91],"can":[6,105,158],"be":[7,159],"thought":[8],"either":[10],"as":[11,161],"ER(TOP),":[12],"the":[13,30,51,66,67,109,122,127,134,146,156,176],"equivalence":[16,26,34,55,131],"relations":[17,35,56,132],"on":[18,36,57],"T0-topological":[19],"and":[21,45,60,137,154],"equivariant":[22,46,61,138],"continuous":[23,47,62,139],"maps":[24],"(i.e.,":[25,42],"preserving),":[27],"or":[28,49],"PER(DOM/T),":[29],"partial":[33,54,130],"Scott":[37],"domains":[38],"with":[39,88,95,169],"a":[40,76,96,100,162,165,170],"top":[41],"algebraic":[43],"lattices)":[44],"maps,":[48],"PER(POWER),":[50],"power-set":[58],"maps.":[63,140],"(See":[64,174],"also":[65,175],"abstract":[68,177],"Andrej":[70],"Bauer":[71],"at":[72,181],"this":[73,152,182],"meeting":[74],"for":[75,164],"discussion":[77],"another":[79],"equivalent":[80,119],"category.)":[81],"If":[82],"we":[83,104],"replace":[84],"general":[85],"topological":[86],"countably":[89],"based":[90],"-":[92,103],"each":[93],"given":[94],"particular":[97],"choice":[98],"countable":[101],"basis":[102],"then":[106],"ask":[107],"how":[108,145,155],"resulting":[110],"categories":[111],"express":[112],"effective":[113],"(computable)":[114],"notions.":[115],"most":[117],"explicit":[118],"version":[120],"obtained":[124],"is":[125],"PER(P(N)),":[126],"over":[133],"power-set-of-N":[135],"domain":[136],"talk":[142],"will":[143],"discuss":[144],"notion":[147],"computability":[149],"appears":[150],"in":[151],"used":[160],"model":[163],"type":[166],"theory":[167],"enriched":[168],"\u2018computability\u2019":[171],"modal":[172],"operator.":[173],"Lars":[179],"Birkedal":[180],"meeting.)":[183]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}