{"id":"https://openalex.org/W1604936433","doi":"https://doi.org/10.2307/421108","title":"Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa","display_name":"Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa","publication_year":1996,"publication_date":"1996-06-01","ids":{"openalex":"https://openalex.org/W1604936433","doi":"https://doi.org/10.2307/421108","mag":"1604936433"},"language":"en","primary_location":{"id":"doi:10.2307/421108","is_oa":false,"landing_page_url":"https://doi.org/10.2307/421108","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":"Bulletin 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/A5049894923","display_name":"Wolfram Pohlers","orcid":null},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Wolfram Pohlers","raw_affiliation_strings":["Institute for Mathematical Logic and Foundational Research, University of Munster, Germany.E-mail:","Institute for Mathematical Logic and Foundational Research, University of Munster, Germany. -mail: pohlers@math.uni-muenster.de"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Mathematical Logic and Foundational Research, University of Munster, Germany.E-mail:","institution_ids":["https://openalex.org/I22465464"]},{"raw_affiliation_string":"Institute for Mathematical Logic and Foundational Research, University of Munster, Germany. -mail: pohlers@math.uni-muenster.de","institution_ids":["https://openalex.org/I22465464"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049894923"],"corresponding_institution_ids":["https://openalex.org/I22465464"],"apc_list":null,"apc_paid":null,"fwci":1.6991,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.86254481,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"2","first_page":"159","last_page":"188"},"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.9894000291824341,"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.9894000291824341,"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.945900022983551,"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/T10142","display_name":"Formal Methods in Verification","score":0.9171000123023987,"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.7248172163963318},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.6254419088363647},{"id":"https://openalex.org/keywords/structural-proof-theory","display_name":"Structural proof theory","score":0.5479944348335266},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5104433298110962},{"id":"https://openalex.org/keywords/economic-shortage","display_name":"Economic shortage","score":0.48836562037467957},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46928322315216064},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40997055172920227},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.40994518995285034},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23023149371147156},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.10439202189445496},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.09109199047088623}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7248172163963318},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.6254419088363647},{"id":"https://openalex.org/C195653647","wikidata":"https://www.wikidata.org/wiki/Q7625047","display_name":"Structural proof theory","level":4,"score":0.5479944348335266},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5104433298110962},{"id":"https://openalex.org/C194051981","wikidata":"https://www.wikidata.org/wiki/Q1337691","display_name":"Economic shortage","level":3,"score":0.48836562037467957},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46928322315216064},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40997055172920227},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.40994518995285034},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23023149371147156},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.10439202189445496},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.09109199047088623},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C2778137410","wikidata":"https://www.wikidata.org/wiki/Q2732820","display_name":"Government (linguistics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/421108","is_oa":false,"landing_page_url":"https://doi.org/10.2307/421108","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":"Bulletin of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W40029885","https://openalex.org/W1507970960","https://openalex.org/W1514633965","https://openalex.org/W1545407410","https://openalex.org/W1550394161","https://openalex.org/W1579817075","https://openalex.org/W1763978647","https://openalex.org/W1993440975","https://openalex.org/W2015983875","https://openalex.org/W2026374478","https://openalex.org/W2029926935","https://openalex.org/W2033008594","https://openalex.org/W2055390070","https://openalex.org/W2064023341","https://openalex.org/W2081002360","https://openalex.org/W2087489880","https://openalex.org/W2115737962","https://openalex.org/W2265798747","https://openalex.org/W3038873949","https://openalex.org/W3039529476","https://openalex.org/W4236364473","https://openalex.org/W4236380022","https://openalex.org/W4293117209","https://openalex.org/W6677305977"],"related_works":["https://openalex.org/W3217765976","https://openalex.org/W1500659951","https://openalex.org/W187835144","https://openalex.org/W3186810523","https://openalex.org/W2611984052","https://openalex.org/W2804386508","https://openalex.org/W1586813864","https://openalex.org/W1490847896","https://openalex.org/W122982323","https://openalex.org/W4390542336"],"abstract_inverted_index":{"Apologies.":[0],"The":[1],"purpose":[2],"of":[3,12,16,26,64,149,156,173,183,192,240,262,272],"the":[4,13,43,56,90,113,147,171,238,249,253,260],"following":[5],"talk":[6],"is":[7,232,269],"to":[8,30,101,111,161,196,208,236],"give":[9,162],"an":[10,178,245],"overview":[11],"present":[14],"state":[15],"aims,":[17],"methods":[18],"and":[19,60,79,180,213,251],"results":[20,73,86],"in":[21,55,96,170,229],"Pure":[22,222],"Proof":[23,118,223],"Theory.":[24],"Shortage":[25],"time":[27],"forces":[28],"me":[29],"concentrate":[31,209],"on":[32,210],"my":[33],"very":[34],"personal":[35],"views.":[36],"This":[37],"entails":[38],"that":[39,51,68,95,108,137],"I":[40,46,62,80,99,159,166,186,218],"will":[41,187],"emphasize":[42],"work":[44,50,175],"which":[45,122],"know":[47,136],"best,":[48],"i.e.,":[49],"has":[52],"been":[53],"done":[54],"triangle":[57,78],"Stanford,":[58],"Munich":[59],"M\u00fcnster.":[61],"am":[63,219],"course":[65],"well":[66],"aware":[67,94],"there":[69,268],"are":[70,109,227,259],"as":[71,87,177,203],"important":[72,179],"coming":[74],"from":[75],"outside":[76],"this":[77,157,216],"apologize":[81],"for":[82,129,248],"not":[83,188],"displaying":[84],"these":[85],"well.":[88],"Moreover":[89],"audience":[91],"should":[92],"be":[93,201],"some":[97,163],"points":[98],"have":[100],"oversimplify":[102],"matters.":[103],"Those":[104],"who":[105],"complain":[106],"about":[107,221],"invited":[110],"consult":[112],"original":[114],"papers.":[115],"1.1.":[116],"General.":[117],"theory":[119,169],"startedwithHilbert's":[120],"Programme":[121],"aimed":[123],"at":[124],"a":[125,241,270],"finitistic":[126,153],"consistency":[127,148],"proof":[128,168,205],"mathematics.":[130],"By":[131],"G\u00f6del's":[132],"Theorems,":[133],"however,":[134],"we":[135,138],"can":[139],"neither":[140],"formalize":[141],"all":[142],"mathematics":[143],"nor":[144],"even":[145],"prove":[146],"formalized":[150],"fragments":[151],"by":[152],"means.":[154],"Inspite":[155],"fact":[158],"want":[160,207],"reasons":[164],"why":[165],"consider":[167],"style":[172],"Gentzen's":[174,193],"still":[176],"exciting":[181],"field":[182],"Mathematical":[184],"Logic.":[185],"go":[189],"into":[190],"applications":[191],"cut-elimination":[194],"technique":[195],"computer":[197],"science":[198],"problems\u2014this":[199],"may":[200],"considered":[202],"applied":[204],"theory\u2014but":[206],"metamathematical":[211],"problems":[212],"results.":[214],"In":[215],"sense":[217],"talking":[220],"Theory":[224],".":[225],"Mathematicians":[226],"interested":[228],"structures.":[230],"There":[231],"only":[233],"one":[234],"way":[235],"find":[237],"theorems":[239,254],"structure.":[242],"Start":[243],"with":[244],"axiom":[246,257,266],"system":[247],"structure":[250],"deduce":[252],"logically.":[255],"These":[256],"systems":[258,267],"objects":[261],"proof-theoretical":[263],"research.":[264],"Studying":[265],"series":[271],"more":[273],"or":[274],"less":[275],"obvious":[276],"questions.":[277]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}