{"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":1706650803717},"reference-count":8,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,7,1]]},"DOI":"10.1305\/ndjfl\/1039700745","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:00:34Z","timestamp":1046206834000},"source":"Crossref","is-referenced-by-count":1,"title":["Cumulative versus Noncumulative Ramified Types"],"prefix":"10.1215","volume":"38","author":[{"given":"Anthony F.","family":"Peressini","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":". Zbl 0383.03005 MR 56:81"},{"key":"2","unstructured":"Cocchiarella, N. B., \u201cRussell's theory of logical types and the atomistic hierarchy of sentences,\u201d pp. 41\u201362 in <i>Rereading Russell: Essays in Bertrand Russell's Metaphysics and Epistemology<\/i>, edited by C. W. Savage and C. A. Anderson, University of Minnesota, Minneapolis, 1989. MR 1006457"},{"key":"3","unstructured":"Hatcher, W. S., <i>The Logical Foundations of Mathematics<\/i>, Pergamon Press, New York, 1982. Zbl 0504.03001 MR 84g:03003"},{"key":"4","unstructured":"Hochberg, H., \u201cRussell's paradox, Russellian relations, and the problems of predication and impredicativity,\u201d pp. 63\u201387 in <i>Rereading Russell: Essays in Bertrand Russell's Metaphysics and Epistemology<\/i>, edited by C. W. Savage and C. A. Anderson, University of Minnesota, Minneapolis, 1989. MR 1006458"},{"key":"5","unstructured":"Martin, R. L., editor, <i>Recent Essays on Truth and the Liar Paradox<\/i>, Oxford University Press, New York, 1984. Zbl 0623.03001"},{"key":"6","unstructured":"Myhill, J., \u201cA refutation of an unjustified attack on the axiom of reducibility,\u201d pp. 81\u201390 in <i>Bertrand Russell Memorial Volume<\/i>, Humanities Press, New York, 1979."},{"key":"7","doi-asserted-by":"crossref","unstructured":"Russell, B., \u201cOn some difficulties in the theory of transfinite numbers and order types,\u201d <i>Proceedings of the London Mathematical Society<\/i>, 2d ser., vol. 4 (1907), pp. 29\u201353.","DOI":"10.1112\/plms\/s2-4.1.29"},{"key":"8","unstructured":"Whitehead, A. N., and B. Russell, <i>Principia Mathematica<\/i>. vols. 1\u20133, 2d edition, Cambridge University Press, Cambridge, 1925\u201327. Zbl 0877.01042 MR 24:A30"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039700745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:08Z","timestamp":1706649188000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-3\/Cumulative-versus-Noncumulative-Ramified-Types\/10.1305\/ndjfl\/1039700745.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7,1]]},"references-count":8,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1997,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039700745","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,7,1]]}}}