{"id":"https://openalex.org/W7163348988","doi":"https://doi.org/10.1093/jigpal/jzag034","title":"Developing continuity theory in a formal predicative set theory","display_name":"Developing continuity theory in a formal predicative set theory","publication_year":2026,"publication_date":"2026-04-18","ids":{"openalex":"https://openalex.org/W7163348988","doi":"https://doi.org/10.1093/jigpal/jzag034"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzag034","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzag034","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1093/jigpal/jzag034","any_repository_has_fulltext":false},"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":["School of Computer Science , Tel Aviv University, Tel Aviv, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science , Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023513206","display_name":"Nissan Levi","orcid":null},"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":false,"raw_author_name":"Nissan Levi","raw_affiliation_strings":["School of Computer Science , Tel Aviv University, Tel Aviv, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science , Tel Aviv University, Tel Aviv, Israel","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":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":{"value":4151,"currency":"USD","value_usd":4151},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.69586294,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.32739999890327454,"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.32739999890327454,"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/T10126","display_name":"Logic, programming, and type systems","score":0.22859999537467957,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.09860000014305115,"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/predicative-expression","display_name":"Predicative expression","score":0.847000002861023},{"id":"https://openalex.org/keywords/dedekind-cut","display_name":"Dedekind cut","score":0.6226999759674072},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.5309000015258789},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.5090000033378601},{"id":"https://openalex.org/keywords/natural","display_name":"Natural (archaeology)","score":0.45969998836517334},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4415999948978424},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.4269999861717224},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4138999879360199},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.40950000286102295},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.40070000290870667}],"concepts":[{"id":"https://openalex.org/C129131279","wikidata":"https://www.wikidata.org/wiki/Q1931259","display_name":"Predicative expression","level":2,"score":0.847000002861023},{"id":"https://openalex.org/C76449584","wikidata":"https://www.wikidata.org/wiki/Q851333","display_name":"Dedekind cut","level":2,"score":0.6226999759674072},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.557699978351593},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5309000015258789},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.5090000033378601},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.45969998836517334},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4415999948978424},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.4269999861717224},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4138999879360199},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40950000286102295},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.40070000290870667},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.3986000120639801},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.39590001106262207},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37959998846054077},{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.37369999289512634},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.3666999936103821},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.326200008392334},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.3172999918460846},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3167000114917755},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3151000142097473},{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.304500013589859},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29580000042915344},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C48659774","wikidata":"https://www.wikidata.org/wiki/Q4907197","display_name":"Bijection, injection and surjection","level":3,"score":0.2874000072479248},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.28619998693466187},{"id":"https://openalex.org/C78550038","wikidata":"https://www.wikidata.org/wiki/Q1896657","display_name":"Urelement","level":5,"score":0.2809999883174896},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2782000005245209},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C144701195","wikidata":"https://www.wikidata.org/wiki/Q10859910","display_name":"Theory","level":2,"score":0.27399998903274536},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2728999853134155},{"id":"https://openalex.org/C166374712","wikidata":"https://www.wikidata.org/wiki/Q209555","display_name":"Tautology (logic)","level":5,"score":0.27079999446868896},{"id":"https://openalex.org/C556429856","wikidata":"https://www.wikidata.org/wiki/Q5164501","display_name":"Constructive set theory","level":5,"score":0.2554999887943268}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzag034","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzag034","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1093/jigpal/jzag034","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzag034","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W67269200","https://openalex.org/W597057215","https://openalex.org/W1491173026","https://openalex.org/W2041273376","https://openalex.org/W2077459418","https://openalex.org/W2081002360","https://openalex.org/W2114374802","https://openalex.org/W2129133014","https://openalex.org/W2158593143","https://openalex.org/W2164475467","https://openalex.org/W2496840272","https://openalex.org/W2611803175","https://openalex.org/W2951418864","https://openalex.org/W2963870399","https://openalex.org/W3034697230","https://openalex.org/W3204195821","https://openalex.org/W4213010599","https://openalex.org/W4229519526","https://openalex.org/W4229690001","https://openalex.org/W4237609772","https://openalex.org/W4248432170","https://openalex.org/W4249355983","https://openalex.org/W4388156054","https://openalex.org/W4391033920"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"We":[1],"present":[2],"correct":[3],"and":[4,24,99],"natural":[5,110],"development":[6,90],"of":[7,27,75,87,91],"continuity":[8],"theory":[9,14],"in":[10,56,65,93],"a":[11,22,81],"predicative":[12],"set":[13],"called":[15],"${\\textsf{PZF}^{\\textsf{U}}}$.":[16],"This":[17,78],"is":[18,38,51,54,63,69],"done":[19],"by":[20,71],"using":[21],"delicate":[23],"careful":[25],"choice":[26],"those":[28],"Dedekind":[29],"cuts":[30],"that":[31,52,59,62],"are":[32,108],"taken":[33],"as":[34],"real":[35],"numbers.":[36],"${\\textsf{PZF}^{\\textsf{U}}}$":[37,94],"based":[39],"on":[40,45],"ancestral":[41],"logic":[42],"rather":[43],"than":[44],"first-order":[46],"logic.":[47],"Its":[48],"key":[49],"feature":[50],"it":[53,66,102],"definitional":[55],"the":[57,76,100,105,109],"sense":[58],"every":[60],"object":[61],"shown":[64],"to":[67],"exist":[68],"defined":[70],"some":[72],"closed":[73],"term":[74],"theory.":[77],"allows":[79],"for":[80,104],"very":[82],"concrete,":[83],"computationally":[84],"oriented":[85],"model":[86],"it.":[88],"The":[89],"analysis":[92],"does":[95],"not":[96],"involve":[97],"coding,":[98],"definitions":[101],"provides":[103],"basic":[106],"notions":[107],"ones.":[111]},"counts_by_year":[],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2026-06-04T00:00:00"}