乐胖代购免代理版

{"id":"https://openalex.org/W2082631236","doi":"https://doi.org/10.1017/s096012950200364x","title":"Tripos theory in retrospect","display_name":"Tripos theory in retrospect","publication_year":2002,"publication_date":"2002-06-01","ids":{"openalex":"https://openalex.org/W2082631236","doi":"https://doi.org/10.1017/s096012950200364x","mag":"2082631236"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012950200364x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035484728","display_name":"Andrew M. Pitts","orcid":"https://orcid.org/0000-0001-7775-3471"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"ANDREW M. PITTS","raw_affiliation_strings":["Cambridge University Computer Laboratory, William Gates Building, J. J. Thomson Avenue, Cambridge, CB3 0FD, U.K.#TAB#"],"affiliations":[{"raw_affiliation_string":"Cambridge University Computer Laboratory, William Gates Building, J. J. Thomson Avenue, Cambridge, CB3 0FD, U.K.#TAB#","institution_ids":["https://openalex.org/I241749"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5035484728"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":0.828,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":56,"citation_normalized_percentile":{"value":0.927383,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":94},"biblio":{"volume":"12","issue":"03","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9834,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9834,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9815,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.9813,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/topos-theory","display_name":"Topos theory","score":0.9454615},{"id":"https://openalex.org/keywords/realizability","display_name":"Realizability","score":0.6471321},{"id":"https://openalex.org/keywords/sheaf","display_name":"Sheaf","score":0.5432173}],"concepts":[{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.9454615},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.6471321},{"id":"https://openalex.org/C4017995","wikidata":"https://www.wikidata.org/wiki/Q595298","display_name":"Sheaf","level":2,"score":0.5432173},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.51100314},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.50781256},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.49097708},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47223234},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37043422},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.22927377},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12785193},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.12546203},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.05889091},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012950200364x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.56,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":15,"referenced_works":["https://openalex.org/W1557351111","https://openalex.org/W1605765292","https://openalex.org/W2002346383","https://openalex.org/W2043566933","https://openalex.org/W2068932960","https://openalex.org/W2086061699","https://openalex.org/W2099684400","https://openalex.org/W2107093915","https://openalex.org/W2127394739","https://openalex.org/W2137850935","https://openalex.org/W2161023112","https://openalex.org/W2291208220","https://openalex.org/W2802435120","https://openalex.org/W345808991","https://openalex.org/W577129422"],"related_works":["https://openalex.org/W4301022236","https://openalex.org/W4300880366","https://openalex.org/W2952078890","https://openalex.org/W2951427440","https://openalex.org/W2887094389","https://openalex.org/W2291208220","https://openalex.org/W2289603781","https://openalex.org/W2100490097","https://openalex.org/W2042945291","https://openalex.org/W1987689608"],"abstract_inverted_index":{"The":[0,38],"notion":[1],"of":[2,22,34,51,55,103,108],"tripos":[3],"(Hyland":[4],"et":[5],"al.":[6],"1980;":[7],"Pitts":[8],"1981)":[9],"was":[10],"motivated":[11],"by":[12],"the":[13,35,45,49,53,76,87],"desire":[14],"to":[15,48],"explain":[16],"in":[17,62],"what":[18],"sense":[19],"Higg's":[20],"description":[21],"sheaf":[23],"toposes":[24,31],"as":[25,44,60],"H-valued":[26],"sets":[27],"and":[28,84],"Hyland's":[29],"realizability":[30],"are":[32,101],"instances":[33],"same":[36],"construction.":[37],"construction":[39],"itself":[40],"can":[41],"be":[42],"seen":[43],"universal":[46],"solution":[47],"problem":[50],"realizing":[52],"predicates":[54],"a":[56,63,81,91],"first":[57],"order":[58],"hyperdoctrine":[59,89],"subobjects":[61],"logos":[64,78],"with":[65],"effective":[66],"equivalence":[67],"relations.":[68],"In":[69],"this":[70,97,106],"note":[71],"it":[72],"is":[73,79],"shown":[74],"that":[75],"resulting":[77],"actually":[80],"topos":[82],"if":[83,86],"only":[85],"original":[88],"satisfies":[90],"certain":[92],"comprehension":[93],"property.":[94],"Triposes":[95],"satisfy":[96],"property,":[98],"but":[99],"there":[100],"examples":[102],"non-triposes":[104],"satisfying":[105],"form":[107],"comprehension.":[109]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2082631236","counts_by_year":[{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2025-01-19T11:15:03.019207","created_date":"2016-06-24"}