{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:14:35Z","timestamp":1776888875787,"version":"3.51.2"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,8,20]],"date-time":"2022-08-20T00:00:00Z","timestamp":1660953600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,8,20]],"date-time":"2022-08-20T00:00:00Z","timestamp":1660953600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s11787-022-00310-y","type":"journal-article","created":{"date-parts":[[2022,8,20]],"date-time":"2022-08-20T06:02:40Z","timestamp":1660975360000},"page":"451-468","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Modern Rigorous Approach to Stratification in NF\/NFU"],"prefix":"10.1007","volume":"16","author":[{"given":"Tin","family":"Adle\u0161i\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vedran","family":"\u010ca\u010di\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,20]]},"reference":[{"key":"310_CR1","unstructured":"Beeson, M.: The Church numbers in NF set theory (2021). arXiv:2108.09270"},{"key":"310_CR2","unstructured":"Beeson, M.: Intuitionistic NF Set Theory (2021). arXiv:2104.00506"},{"key":"310_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198514770.001.0001","volume-title":"Set Theory with a Universal Set: Exploring an Untyped Universe","author":"TE Forster","year":"1995","unstructured":"Forster, T.E.: Set Theory with a Universal Set: Exploring an Untyped Universe. Oxford University Press, Oxford (1995)"},{"key":"310_CR4","unstructured":"Forster, T.E.: A tutorial on constructive NF. In: Proceedings of the 70th Anniversary NF Meeting in Cambridge, vol. 16 (2009)"},{"key":"310_CR5","first-page":"1897","volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic","author":"G Frege","year":"2002","unstructured":"Frege, G.: Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In: van Heijenoort, J. (ed.) From Frege to G\u00f6del: A Source Book in Mathematical Logic, pp. 1897\u20131931. Harvard University Press, Cambridge (2002)"},{"key":"310_CR6","unstructured":"Holmes, M.R.: A new pass at the NF consistency proof (2020). https:\/\/randall-holmes.github.io\/Nfproof\/newattempt.pdf"},{"key":"310_CR7","unstructured":"Holmes, M.R.: Elementary set theory with a universal set (1998). http:\/\/www.logic-center.be\/cahiers\/Copies\/CCL10.pdf"},{"key":"310_CR8","unstructured":"Holmes, M.R.: Proof, Sets, and Logic, pp. 85\u201386. Boise State University (2009). http:\/\/math.boisestate.edu\/~holmes\/indstudy\/proofsetslogic.pdf"},{"key":"310_CR9","volume-title":"Words and Objections: Essays on the Work of W. V. Quine","author":"RB Jensen","year":"1969","unstructured":"Jensen, R.B.: On the consistency of a slight (?) modification of Quine\u2019s new foundations. In: Hintikka, J. (ed.) Words and Objections: Essays on the Work of W. V. Quine. Springer, Berlin (1969)"},{"key":"310_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0115-1","volume-title":"Handbook of Logic and Proof Techniques for Computer Science","author":"SG Krantz","year":"2002","unstructured":"Krantz, S.G.: Handbook of Logic and Proof Techniques for Computer Science. Springer, Berlin (2002)"},{"key":"310_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/9781316591321","volume-title":"Quine, New Foundations, and the Philosophy of Set Theory","author":"S Morris","year":"2018","unstructured":"Morris, S.: Quine, New Foundations, and the Philosophy of Set Theory. Cambridge University Press, Cambridge (2018)"},{"issue":"2","key":"310_CR12","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1080\/00029890.1937.11987928","volume":"44","author":"WV Quine","year":"1937","unstructured":"Quine, W.V.: New foundations for mathematical logic. Am. Math. Mon. 44(2), 70\u201380 (1937)","journal-title":"Am. Math. Mon."},{"key":"310_CR13","volume-title":"Logic for Mathematicians","author":"JB Rosser","year":"2008","unstructured":"Rosser, J.B.: Logic for Mathematicians. Dover Publications, Mineola (2008)"},{"key":"310_CR14","unstructured":"Russell, B., Whitehead, A.N.: Principia Mathematica (1910, 1912, 1913)"},{"key":"310_CR15","doi-asserted-by":"publisher","first-page":"972","DOI":"10.1073\/pnas.39.9.972","volume":"39","author":"EP Specker","year":"1953","unstructured":"Specker, E.P.: The axiom of choice in Quine\u2019s new foundations for mathematical logic. Proc. Natl. Acad. Sci. U.S.A. 39, 972\u2013975 (1953)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00310-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00310-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00310-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,25]],"date-time":"2023-11-25T18:51:30Z","timestamp":1700938290000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00310-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,20]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["310"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00310-y","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.f609vp","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8,20]]},"assertion":[{"value":"18 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 July 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 August 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}