{"id":"https://openalex.org/W1977571882","doi":"https://doi.org/10.1016/j.entcs.2004.06.054","title":"Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe","display_name":"Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe","publication_year":2005,"publication_date":"2005-03-01","ids":{"openalex":"https://openalex.org/W1977571882","doi":"https://doi.org/10.1016/j.entcs.2004.06.054","mag":"1977571882"},"language":"en","primary_location":{"id":"doi:10.1016/j.entcs.2004.06.054","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.06.054","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066105000356/pdf","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://www.sciencedirect.com/science/article/pii/S1571066105000356/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053199287","display_name":"Maria Emilia Maietti","orcid":"https://orcid.org/0000-0002-9198-066X"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Maria Emilia Maietti","raw_affiliation_strings":["Dipartimento di Matematica Pura ed Applicata, University of Padova, via Belzoni n.7, 35100 Padova, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica Pura ed Applicata, University of Padova, via Belzoni n.7, 35100 Padova, Italy","institution_ids":["https://openalex.org/I138689650"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5053199287"],"corresponding_institution_ids":["https://openalex.org/I138689650"],"apc_list":null,"apc_paid":null,"fwci":1.0559,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.83956971,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"122","issue":null,"first_page":"105","last_page":"126"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9957000017166138,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9957000017166138,"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.9692000150680542,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9491000175476074,"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/decidability","display_name":"Decidability","score":0.6790242791175842},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.6101213693618774},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.5921818614006042},{"id":"https://openalex.org/keywords/universe","display_name":"Universe","score":0.5605066418647766},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5389360785484314},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.4903535842895508},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.4293536841869354},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.41242846846580505},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36295267939567566},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35076141357421875},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2805805802345276},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10429763793945312}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6790242791175842},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.6101213693618774},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.5921818614006042},{"id":"https://openalex.org/C84999194","wikidata":"https://www.wikidata.org/wiki/Q1","display_name":"Universe","level":2,"score":0.5605066418647766},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5389360785484314},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.4903535842895508},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.4293536841869354},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.41242846846580505},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36295267939567566},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35076141357421875},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2805805802345276},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10429763793945312},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C44870925","wikidata":"https://www.wikidata.org/wiki/Q37547","display_name":"Astrophysics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.entcs.2004.06.054","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.06.054","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066105000356/pdf","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"},{"id":"pmh:oai:www.research.unipd.it:11577/1425280","is_oa":true,"landing_page_url":"http://hdl.handle.net/11577/1425280","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1016/j.entcs.2004.06.054","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.06.054","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066105000356/pdf","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":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1977571882.pdf","grobid_xml":"https://content.openalex.org/works/W1977571882.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W89881250","https://openalex.org/W577129422","https://openalex.org/W583126019","https://openalex.org/W1511133369","https://openalex.org/W1534018603","https://openalex.org/W1594900487","https://openalex.org/W2032719220","https://openalex.org/W2042082434","https://openalex.org/W2060984753","https://openalex.org/W2088523838","https://openalex.org/W2096517802","https://openalex.org/W2101274322","https://openalex.org/W2476069610","https://openalex.org/W2913347770","https://openalex.org/W4206381645","https://openalex.org/W4210641228","https://openalex.org/W6603675857","https://openalex.org/W6616691005","https://openalex.org/W6617068505","https://openalex.org/W6672528631","https://openalex.org/W6674672912","https://openalex.org/W6758947918"],"related_works":["https://openalex.org/W184516599","https://openalex.org/W1485481267","https://openalex.org/W1974626062","https://openalex.org/W1513699017","https://openalex.org/W2070015609","https://openalex.org/W2572230934","https://openalex.org/W1965594853","https://openalex.org/W2963042045","https://openalex.org/W3180855406","https://openalex.org/W2164569390"],"abstract_inverted_index":{"We":[0],"consider":[1],"finite":[2,56,74],"decidable":[3,57,75],"FP-sketches":[4,58,76],"within":[5],"an":[6,10,23,78,102],"arithmetic":[7,24,43,79,103],"universe.":[8,104],"By":[9,22],"FP-sketch":[11],"we":[12,26,37,59],"mean":[13,27],"a":[14,28,61],"sketch":[15],"with":[16],"terminal":[17],"and":[18],"binary":[19],"product":[20],"cones.":[21],"universe":[25,44,80],"list-arithmetic":[29],"pretopos,":[30],"which":[31],"is":[32,81,92],"the":[33,40,69,84,96],"general":[34],"categorical":[35],"definition":[36],"give":[38],"to":[39,49],"concept":[41],"of":[42,64,71,73,87,101],"introduced":[45],"by":[46,94],"Andr\u00e8":[47],"Joyal":[48],"prove":[50,60],"G\u00f6del":[51],"incompleteness":[52],"theorems.":[53],"Then,":[54],"for":[55],"constructive":[62],"version":[63],"Ehresmann-Kennison's":[65],"theorem":[66],"stating":[67],"that":[68],"category":[70,86],"models":[72],"in":[77,83],"reflective":[82],"corresponding":[85],"graph":[88],"morphisms.":[89],"The":[90],"proof":[91],"done":[93],"employing":[95],"internal":[97],"dependent":[98],"type":[99],"theory":[100]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-09-11T09:22:31.653822","created_date":"2025-10-10T00:00:00"}