{"id":"https://openalex.org/W2593727555","doi":"https://doi.org/10.1007/978-3-662-55386-2_10","title":"Computable Quotient Presentations of Models of Arithmetic and Set Theory","display_name":"Computable Quotient Presentations of Models of Arithmetic and Set Theory","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2593727555","doi":"https://doi.org/10.1007/978-3-662-55386-2_10","mag":"2593727555"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-55386-2_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-55386-2_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5053224455","display_name":"Micha\u0142 Tomasz Godziszewski","orcid":"https://orcid.org/0000-0002-3907-2242"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Micha\u0142 Tomasz Godziszewski","raw_affiliation_strings":["Logic Department, Institute of Philosophy, University of Warsaw, Krakowskie Przedmiescie 3, 00-927, Warszawa, Poland","Logic Department, Institute of Philosophy, University of Warsaw, Warszawa, Poland"],"affiliations":[{"raw_affiliation_string":"Logic Department, Institute of Philosophy, University of Warsaw, Krakowskie Przedmiescie 3, 00-927, Warszawa, Poland","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"Logic Department, Institute of Philosophy, University of Warsaw, Warszawa, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078404862","display_name":"Joel David Hamkins","orcid":"https://orcid.org/0000-0002-9959-0500"},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I142393192","display_name":"College of Staten Island","ror":"https://ror.org/02p179j44","country_code":"US","type":"education","lineage":["https://openalex.org/I142393192"]},{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joel David Hamkins","raw_affiliation_strings":["Mathematics, College of Staten Island of CUNY, Staten Island, 10314, USA","Mathematics, Philosophy, Computer Science, The Graduate Center of The City University of New York, 365 Fifth Avenue, New York, 10016, USA","Mathematics, College of Staten Island of CUNY, Staten Island, USA","Mathematics, Philosophy, Computer Science, The Graduate Center of The City University of New York, New York, USA"],"affiliations":[{"raw_affiliation_string":"Mathematics, College of Staten Island of CUNY, Staten Island, 10314, USA","institution_ids":["https://openalex.org/I142393192"]},{"raw_affiliation_string":"Mathematics, Philosophy, Computer Science, The Graduate Center of The City University of New York, 365 Fifth Avenue, New York, 10016, USA","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]},{"raw_affiliation_string":"Mathematics, College of Staten Island of CUNY, Staten Island, USA","institution_ids":["https://openalex.org/I142393192"]},{"raw_affiliation_string":"Mathematics, Philosophy, Computer Science, The Graduate Center of The City University of New York, New York, USA","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5053224455"],"corresponding_institution_ids":["https://openalex.org/I4654613"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.534,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.60998292,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"140","last_page":"152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9761999845504761,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9757000207901001,"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/quotient","display_name":"Quotient","score":0.7764190435409546},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7513336539268494},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.5466606020927429},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49581846594810486},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4885138273239136},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44480520486831665},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2536316514015198},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2092464566230774},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09677401185035706}],"concepts":[{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.7764190435409546},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7513336539268494},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.5466606020927429},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49581846594810486},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4885138273239136},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44480520486831665},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2536316514015198},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2092464566230774},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09677401185035706}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-662-55386-2_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-55386-2_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1574186606","https://openalex.org/W1981184771"],"related_works":["https://openalex.org/W4313895414","https://openalex.org/W3191134132","https://openalex.org/W2949502838","https://openalex.org/W4287062960","https://openalex.org/W3041175538","https://openalex.org/W2100219346","https://openalex.org/W1964382976","https://openalex.org/W3115508102","https://openalex.org/W2073143749","https://openalex.org/W4298367522"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}