{"id":"https://openalex.org/W2129433923","doi":"https://doi.org/10.2307/2275269","title":"Hilbert's program and the omega-rule","display_name":"Hilbert's program and the omega-rule","publication_year":1994,"publication_date":"1994-03-01","ids":{"openalex":"https://openalex.org/W2129433923","doi":"https://doi.org/10.2307/2275269","mag":"2129433923"},"language":"en","primary_location":{"id":"doi:10.2307/2275269","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275269","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic 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/A5053935948","display_name":"Aleksandar Ignjatovi\u0107","orcid":"https://orcid.org/0000-0002-1723-7886"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Aleksandar Ignjatovi\u0107","raw_affiliation_strings":["Department of Philosophy, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213-3890, E-mail:","Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213-3890, E-mail:","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5053935948"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.188499,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"59","issue":"1","first_page":"322","last_page":"343"},"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.9997000098228455,"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.9997000098228455,"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.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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9961000084877014,"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/consistency","display_name":"Consistency (knowledge bases)","score":0.7053489685058594},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5166216492652893},{"id":"https://openalex.org/keywords/position","display_name":"Position (finance)","score":0.45256829261779785},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.45237645506858826},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.44732049107551575},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.44395047426223755},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.43742334842681885},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.4271409511566162},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4067761301994324},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3736186623573303},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36264073848724365},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18289867043495178},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.16049078106880188},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.0976262092590332}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7053489685058594},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5166216492652893},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.45256829261779785},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.45237645506858826},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.44732049107551575},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.44395047426223755},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.43742334842681885},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.4271409511566162},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4067761301994324},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3736186623573303},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36264073848724365},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18289867043495178},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.16049078106880188},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0976262092590332},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2307/2275269","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275269","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:doi:10.1184/r1/6491936","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal contribution"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183744453","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183744453","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1008748165","https://openalex.org/W1522998756","https://openalex.org/W1531560762","https://openalex.org/W1984002375","https://openalex.org/W1987517441","https://openalex.org/W2005337919","https://openalex.org/W2009003556","https://openalex.org/W2031855072","https://openalex.org/W2034024391","https://openalex.org/W2038447110","https://openalex.org/W2056480729","https://openalex.org/W2075471377","https://openalex.org/W2106260240","https://openalex.org/W2118085624","https://openalex.org/W2335350341","https://openalex.org/W4232166111","https://openalex.org/W4234802835","https://openalex.org/W4241840281","https://openalex.org/W4241903158","https://openalex.org/W4247726461","https://openalex.org/W6665807049"],"related_works":["https://openalex.org/W238609530","https://openalex.org/W4241523039","https://openalex.org/W2360028903","https://openalex.org/W4280543773","https://openalex.org/W178231042","https://openalex.org/W2366083136","https://openalex.org/W2387622493","https://openalex.org/W2734192830","https://openalex.org/W1932132538","https://openalex.org/W2357832196"],"abstract_inverted_index":{"Abstract":[0],"In":[1,47,196],"the":[2,20,35,53,61,75,84,112,124,152,168,192,200,218,239,242,246,256],"first":[3],"part":[4],"of":[5,12,22,34,60,70,77,103,114,126,151,170,176,241,248,255,258,285,292],"this":[6,183],"paper":[7,49],"we":[8,207],"discuss":[9],"some":[10,254],"aspects":[11],"Detlefsen's":[13,137],"attempt":[14],"to":[15,73,99,157,198],"save":[16],"Hilbert's":[17],"Program":[18],"from":[19],"consequences":[21],"G\u00f6del's":[23],"Second":[24],"Incompleteness":[25],"Theorem.":[26],"His":[27],"arguments":[28],"are":[29,215],"based":[30,244],"on":[31,41,245],"his":[32,48],"interpretation":[33],"long":[36],"standing":[37],"and":[38,211,280],"well-known":[39],"controversy":[40],"what,":[42],"exactly,":[43],"finitistic":[44,132,286],"means":[45,69],"are.":[46],"[1]":[50],"Detlefsen":[51],"takes":[52],"position":[54],"that":[55,89,123,136,147,182,229,263,271],"there":[56],"is":[57,65,95,139],"a":[58,66,101,148,158,172,204,227],"form":[59],"\u03c9":[62,106,250],"-rule":[63],"which":[64,214],"finitistically":[67],"valid":[68],"proof,":[71],"sufficient":[72],"prove":[74],"consistency":[76,125,210],"elementary":[78],"number":[79],"theory":[80],"Z":[81,90,116,119,127],".":[82],"On":[83],"other":[85],"hand,":[86],"he":[87,154],"claims":[88],"with":[91,202,238,288],"its":[92],"first-order":[93],"logic":[94],"not":[96,121],"strong":[97],"enough":[98],"allow":[100],"formalization":[102],"such":[104,171,203,259],"an":[105],"-rule.":[107,251],"This":[108],"would":[109],"explain":[110,267],"why":[111,268],"unprovability":[113],"Con(":[115],")":[117],"in":[118,144,174,191],"does":[120],"imply":[122],"cannot":[128],"be":[129],"proved":[130],"by":[131],"means.":[133],"We":[134,166,179,221,252],"show":[135,181],"proposal":[138],"unacceptable":[140],"as":[141],"originally":[142],"formulated":[143],"[1],":[145],"but":[146,235],"reasonable":[149],"modification":[150],"rule":[153],"suggest":[155],"leads":[156],"partial":[159,184,269],"program":[160,173,185,243],"already":[161],"studied":[162,190],"for":[163],"many":[164],"years.":[165],"investigate":[167,199,223],"scope":[169],"terms":[175],"proof-theoretic":[177],"reducibilities.":[178],"also":[180],"encompasses":[186],"mathematically":[187],"important":[188],"theories":[189],"\u201cReverse":[193],"Mathematics\u201d":[194],"program.":[195],"order":[197],"provability":[201,212],"modified":[205],"rule,":[206],"define":[208],"new":[209],"predicates":[213],"weaker":[216],"than":[217],"usual":[219],"ones.":[220],"then":[222],"their":[224],"properties,":[225],"including":[226],"few":[228],"have":[230,272],"no":[231],"apparent":[232],"philosophical":[233],"significance":[234],"compare":[236],"interestingly":[237],"properties":[240],"iteration":[247],"our":[249],"determine":[253],"limitations":[257,265],"programs,":[260],"pointing":[261],"out":[262,276],"these":[264],"partly":[266],"programs":[270],"been":[273],"successfully":[274],"carried":[275],"use":[277],"quite":[278],"different":[279],"substantially":[281],"more":[282,289],"radical":[283],"extensions":[284],"methods":[287],"general":[290],"forms":[291],"restricted":[293],"reasoning.":[294]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}