{"id":"https://openalex.org/W2550976738","doi":"https://doi.org/10.1017/s1755020317000168","title":"CAN MODALITIES SAVE NAIVE SET THEORY?","display_name":"CAN MODALITIES SAVE NAIVE SET THEORY?","publication_year":2017,"publication_date":"2017-12-21","ids":{"openalex":"https://openalex.org/W2550976738","doi":"https://doi.org/10.1017/s1755020317000168","mag":"2550976738"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020317000168","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020317000168","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D48F6E7F5EDB1CBA21C8195D9A78B894/S1755020317000168a.pdf/div-class-title-can-modalities-save-naive-set-theory-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D48F6E7F5EDB1CBA21C8195D9A78B894/S1755020317000168a.pdf/div-class-title-can-modalities-save-naive-set-theory-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087189509","display_name":"P. Fritz","orcid":"https://orcid.org/0000-0001-5785-4013"},"institutions":[{"id":"https://openalex.org/I12337491","display_name":"University Graduate Center","ror":"https://ror.org/01svqjv39","country_code":"NO","type":"education","lineage":["https://openalex.org/I12337491"]},{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"PETER FRITZ","raw_affiliation_strings":["IFIKK, University of Oslo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IFIKK, University of Oslo","institution_ids":["https://openalex.org/I12337491","https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030561669","display_name":"Harvey Lederman","orcid":"https://orcid.org/0000-0001-9438-097X"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"HARVEY LEDERMAN","raw_affiliation_strings":["Department of Philosophy, Princeton University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Princeton University","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064960948","display_name":"Tiankai Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"TIANKAI LIU","raw_affiliation_strings":["Department of Mathematics, University of Utah"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109213996","display_name":"Dana Scott","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"DANA SCOTT","raw_affiliation_strings":["Visiting Scholar, University of California, Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Visiting Scholar, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5030561669","https://openalex.org/A5064960948","https://openalex.org/A5087189509","https://openalex.org/A5109213996"],"corresponding_institution_ids":["https://openalex.org/I12337491","https://openalex.org/I184942183","https://openalex.org/I20089843","https://openalex.org/I223532165","https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00579977,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":"1","first_page":"21","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9968000054359436,"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.9968000054359436,"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.9940999746322632,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9925000071525574,"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/modalities","display_name":"Modalities","score":0.7267645001411438},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.561333179473877},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4915703237056732},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19773656129837036},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.09618455171585083},{"id":"https://openalex.org/keywords/social-science","display_name":"Social science","score":0.04019954800605774}],"concepts":[{"id":"https://openalex.org/C2779903281","wikidata":"https://www.wikidata.org/wiki/Q6888026","display_name":"Modalities","level":2,"score":0.7267645001411438},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.561333179473877},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4915703237056732},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19773656129837036},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.09618455171585083},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.04019954800605774}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1017/s1755020317000168","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020317000168","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D48F6E7F5EDB1CBA21C8195D9A78B894/S1755020317000168a.pdf/div-class-title-can-modalities-save-naive-set-theory-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:researchbank.acu.edu.au:ftp_pub-3455","is_oa":false,"landing_page_url":"https://researchbank.acu.edu.au/ftp_pub/2455","pdf_url":null,"source":{"id":"https://openalex.org/S4306401783","display_name":"Research Bank (Australian Catholic University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I86695891","host_organization_name":"Australian Catholic University","host_organization_lineage":["https://openalex.org/I86695891"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Faculty of Theology and Philosophy Publications","raw_type":"text"},{"id":"pmh:oai:philarchive.org/rec/FRICMS","is_oa":false,"landing_page_url":"https://philarchive.org/rec/FRICMS","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/FRICMS","is_oa":false,"landing_page_url":"https://philpapers.org/rec/FRICMS","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:www.duo.uio.no:10852/59857","is_oa":true,"landing_page_url":"http://hdl.handle.net/10852/59857","pdf_url":null,"source":{"id":"https://openalex.org/S4306401716","display_name":"Duo Research Archive (University of Oslo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184942183","host_organization_name":"University of Oslo","host_organization_lineage":["https://openalex.org/I184942183"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"1755-0203","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1017/s1755020317000168","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020317000168","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D48F6E7F5EDB1CBA21C8195D9A78B894/S1755020317000168a.pdf/div-class-title-can-modalities-save-naive-set-theory-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.47999998927116394,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2550976738.pdf","grobid_xml":"https://content.openalex.org/works/W2550976738.grobid-xml"},"referenced_works_count":58,"referenced_works":["https://openalex.org/W4861723","https://openalex.org/W6094967","https://openalex.org/W41255196","https://openalex.org/W46517763","https://openalex.org/W88769070","https://openalex.org/W981129589","https://openalex.org/W1507376847","https://openalex.org/W1526348167","https://openalex.org/W1596067335","https://openalex.org/W1597932465","https://openalex.org/W1990861117","https://openalex.org/W1998008882","https://openalex.org/W2006111919","https://openalex.org/W2017459484","https://openalex.org/W2018916188","https://openalex.org/W2031548494","https://openalex.org/W2032281556","https://openalex.org/W2034512143","https://openalex.org/W2035401029","https://openalex.org/W2040274967","https://openalex.org/W2052836860","https://openalex.org/W2053638844","https://openalex.org/W2059933820","https://openalex.org/W2069506349","https://openalex.org/W2072305330","https://openalex.org/W2077162222","https://openalex.org/W2088102652","https://openalex.org/W2092977348","https://openalex.org/W2093805757","https://openalex.org/W2114727877","https://openalex.org/W2138398824","https://openalex.org/W2139174576","https://openalex.org/W2142679550","https://openalex.org/W2143185518","https://openalex.org/W2155581733","https://openalex.org/W2158873941","https://openalex.org/W2163751633","https://openalex.org/W2164441012","https://openalex.org/W2166833596","https://openalex.org/W2169065977","https://openalex.org/W2191267443","https://openalex.org/W2203703519","https://openalex.org/W2271927995","https://openalex.org/W2318828983","https://openalex.org/W2326198203","https://openalex.org/W2334198509","https://openalex.org/W2334566405","https://openalex.org/W2577602670","https://openalex.org/W2583232828","https://openalex.org/W2622292730","https://openalex.org/W2743117888","https://openalex.org/W2790913555","https://openalex.org/W3208273633","https://openalex.org/W4234514070","https://openalex.org/W4247797067","https://openalex.org/W4300703889","https://openalex.org/W4388295869","https://openalex.org/W6674138151"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2185469136","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4306353150","https://openalex.org/W2376932109","https://openalex.org/W8219677","https://openalex.org/W2001405890","https://openalex.org/W2168054807","https://openalex.org/W2058990474"],"abstract_inverted_index":{"To":[0],"the":[1],"memory":[2],"of":[3],"Prof.":[4],"Grigori":[5],"Mints,":[6],"Stanford":[7],"University":[8],"Born:":[9],"June":[10],"7,":[11],"1939,":[12],"St.":[13],"Petersburg,":[14],"Russia":[15],"Died:":[16],"May":[17],"29,":[18],"2014,":[19],"Palo":[20],"Alto,":[21],"California":[22]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}