{"id":"https://openalex.org/W4414149815","doi":"https://doi.org/10.1016/j.tcs.2025.115550","title":"The Grothendieck computability model","display_name":"The Grothendieck computability model","publication_year":2025,"publication_date":"2025-09-12","ids":{"openalex":"https://openalex.org/W4414149815","doi":"https://doi.org/10.1016/j.tcs.2025.115550"},"language":"en","primary_location":{"id":"doi:10.1016/j.tcs.2025.115550","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2025.115550","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.tcs.2025.115550","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5097372461","display_name":"Luis Gambarte","orcid":null},"institutions":[{"id":"https://openalex.org/I174004417","display_name":"Munich University of Applied Sciences","ror":"https://ror.org/012k1v959","country_code":"DE","type":"education","lineage":["https://openalex.org/I174004417"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Luis Gambarte","raw_affiliation_strings":["Mathematisches Institut der Universit\u00e4t M\u00fcnchen, Theresienstr. 39, D-80333 M\u00fcnchen, Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematisches Institut der Universit\u00e4t M\u00fcnchen, Theresienstr. 39, D-80333 M\u00fcnchen, Deutschland","institution_ids":["https://openalex.org/I174004417"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078783893","display_name":"Iosif Petrakis","orcid":"https://orcid.org/0000-0002-4121-7455"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Iosif Petrakis","raw_affiliation_strings":["Universit\u00e0 degli studi di Verona, Strada Le Grazie 15, Verona, 37134, Italia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli studi di Verona, Strada Le Grazie 15, Verona, 37134, Italia","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5097372461"],"corresponding_institution_ids":["https://openalex.org/I174004417"],"apc_list":{"value":2600,"currency":"USD","value_usd":2600},"apc_paid":{"value":2600,"currency":"USD","value_usd":2600},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21023303,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1057","issue":null,"first_page":"115550","last_page":"115550"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987999796867371,"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.9987999796867371,"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.9947999715805054,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.972599983215332,"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/computability","display_name":"Computability","score":0.9380000233650208},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5246999859809875},{"id":"https://openalex.org/keywords/computability-theory","display_name":"Computability theory","score":0.4932999908924103},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.4465000033378601},{"id":"https://openalex.org/keywords/fibration","display_name":"Fibration","score":0.43950000405311584},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.40950000286102295}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.9380000233650208},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7415000200271606},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5246999859809875},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.4932999908924103},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4580000042915344},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.4465000033378601},{"id":"https://openalex.org/C54486226","wikidata":"https://www.wikidata.org/wiki/Q493941","display_name":"Fibration","level":3,"score":0.43950000405311584},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.40950000286102295},{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2921000123023987}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.tcs.2025.115550","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2025.115550","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:epub.ub.uni-muenchen.de:129134","is_oa":true,"landing_page_url":"https://epub.ub.uni-muenchen.de/129134/","pdf_url":"https://epub.ub.uni-muenchen.de/129134/1/1-s2.0-S0304397525004888-main.pdf","source":{"id":"https://openalex.org/S4306401845","display_name":"Open access LMU (Ludwid Maxmilian's Universitat Munchen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I8204097","host_organization_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","host_organization_lineage":["https://openalex.org/I8204097"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theoretical Computer Science","raw_type":"doc-type:article"}],"best_oa_location":{"id":"doi:10.1016/j.tcs.2025.115550","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2025.115550","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"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":12,"referenced_works":["https://openalex.org/W1594900487","https://openalex.org/W1979127885","https://openalex.org/W2006941708","https://openalex.org/W2148713425","https://openalex.org/W2156232118","https://openalex.org/W2169959300","https://openalex.org/W2183539343","https://openalex.org/W2293460502","https://openalex.org/W3163923091","https://openalex.org/W4210692990","https://openalex.org/W4308884937","https://openalex.org/W4361193452"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2197939068","https://openalex.org/W2759753768","https://openalex.org/W2951237399","https://openalex.org/W2102369008","https://openalex.org/W145779977","https://openalex.org/W3163923091","https://openalex.org/W2071065290","https://openalex.org/W2294807354","https://openalex.org/W1782244868"],"abstract_inverted_index":{"Translating":[0],"notions":[1],"and":[2,15,27,84,98,100],"results":[3],"from":[4],"category":[5,38,74,80],"theory":[6,9,65],"to":[7,44],"the":[8,19,25,33,37,49,57,64,73,93,104],"of":[10,13,39,51,60,66,75,88,95],"computability":[11,21,35,40,67,76],"models":[12,41,77],"Longley":[14],"Normann,":[16],"we":[17,91,101],"introduce":[18,92],"Grothendieck":[20,34],"model.":[22],"We":[23,69],"define":[24],"first-projection-simulation":[26,105],"prove":[28,102],"its":[29],"basic":[30],"properties.":[31],"With":[32],"model,":[36],"is":[42,78,106],"shown":[43],"be":[45],"a":[46,53,79,85,96,107],"type-category,":[47],"in":[48],"sense":[50],"Pitts,":[52],"result":[54],"that":[55,72,103],"bridges":[56],"categorical":[58],"interpretation":[59],"dependent":[61],"types":[62],"with":[63,81],"models.":[68],"also":[70],"show":[71],"2-family":[82],"arrows":[83],"corresponding":[86],"structure":[87],"Sigma-objects.":[89],"Finally,":[90],"notion":[94],"fibration":[97],"opfibration-simulation,":[99],"split":[108],"opfibration-simulation.":[109]},"counts_by_year":[],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}