{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T05:53:06Z","timestamp":1733982786543,"version":"3.30.2"},"reference-count":10,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1994,7,1]]},"DOI":"10.1305\/ndjfl\/1040511348","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:41:39Z","timestamp":1046209299000},"source":"Crossref","is-referenced-by-count":0,"title":["$\\Sigma^1_1$-Completeness of a Fragment of the Theory of Trees with Subtree Relation"],"prefix":"10.1215","volume":"35","author":[{"given":"P.","family":"Cintioli","sequence":"first","affiliation":[]},{"given":"S.","family":"Tulipani","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"McCarthy, J., <i>Representation of Recursive Programs in First Order Logic<\/i>, Computer Science Department, Stanford University, Stanford, 1977."},{"key":"2","doi-asserted-by":"crossref","unstructured":"Maher, J., \u201cComplete axiomatizations of the algebras of finite, infinite and rational trees,\u201d pp. 348\u2013357 in <i>Proceedings of the Third Annual Symposium on Logic in Computer Science<\/i>, IEE Computer Society, New York, 1988.","DOI":"10.1109\/LICS.1988.5132"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Marongiu, G., and S. Tulipani, \u201cQuantifier elimination for infinite terms,\u201d <i>Archives of Mathematical Logic<\/i>, vol. 31 (1991), pp. 1\u201317. Zbl 0723.03016 MR 92i:03029","DOI":"10.1007\/BF01370691"},{"key":"4","unstructured":"Marongiu, G., and S. Tulipani, <i>Decidability results for term algebras<\/i>, AILA Preprint, 1991."},{"key":"5","unstructured":"Marongiu, G., and S. Tulipani, \u201cUndecidable fragments of term algebras with subterm relation,\u201d <i>Fundamenta Informaticae<\/i>, vol. 19 (1993), pp. 371\u2013382. Zbl 0788.03011 MR 95f:68145"},{"key":"6","unstructured":"Odifreddi, P., <i>Classical Recursion Theory<\/i>, North-Holland, Amsterdam, 1989. Zbl 0661.03029 MR 90d:03072"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Rabin, M., \u201cDecidable Theories,\u201d pp. 596\u2013629 in <i>Handbook of Mathematical Logic<\/i>, edited by J. Barwise, North-Holland, Amsterdam, 1977.","DOI":"10.1016\/S0049-237X(08)71116-9"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Treinen R., \u201cA New Method for Undecidability Proofs of First Order Theories,\u201d <i>Journal of Symbolic Computation<\/i>, vol. 14 (1992), pp. 437\u2013457. Zbl 0769.03026 MR 93m:03077","DOI":"10.1016\/0747-7171(92)90016-W"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Tulipani, S., \u201cDecidability of the Existential Theory of Infinite Terms with Subterm Relation,\u201d <i>Information and Computation<\/i>, vol. 108 (1994), pp. 1\u201333. Zbl 0801.68115 MR 94k:03012","DOI":"10.1006\/inco.1994.1001"},{"key":"10","unstructured":"Venkataraman, K., \u201cDecidability of the purely existential fragment of the theory of term algebras,\u201d <i>Journal of the Association for Computing Machinery<\/i>, vol. 34 (1987), pp. 410\u2013471. MR 88g:68042"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040511348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T21:50:32Z","timestamp":1733953832000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-35\/issue-3\/Sigma1_1-Completeness-of-a-Fragment-of-the-Theory-of-Trees\/10.1305\/ndjfl\/1040511348.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7,1]]},"references-count":10,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1994,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040511348","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[1994,7,1]]}}}