{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T23:40:09Z","timestamp":1719704409234},"reference-count":49,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T00:00:00Z","timestamp":1513814400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2018,3]]},"abstract":"<jats:p><jats:italic>To the memory of Prof. Grigori Mints, Stanford University<\/jats:italic><jats:disp-quote><jats:p><jats:italic>Born: June 7, 1939, St. Petersburg, Russia<\/jats:italic><\/jats:p><jats:p><jats:italic>Died: May 29, 2014, Palo Alto, California<\/jats:italic><\/jats:p><\/jats:disp-quote><\/jats:p>","DOI":"10.1017\/s1755020317000168","type":"journal-article","created":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T09:30:01Z","timestamp":1513848601000},"page":"21-47","source":"Crossref","is-referenced-by-count":0,"title":["CAN MODALITIES SAVE NAIVE SET THEORY?"],"prefix":"10.1017","volume":"11","author":[{"given":"PETER","family":"FRITZ","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HARVEY","family":"LEDERMAN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TIANKAI","family":"LIU","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DANA","family":"SCOTT","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2017,12,21]]},"reference":[{"key":"S1755020317000168_ref40","doi-asserted-by":"publisher","DOI":"10.2307\/2271012"},{"key":"S1755020317000168_ref6","first-page":"875","volume-title":"Handbook of the History of Logic, Volume 5: Logic from Russell to Church","author":"Cantini","year":"2009"},{"key":"S1755020317000168_ref48","doi-asserted-by":"publisher","DOI":"10.1111\/1475-4975.00040"},{"key":"S1755020317000168_ref1","first-page":"67","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"Aczel","year":"1980"},{"key":"S1755020317000168_ref47","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199552078.001.0001"},{"key":"S1755020317000168_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3598-8_5"},{"key":"S1755020317000168_ref37","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000014"},{"key":"S1755020317000168_ref41","unstructured":"Scott D . (2010). A Boolean-Valued Modal Set Theory. Unpublished Oxford Lectures. Available at: www.homepages.inf.ed.ac.uk\/als\/ScottInScotland\/ScottLect3.pdf."},{"key":"S1755020317000168_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90032-W"},{"key":"S1755020317000168_ref28","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200410045"},{"key":"S1755020317000168_ref39","doi-asserted-by":"publisher","DOI":"10.1111\/0029-4624.35.s15.4"},{"key":"S1755020317000168_ref22","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/s10992-015-9388-0","article-title":"Higher-order contingentism, part 1: Closure and generation","volume":"45","author":"Fritz","year":"2016","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020317000168_ref17","doi-asserted-by":"publisher","DOI":"10.2307\/2271248"},{"key":"S1755020317000168_ref10","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1215\/00294527-2017-0010","article-title":"Prospects for a naive theory of classes","volume":"58","author":"Field","year":"2017","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1755020317000168_ref15","doi-asserted-by":"publisher","DOI":"10.2307\/2271340"},{"key":"S1755020317000168_ref19","doi-asserted-by":"publisher","DOI":"10.2307\/2270516"},{"key":"S1755020317000168_ref35","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1755020317000168_ref16","first-page":"701","article-title":"A consistent modal set theory (Abstract)","volume":"31","author":"Fitch","year":"1966","journal-title":"The Journal of Symbolic Logic"},{"key":"S1755020317000168_ref44","volume-title":"Set Theory and the Continuum Problem","author":"Smullyan","year":"1996"},{"key":"S1755020317000168_ref36","doi-asserted-by":"publisher","DOI":"10.5840\/jphil2010107311"},{"key":"S1755020317000168_ref2","doi-asserted-by":"publisher","DOI":"10.1215\/00318108-2895327"},{"key":"S1755020317000168_ref3","volume-title":"Stanford Encyclopedia of Philosophy","author":"Balaguer","year":"2008"},{"key":"S1755020317000168_ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2274663"},{"key":"S1755020317000168_ref5","volume-title":"The Logic of Provability","author":"Boolos","year":"1995"},{"key":"S1755020317000168_ref32","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19870330511"},{"key":"S1755020317000168_ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2274093"},{"key":"S1755020317000168_ref8","volume-title":"Science Without Numbers","author":"Field","year":"1980"},{"key":"S1755020317000168_ref11","first-page":"277","article-title":"Model theory for modal logic \u2013 Part II. The elimination of de re modality","volume":"7","author":"Fine","year":"1978","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020317000168_ref12","doi-asserted-by":"publisher","DOI":"10.2307\/2215323"},{"key":"S1755020317000168_ref13","doi-asserted-by":"publisher","DOI":"10.2307\/2269291"},{"key":"S1755020317000168_ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2267330"},{"key":"S1755020317000168_ref18","doi-asserted-by":"publisher","DOI":"10.5840\/monist196751116"},{"key":"S1755020317000168_ref21","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198514770.001.0001","volume-title":"Set Theory with a Universal Set","author":"Forster","year":"1995"},{"key":"S1755020317000168_ref23","volume-title":"Intensional and Higher-Order Modal Logic","author":"Gallin","year":"1975"},{"key":"S1755020317000168_ref24","unstructured":"Gilmore P. C . (1967). The consistency of a positive set theory. Technical Report RC-1754, IBM Research Report."},{"key":"S1755020317000168_ref26","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1052669062"},{"key":"S1755020317000168_ref27","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-07-04297-3"},{"key":"S1755020317000168_ref29","volume-title":"Mathematics Without Numbers: Towards a Modal-Structural Interpretation","author":"Hellman","year":"1989"},{"key":"S1755020317000168_ref30","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644"},{"key":"S1755020317000168_ref9","volume-title":"Realism, Mathematics and Modality","author":"Field","year":"1989"},{"key":"S1755020317000168_ref34","doi-asserted-by":"publisher","DOI":"10.2307\/2964568"},{"key":"S1755020317000168_ref31","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093634660"},{"key":"S1755020317000168_ref33","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19880340206"},{"key":"S1755020317000168_ref38","first-page":"298","volume-title":"Mathematics in Philosophy","author":"Parsons","year":"1983"},{"key":"S1755020317000168_ref42","doi-asserted-by":"publisher","DOI":"10.2307\/2266683"},{"key":"S1755020317000168_ref43","volume-title":"Intensional Mathematics","author":"Shapiro","year":"1985"},{"key":"S1755020317000168_ref45","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757006"},{"key":"S1755020317000168_ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-012-9245-3"},{"key":"S1755020317000168_ref49","volume-title":"Intensional Logic and the Metaphysics of Intentionality","author":"Zalta","year":"1988"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020317000168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T23:24:11Z","timestamp":1719703451000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020317000168\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,21]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["S1755020317000168"],"URL":"https:\/\/doi.org\/10.1017\/s1755020317000168","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,21]]}}}