{"id":"https://openalex.org/W4404737911","doi":"https://doi.org/10.1007/s00153-024-00951-4","title":"On the consistency strength of critical leaps","display_name":"On the consistency strength of critical leaps","publication_year":2024,"publication_date":"2024-11-26","ids":{"openalex":"https://openalex.org/W4404737911","doi":"https://doi.org/10.1007/s00153-024-00951-4"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-024-00951-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-024-00951-4","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","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/A5048116137","display_name":"G\u00fcnter Fuchs","orcid":"https://orcid.org/0000-0003-4627-3154"},"institutions":[{"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"]},{"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"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gunter Fuchs","raw_affiliation_strings":["The College of Staten Island (CUNY), 2800 Victory Blvd, Staten Island, NY, 10314, USA","The College of Staten Island (CUNY), Staten Island, USA","The Graduate Center (CUNY), 365 5th Avenue, New York, NY, 10016, USA","The Graduate Center (CUNY), New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The College of Staten Island (CUNY), 2800 Victory Blvd, Staten Island, NY, 10314, USA","institution_ids":["https://openalex.org/I142393192"]},{"raw_affiliation_string":"The College of Staten Island (CUNY), Staten Island, USA","institution_ids":["https://openalex.org/I142393192"]},{"raw_affiliation_string":"The Graduate Center (CUNY), 365 5th Avenue, New York, NY, 10016, USA","institution_ids":["https://openalex.org/I121847817"]},{"raw_affiliation_string":"The Graduate Center (CUNY), New York, USA","institution_ids":["https://openalex.org/I121847817"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5048116137"],"corresponding_institution_ids":["https://openalex.org/I121847817","https://openalex.org/I142393192"],"apc_list":{"value":3190,"currency":"USD","value_usd":3190},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29663093,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"64","issue":"3-4","first_page":"515","last_page":"528"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9861000180244446,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9861000180244446,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9696999788284302,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9681000113487244,"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/leaps","display_name":"LEAPS","score":0.9881324768066406},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7319321632385254},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7188849449157715},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3399478793144226},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3273750841617584},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23177111148834229},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16626214981079102},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.06383177638053894}],"concepts":[{"id":"https://openalex.org/C2777705401","wikidata":"https://www.wikidata.org/wiki/Q6457570","display_name":"LEAPS","level":2,"score":0.9881324768066406},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7319321632385254},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7188849449157715},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3399478793144226},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3273750841617584},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23177111148834229},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16626214981079102},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.06383177638053894},{"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/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00153-024-00951-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-024-00951-4","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.7300000190734863,"display_name":"Climate action"}],"awards":[{"id":"https://openalex.org/G629291707","display_name":null,"funder_award_id":"580600","funder_id":"https://openalex.org/F4320306164","funder_display_name":"Simons Foundation"}],"funders":[{"id":"https://openalex.org/F4320306164","display_name":"Simons Foundation","ror":"https://ror.org/01cmst727"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1481565952","https://openalex.org/W1785662317","https://openalex.org/W1969948941","https://openalex.org/W2028874271","https://openalex.org/W2030678837","https://openalex.org/W2065550657","https://openalex.org/W2224484194","https://openalex.org/W2347081345","https://openalex.org/W2604352492","https://openalex.org/W2738814765","https://openalex.org/W2806221637","https://openalex.org/W3106300234","https://openalex.org/W3173883379","https://openalex.org/W4210243000","https://openalex.org/W4327518121","https://openalex.org/W4389408630"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2492014775","https://openalex.org/W2381023742","https://openalex.org/W4403958025","https://openalex.org/W2373297822","https://openalex.org/W2371221548","https://openalex.org/W2388543165","https://openalex.org/W2533958670","https://openalex.org/W2741632929","https://openalex.org/W2977999572"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}