{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T18:40:08Z","timestamp":1719168008422},"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":[[2017,1,1]]},"DOI":"10.1215\/00294527-2017-0009","type":"journal-article","created":{"date-parts":[[2017,4,21]],"date-time":"2017-04-21T08:00:49Z","timestamp":1492761649000},"source":"Crossref","is-referenced-by-count":1,"title":["Decidable Fragments of the Simple Theory of Types with Infinity and NF"],"prefix":"10.1215","volume":"58","author":[{"given":"Anuj","family":"Dawar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Forster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zachiri","family":"McKenzie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"3","unstructured":"[3] Hinnion, R., <i>Sur la th\u00e9orie des ensembles de Quine<\/i>, Ph.D. dissertation, Universit\u00e9 libre de Bruxelles, Brussels, 1975; English translation by Thomas Forster, preprint, 2009, <a href=\"http:\/\/www.logic-center.be\/Publications\/Bibliotheque\/hinnionthesis.pdf\">http:\/\/www.logic-center.be\/Publications\/Bibliotheque\/hinnionthesis.pdf<\/a>."},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Forster, T. E., \u201cTerm models for a weak set theory with a universal set,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 52 (1987), pp. 374\u201387.","DOI":"10.2307\/2274387"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Forster, T. E., <i>Set Theory with a Universal Set: Exploring an Untyped Universe<\/i>, vol. 31 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1995.","DOI":"10.1093\/oso\/9780198514770.001.0001"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Mathias, A. R. D., \u201cThe strength of Mac Lane set theory,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 110 (2001), pp. 107\u2013234.","DOI":"10.1016\/S0168-0072(00)00031-2"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Quine, W. v. O., \u201cNew foundations for mathematical logic,\u201d <i>American Mathematical Monthly<\/i>, vol. 44 (1937), pp. 70\u201380.","DOI":"10.1080\/00029890.1937.11987928"},{"key":"6","unstructured":"[6] Russell, B. A. W., and A. N. Whitehead, <i>Principia Mathematica<\/i>, Cambridge University Press, Cambridge, 1910."},{"key":"7","unstructured":"[7] Specker, E. P., \u201cThe axiom of choice in Quine\u2019s new foundations for mathematical logic,\u201d <i>Proceedings of the National Academy of Sciences, U.S.A.<\/i>, vol. 29 (1953), pp. 366\u20138."},{"key":"8","unstructured":"[8] Specker, E. P., \u201cTypical ambiguity in logic,\u201d pp. 116\u201323 in <i>Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress<\/i>, edited by P. Suppes, E. Nagel, and A. Tarski, Stanford University Press, Stanford, Calif., 1962."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2017-0009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T18:13:16Z","timestamp":1719166396000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-58\/issue-3\/Decidable-Fragments-of-the-Simple-Theory-of-Types-with-Infinity\/10.1215\/00294527-2017-0009.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":8,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2017,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2017-0009","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}