{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T11:41:55Z","timestamp":1710502915561},"reference-count":5,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2008,1,1]]},"DOI":"10.1215\/00294527-2007-003","type":"journal-article","created":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T10:44:17Z","timestamp":1616237057000},"source":"Crossref","is-referenced-by-count":2,"title":["Decidability of \u2203*\u2200\u2200-sentences in HF"],"prefix":"10.1215","volume":"49","author":[{"given":"D.","family":"Bell\u00e8","sequence":"first","affiliation":[]},{"given":"F.","family":"Parlamento","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Friedman, H. M., \"Three-quantifier sentences\", <i>Fundamenta Mathematicae<\/i>, vol. 177 (2003), pp. 213--40.","DOI":"10.4064\/fm177-3-3"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] L\u00e9vy, A., <i>Basic Set Theory<\/i>, Springer-Verlag, Berlin, 1979.","DOI":"10.1007\/978-3-662-02308-2"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Parlamento, F., and A. Policriti, ``Note on: `The logically simplest form of the infinity axiom','' (Proceedings of the American Mathematical Society, vol. 103 (1988), pp. 274--76), <i>Proceedings of the American Mathematical Society<\/i>, vol. 108 (1990), pp. 285--86.","DOI":"10.2307\/2047726"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Tarski, A., \"Sur les ensembles finis\", <i>Fundamenta Mathematicae<\/i>, vol. 6 (1924), pp. 45--95.","DOI":"10.4064\/fm-6-1-45-95"},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Bell\u00e9, D., and F. Parlamento, \"Truth in $\\bf V$\" for $\\exists\\sp *\\forall\\forall$-sentences is decidable, <i>The Journal of Symbolic Logic<\/i>, vol. 71 (2006), pp. 1200--1222.","DOI":"10.2178\/jsl\/1164060452"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2007-003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:03Z","timestamp":1706648223000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-49\/issue-1\/Decidability-of--sentences-in-HF\/10.1215\/00294527-2007-003.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,1]]},"references-count":5,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2008,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2007-003","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2008,1,1]]}}}