{"id":"https://openalex.org/W2014565657","doi":"https://doi.org/10.1007/bf00370381","title":"Generic generalized Rosser fixed points","display_name":"Generic generalized Rosser fixed points","publication_year":1987,"publication_date":"1987-06-01","ids":{"openalex":"https://openalex.org/W2014565657","doi":"https://doi.org/10.1007/bf00370381","mag":"2014565657"},"language":"en","primary_location":{"id":"doi:10.1007/bf00370381","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00370381","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"type":"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/A5108345731","display_name":"D.H.J. de Jongh","orcid":null},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["IT","NL"],"is_corresponding":false,"raw_author_name":"Dick H. J. de Jongh","raw_affiliation_strings":["Dipartimento di Matematico, Universita di Siena, Via Del Capitano 15, 53100, Siena","Mathematisch Instituut, Universiteit van Amsterdam, Roetersstraat 15, 1018, WB Amsterdam","Mathematisch Instituut, Universiteit van Amsterdam, WB Amsterdam","Dipartimento di Matematico, Universita di Siena, Siena"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematico, Universita di Siena, Via Del Capitano 15, 53100, Siena","institution_ids":["https://openalex.org/I102064193"]},{"raw_affiliation_string":"Mathematisch Instituut, Universiteit van Amsterdam, Roetersstraat 15, 1018, WB Amsterdam","institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"]},{"raw_affiliation_string":"Mathematisch Instituut, Universiteit van Amsterdam, WB Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Dipartimento di Matematico, Universita di Siena, Siena","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109033991","display_name":"Franco Montagna","orcid":null},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["IT","NL"],"is_corresponding":false,"raw_author_name":"Franco Montagna","raw_affiliation_strings":["Dipartimento di Matematico, Universita di Siena, Via Del Capitano 15, 53100, Siena","Mathematisch Instituut, Universiteit van Amsterdam, Roetersstraat 15, 1018, WB Amsterdam","Mathematisch Instituut, Universiteit van Amsterdam, WB Amsterdam","Dipartimento di Matematico, Universita di Siena, Siena"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematico, Universita di Siena, Via Del Capitano 15, 53100, Siena","institution_ids":["https://openalex.org/I102064193"]},{"raw_affiliation_string":"Mathematisch Instituut, Universiteit van Amsterdam, Roetersstraat 15, 1018, WB Amsterdam","institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"]},{"raw_affiliation_string":"Mathematisch Instituut, Universiteit van Amsterdam, WB Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Dipartimento di Matematico, Universita di Siena, Siena","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":2.2399,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.89676205,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"46","issue":"2","first_page":"193","last_page":"203"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"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.9986000061035156,"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.9925000071525574,"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.9876000285148621,"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/arithmetic-function","display_name":"Arithmetic function","score":0.7996466159820557},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.7506785988807678},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.7464178204536438},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.7403527498245239},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6218271255493164},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5940272212028503},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5664221048355103},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.5387905836105347},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5315200090408325},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.5245252847671509},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5113484263420105},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.4854481816291809},{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"Mathematical logic","score":0.4257327616214752},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.4236319661140442},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.36957770586013794},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33883559703826904},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.3266862630844116},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2127423882484436},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.20118042826652527},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.18813511729240417},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14490416646003723},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10406464338302612},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07348045706748962},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.05843004584312439}],"concepts":[{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.7996466159820557},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.7506785988807678},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.7464178204536438},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.7403527498245239},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6218271255493164},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5940272212028503},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5664221048355103},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.5387905836105347},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5315200090408325},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.5245252847671509},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5113484263420105},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4854481816291809},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.4257327616214752},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.4236319661140442},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36957770586013794},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33883559703826904},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.3266862630844116},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2127423882484436},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.20118042826652527},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.18813511729240417},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14490416646003723},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10406464338302612},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07348045706748962},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.05843004584312439},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf00370381","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00370381","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W818805751","https://openalex.org/W1001019062","https://openalex.org/W1008748165","https://openalex.org/W1176213484","https://openalex.org/W1977861517","https://openalex.org/W1987214648","https://openalex.org/W1996906710","https://openalex.org/W2012650638","https://openalex.org/W2017621431","https://openalex.org/W2059933820","https://openalex.org/W2084753590","https://openalex.org/W2143346393","https://openalex.org/W2921156513","https://openalex.org/W2969873114","https://openalex.org/W4206831068","https://openalex.org/W4229854955","https://openalex.org/W4253934133","https://openalex.org/W6629565732"],"related_works":["https://openalex.org/W2081976468","https://openalex.org/W2078736672","https://openalex.org/W3100510665","https://openalex.org/W2952893544","https://openalex.org/W2154555144","https://openalex.org/W2070878538","https://openalex.org/W2020323165","https://openalex.org/W1986625420","https://openalex.org/W1573206013","https://openalex.org/W1951369434"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}