{"id":"https://openalex.org/W2028114523","doi":"https://doi.org/10.4204/eptcs.81.1","title":"A Logical Framework for Set Theories","display_name":"A Logical Framework for Set Theories","publication_year":2012,"publication_date":"2012-03-24","ids":{"openalex":"https://openalex.org/W2028114523","doi":"https://doi.org/10.4204/eptcs.81.1","mag":"2028114523"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.81.1","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.81.1","pdf_url":"https://arxiv.org/pdf/1203.6157","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1203.6157","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071426595","display_name":"Arnon Avron","orcid":"https://orcid.org/0000-0001-6831-3343"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Arnon Avron","raw_affiliation_strings":["Tel-Aviv University"],"affiliations":[{"raw_affiliation_string":"Tel-Aviv University","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5071426595"],"corresponding_institution_ids":["https://openalex.org/I16391192"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09684211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"81","issue":null,"first_page":"3","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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.9990000128746033,"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.994700014591217,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7765153646469116},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.741635262966156},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6576215028762817},{"id":"https://openalex.org/keywords/axiomatic-system","display_name":"Axiomatic system","score":0.6331285238265991},{"id":"https://openalex.org/keywords/universal-set","display_name":"Universal set","score":0.5343866348266602},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4861828684806824},{"id":"https://openalex.org/keywords/foundations-of-mathematics","display_name":"Foundations of mathematics","score":0.47851741313934326},{"id":"https://openalex.org/keywords/theory","display_name":"Theory","score":0.4626646041870117},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4599207639694214},{"id":"https://openalex.org/keywords/mathematical-practice","display_name":"Mathematical practice","score":0.4573679566383362},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.43064674735069275},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.430003821849823},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4259708523750305},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.40199658274650574},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.34499770402908325},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1516229212284088}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7765153646469116},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.741635262966156},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6576215028762817},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.6331285238265991},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.5343866348266602},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4861828684806824},{"id":"https://openalex.org/C183140480","wikidata":"https://www.wikidata.org/wiki/Q833585","display_name":"Foundations of mathematics","level":2,"score":0.47851741313934326},{"id":"https://openalex.org/C144701195","wikidata":"https://www.wikidata.org/wiki/Q10859910","display_name":"Theory","level":2,"score":0.4626646041870117},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4599207639694214},{"id":"https://openalex.org/C2780506305","wikidata":"https://www.wikidata.org/wiki/Q3909934","display_name":"Mathematical practice","level":2,"score":0.4573679566383362},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.43064674735069275},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.430003821849823},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4259708523750305},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40199658274650574},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.34499770402908325},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1516229212284088},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4204/eptcs.81.1","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.81.1","pdf_url":"https://arxiv.org/pdf/1203.6157","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1203.6157","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1203.6157","pdf_url":"https://arxiv.org/pdf/1203.6157","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:084ef5516d8a4261b480d06fd9c5598b","is_oa":true,"landing_page_url":"https://doaj.org/article/084ef5516d8a4261b480d06fd9c5598b","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 81, Iss Proc. LSFA 2011, Pp 3-15 (2012)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.4204/eptcs.81.1","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.81.1","pdf_url":"https://arxiv.org/pdf/1203.6157","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2028114523.pdf","grobid_xml":"https://content.openalex.org/works/W2028114523.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W15499555","https://openalex.org/W67269200","https://openalex.org/W1008748165","https://openalex.org/W1487202929","https://openalex.org/W1558832481","https://openalex.org/W1781706428","https://openalex.org/W1978413491","https://openalex.org/W2122092051","https://openalex.org/W2129133014","https://openalex.org/W2139824158","https://openalex.org/W2142694326","https://openalex.org/W2158593143","https://openalex.org/W2162621793","https://openalex.org/W2164475467","https://openalex.org/W2598099807","https://openalex.org/W2977904728","https://openalex.org/W4206031975","https://openalex.org/W4213010599","https://openalex.org/W4238620211","https://openalex.org/W4247372698","https://openalex.org/W4248056908","https://openalex.org/W4254994720","https://openalex.org/W4301024087","https://openalex.org/W6680498803"],"related_works":["https://openalex.org/W1662289889","https://openalex.org/W3163325493","https://openalex.org/W2514743260","https://openalex.org/W1979388173","https://openalex.org/W4294682798","https://openalex.org/W2148077585","https://openalex.org/W2149199794","https://openalex.org/W1533359299","https://openalex.org/W2478958158","https://openalex.org/W2028114523"],"abstract_inverted_index":{"Axiomatic":[0],"set":[1,64,71,91,98,108],"theory":[2,10,65,72,99],"is":[3,32,51],"almost":[4],"universally":[5],"accepted":[6],"as":[7],"the":[8,13,20,33,60,105],"basic":[9],"which":[11,19],"provides":[12,111],"foundations":[14],"of":[15,22,63,89,93,107,115],"mathematics,":[16],"and":[17,74],"in":[18,42],"whole":[21],"present":[23,82],"day":[24],"mathematics":[25],"can":[26],"be":[27,45],"developed.":[28],"As":[29],"such,":[30],"it":[31,50],"most":[34],"natural":[35],"framework":[36,86],"for":[37,47,87],"Mathematical":[38],"Knowledge":[39],"Management.":[40],"However,":[41],"order":[43],"to":[44,53,100],"used":[46],"this":[48,79],"task":[49],"necessary":[52],"overcome":[54],"serious":[55],"gaps":[56],"that":[57],"exist":[58],"between":[59],"\"official\"":[61],"formulations":[62],"(as":[66],"given":[67],"e.g.":[68],"by":[69],"formal":[70],"ZF)":[73],"actual":[75],"mathematical":[76],"practice.":[77],"In":[78],"work":[80],"we":[81],"a":[83,112],"new":[84],"unified":[85],"formalizations":[88],"axiomatic":[90],"theories":[92],"different":[94],"strength,":[95],"from":[96],"rudimentary":[97],"full":[101],"ZF.":[102],"It":[103],"allows":[104],"use":[106],"terms,":[109],"but":[110],"static":[113],"check":[114],"their":[116],"validity.":[117]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}