{"id":"https://openalex.org/W2051050595","doi":"https://doi.org/10.2307/2272820","title":"A type-free G\u00f6del interpretation","display_name":"A type-free G\u00f6del interpretation","publication_year":1978,"publication_date":"1978-06-01","ids":{"openalex":"https://openalex.org/W2051050595","doi":"https://doi.org/10.2307/2272820","mag":"2051050595"},"language":"en","primary_location":{"id":"doi:10.2307/2272820","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272820","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/A5034098863","display_name":"Michael Beeson","orcid":"https://orcid.org/0000-0001-9259-1220"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Beeson","raw_affiliation_strings":["Stanford University, Stanford, CA 94305","Stanford University, Stanford, Ca. 94305"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA 94305","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Stanford University, Stanford, Ca. 94305","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5034098863"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":0.528,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.64893123,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"43","issue":"2","first_page":"213","last_page":"227"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9801999926567078,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9801999926567078,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9413999915122986,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9375,"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/interpretation","display_name":"Interpretation (philosophy)","score":0.8559970855712891},{"id":"https://openalex.org/keywords/realizability","display_name":"Realizability","score":0.5742663145065308},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5696200132369995},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5538948178291321},{"id":"https://openalex.org/keywords/meaning","display_name":"Meaning (existential)","score":0.45726072788238525},{"id":"https://openalex.org/keywords/semantic-interpretation","display_name":"Semantic interpretation","score":0.4492449164390564},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4384728670120239},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38797426223754883},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.32922765612602234},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.31610965728759766},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.31178179383277893},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14505645632743835}],"concepts":[{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.8559970855712891},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.5742663145065308},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5696200132369995},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5538948178291321},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.45726072788238525},{"id":"https://openalex.org/C193125573","wikidata":"https://www.wikidata.org/wiki/Q7449065","display_name":"Semantic interpretation","level":2,"score":0.4492449164390564},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4384728670120239},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38797426223754883},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.32922765612602234},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.31610965728759766},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.31178179383277893},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14505645632743835},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2272820","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272820","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:oai:CULeuclid:euclid.jsl/1183740198","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183740198","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":[{"score":0.5400000214576721,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1608607427","https://openalex.org/W2031991367","https://openalex.org/W2085283339","https://openalex.org/W2169772316"],"related_works":["https://openalex.org/W1603488308","https://openalex.org/W4298120007","https://openalex.org/W2136737082","https://openalex.org/W2321910655","https://openalex.org/W3173554384","https://openalex.org/W1517224694","https://openalex.org/W1857750633","https://openalex.org/W2051968535","https://openalex.org/W2603623739","https://openalex.org/W3034934889"],"abstract_inverted_index":{"In":[0,49,140],"1930,":[1],"A.":[2],"Heyting":[3],"first":[4],"specified":[5],"a":[6,33,90,118,192],"formal":[7],"system":[8],"for":[9,42,228],"part":[10],"of":[11,26,35,57,62,73,93,97,128,160,165,185,194,200,210],"intuitionistic":[12],"mathematics.":[13,162],"Although":[14],"his":[15],"rules":[16,45],"were":[17],"presumably":[18],"motivated":[19],"by":[20,122,222],"the":[21,27,31,44,54,59,95,101,108,126,138,141,155,179,201,208,217],"\u201cintended":[22],"interpretation\u201d":[23],"or":[24,78],"meaning":[25],"logical":[28],"symbols,":[29],"over":[30],"years":[32],"number":[34,193],"other":[36],"possible":[37],"interpretations":[38,131,182],"have":[39,147,168],"been":[40,148,169],"discovered":[41],"which":[43,98,106],"are":[46],"also":[47],"valid.":[48],"particular,":[50],"one":[51,113],"might":[52],"mention":[53],"realizablity":[55],"interpretation":[56,61,83,120,206],"Kleene,":[58],"(Dialectica)":[60],"G\u00f6del,":[63],"and":[64,136,157,172,190,241],"various":[65,180],"semantic":[66],"interpretations,":[67],"such":[68,82],"as":[69,87],"Kripke":[70],"models.":[71],"(Each":[72],"these":[74,186],"has":[75,177],"several":[76,184],"variants":[77],"close":[79],"relatives.)":[80],"Each":[81],"can":[84],"be":[85],"regarded":[86],"defining":[88],"precisely":[89,129],"certain":[91,234],"\u201cnotion":[92],"constructivity\u201d,":[94],"study":[96,127],"may":[99,132],"illuminate":[100],"still":[102],"rather":[103],"vague":[104],"notions":[105],"underlie":[107],"intended":[109],"interpretation;":[110],"or,":[111],"if":[112],"doubts":[114],"that":[115],"there":[116],"is":[117,204],"single":[119],"\u201cintended\u201d":[121],"all":[123],"constructivist":[124],"mathematicians,":[125],"defined":[130],"help":[133],"to":[134,153,183,216,232],"delineate":[135],"distinguish":[137],"possibilities.":[139],"last":[142],"few":[143],"years,":[144],"Heyting's":[145],"systems":[146,167,187,219],"vastly":[149],"extended,":[150],"in":[151,207],"order":[152],"encompass":[154],"large":[156],"growing":[158],"body":[159],"constructive":[161],"Several":[163],"kinds":[164],"new":[166,218],"put":[170,220],"forward":[171,221],"studied.":[173],"The":[174,197,225],"present":[175,202],"author":[176],"extended":[178],"realizability":[181],"[B1],":[188],"[B2]":[189],"drawn":[191],"interesting":[195],"applications.":[196],"mathematical":[198],"content":[199],"paper":[203],"an":[205],"style":[209],"Godel's":[211],"Dialectica":[212],"interpretation,":[213],"but":[214],"applicable":[215],"Feferman":[223],"[Fl].":[224],"original":[226],"motivation":[227],"this":[229],"work":[230],"was":[231],"obtain":[233],"metamathematical":[235],"applications:":[236],"roughly":[237],"speaking,":[238],"Markov's":[239],"rule":[240],"its":[242],"variants.":[243]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}