{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:03Z","timestamp":1706650803748},"reference-count":10,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1999,4,1]]},"DOI":"10.1305\/ndjfl\/1038949534","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:29:31Z","timestamp":1046204971000},"source":"Crossref","is-referenced-by-count":0,"title":["The 3-Stratifiable Theorems of $\\mathit{NFU} \\infty$"],"prefix":"10.1215","volume":"40","author":[{"given":"Marcel","family":"Crabb\u00e9","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Boffa, M., \u201cThe consistency problem for \\NF,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 42 (1977), pp. 215\u201320. Zbl 0377.02040 MR 58:21604","DOI":"10.2307\/2272122"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Crabb\u00e9, M., \u201cAmbiguity and stratification,\u201d <i>Fundamenta Mathematic\u00e6<\/i>, vol. 101 (1978), pp. 11\u201317. Zbl 0404.03041 MR 80h:03073","DOI":"10.4064\/fm-101-1-11-17"},{"key":"3","unstructured":"Crabb\u00e9, M., \u201cOn \\NFU,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 33 (1992), pp. 112\u201319. Zbl 0766.03031 MR 93m:03090"},{"key":"4","unstructured":"Dzierzgowski, D., \u201c\u00c9quivalence \u00e9l\u00e9mentaire de structures stratifi\u00e9es,\u201d <i>Cahiers du Centre de Logique<\/i>, vol. 6 (1986), pp. 47\u201362."},{"key":"5","doi-asserted-by":"crossref","unstructured":"Forster, T., <i>Set Theory with a Universal Set, Exploring an Untyped Universe<\/i>, 2d edition, Oxford Logic Guides, Clarendon Press, Oxford, 1995. Zbl 0831.03027 MR 96i:03048","DOI":"10.1093\/oso\/9780198514770.001.0001"},{"key":"6","unstructured":"Grishin, V. N., \u201cThe method of stratification in set theory,\u201d in Russian, Ph.D. thesis, Moscow University, 1972."},{"key":"7","unstructured":"Holmes, M. R., <i>Elementary Set Theory with a Universal Set<\/i>, (Cahiers du Centre de Logique, vol. 10), Academia-Bruylant, Louvain-la-Neuve, 1998. Zbl 0959.03001 MR 2001c:03089"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Jensen, R. B., \u201cOn the consistency of a slight (?) modification of $\\NF$,\u201d <i>Synthese<\/i>, vol.19 (1968\u201369), pp. 250\u201363. Zbl 0202.01001","DOI":"10.1007\/BF00568059"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Specker, E., \u201cThe axiom of choice in Quine's `New foundations for mathematical logic',\u201d <i>Proceedings of the National Academy of Science of the United States of America<\/i>, vol. 39 (1953), pp. 972\u201375. Zbl 0051.03705 MR 15:493b","DOI":"10.1073\/pnas.39.9.972"},{"key":"10","unstructured":"Specker, E., \u201cTypical ambiguity,\u201d pp. 116\u201324 in <i>Logic, Methodology and the Philosophy of Science<\/i>, edited by E. Nagel, P. Suppes, and A. Tarski, Stanford University Press, Stanford, 1962. Zbl 0156.02101 MR 28:1129"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1038949534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:45Z","timestamp":1706649225000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-40\/issue-2\/The-3-Stratifiable-Theorems-of-mathitNFU-infty\/10.1305\/ndjfl\/1038949534.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4,1]]},"references-count":10,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1999,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1038949534","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1999,4,1]]}}}