{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T19:21:50Z","timestamp":1759778510142},"reference-count":9,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2014,1,1]]},"DOI":"10.1215\/00294527-2377851","type":"journal-article","created":{"date-parts":[[2014,1,20]],"date-time":"2014-01-20T19:34:00Z","timestamp":1390246440000},"source":"Crossref","is-referenced-by-count":1,"title":["The Axiom Scheme of Acyclic Comprehension"],"prefix":"10.1215","volume":"55","author":[{"given":"Zuhair","family":"Al-Johar","sequence":"first","affiliation":[]},{"given":"M. Randall","family":"Holmes","sequence":"additional","affiliation":[]},{"given":"Nathan","family":"Bowler","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"5","unstructured":"[5] Holmes, M. R., <i>Elementary Set Theory with a Universal Set<\/i>, vol. 10 of <i>Cahiers du Centre de logique<\/i>, Universit\u00e9 Catholique de Louvain, D\u00e9partement de Philosophie, Louvain-la-Neuve, Belgium, 1998; by permission of the publishers, a version correcting various errata is found at <a href=\"http:\/\/math.boisestate.edu\/~holmes\/holmes\/head.ps\">http:\/\/math.boisestate.edu\/~holmes\/holmes\/head.ps<\/a>."},{"key":"1","unstructured":"[1] Al-Johar, Z., and M. R. Holmes, \u201cAcyclic comprehension is equal to stratified comprehension,\u201d preprint, 2011."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Crabb\u00e9, M., \u201cOn NFU,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 33 (1992), pp. 112\u201319.","DOI":"10.1305\/ndjfl\/1093636013"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Crabb\u00e9, M., \u201cThe Hauptsatz for stratified comprehension: A semantic proof,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 40 (1994), pp. 481\u201389.","DOI":"10.1002\/malq.19940400406"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Hailperin, T., \u201cA set of axioms for logic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 9 (1944), pp. 1\u201319.","DOI":"10.2307\/2267307"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Jensen, R. B., \u201cOn the consistency of a slight(?) modification of Quine\u2019s NF,\u201d <i>Synthese<\/i>, vol. 19 (1968), pp. 250\u201363.","DOI":"10.1007\/BF00568059"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Quine, W. V., \u201cNew Foundations for mathematical logic,\u201d <i>American Mathematical Monthly<\/i>, vol. 44 (1937), pp. 70\u201380.","DOI":"10.1080\/00029890.1937.11987928"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Tarski, A., and S. Givant, <i>A Formalization of Set Theory without Variables<\/i>, vol. 41 of <i>American Mathematical Society Colloquium Publications<\/i>, American Mathematical Society, Providence, 1987.","DOI":"10.1090\/coll\/041"},{"key":"9","unstructured":"[9] Wiener, N., \u201cA simplification of the logic of relations,\u201d pp. 224\u201327 in <i>From Frege to G\u00f6del: A Sourcebook in Mathematical Logic, 1879\u20131931<\/i>, edited by J. van Heijenoort, Harvard University Press, Cambridge, Mass., 1967."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2377851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:13Z","timestamp":1706648293000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-55\/issue-1\/The-Axiom-Scheme-of-Acyclic-Comprehension\/10.1215\/00294527-2377851.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,1]]},"references-count":9,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2014,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2377851","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2014,1,1]]}}}