{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:32Z","timestamp":1706649032094},"reference-count":12,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2008,7,1]]},"DOI":"10.1215\/00294527-2008-012","type":"journal-article","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T20:57:24Z","timestamp":1216241844000},"source":"Crossref","is-referenced-by-count":3,"title":["Quantifier Elimination for a Class of Intuitionistic Theories"],"prefix":"10.1215","volume":"49","author":[{"given":"Ben","family":"Ellison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Fleischmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"McGinn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wim","family":"Ruitenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Bagheri, S. M., \"Categoricity and quantifier elimination for intuitionistic theories\", pp. 23--41 in <i>Logic in Tehran<\/i>, vol. 26 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, 2006.","DOI":"10.1201\/9781439865873-2"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Bankston, P., and W. Ruitenburg, \"Notions of relative ubiquity for invariant sets of relational structures\", <i>The Journal of Symbolic Logic<\/i>, vol. 55 (1990), pp. 948--86.","DOI":"10.2307\/2274467"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Burris, S., \"The model completion of the class of $\\mathcalL$-structures\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 33 (1987), pp. 313--14.","DOI":"10.1002\/malq.19870330405"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Burris, S., and H. Werner, \"Sheaf constructions and their elementary properties\", <i>Transactions of the American Mathematical Society<\/i>, vol. 248 (1979), pp. 269--309.","DOI":"10.2307\/1998970"},{"key":"5","unstructured":"[5] van Dalen, D., <i>Logic and Structure<\/i>, 4th edition, Universitext. Springer, New York, 2004."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Gaifman, H., \"Concerning measures in first order calculi\", <i>Israel Journal of Mathematics<\/i>, vol. 2 (1964), pp. 1--18.","DOI":"10.1007\/BF02759729"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Lynch, J. F., \"Almost sure theories\", <i>Annals of Mathematical Logic<\/i>, vol. 18 (1980), pp. 91--135.","DOI":"10.1016\/0003-4843(80)90014-5"},{"key":"10","unstructured":"[10] Ruitenburg, W., \"Very intuitionistic theories and quantifier elimination\", <i>The Review of Modern Logic<\/i>, vol. 10 (2004\/05), pp. 99--112."},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Smory\u0144ski, C., \"Elementary intuitionistic theories\", <i>The Journal of Symbolic Logic<\/i>, vol. 38 (1973), pp. 102--34.","DOI":"10.2307\/2271732"},{"key":"12","unstructured":"[12] Troelstra, A. S., and D. van Dalen, <i>Constructivism in Mathematics. An Introduction. Vol. 1<\/i>, vol. 121 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1988."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Henson, C. W., \"Countable homogeneous relational structures and $\\aleph \\sb0$\"-categorical theories, <i>The Journal of Symbolic Logic<\/i>, vol. 37 (1972), pp. 494--500.","DOI":"10.2307\/2272734"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Ellison, B., J. Fleischmann, D. McGinn, and W. Ruitenburg, \"Kripke submodels and universal sentences\", <i>Mathematical Logic Quarterly<\/i>, vol. 53 (2007), pp. 311--20.","DOI":"10.1002\/malq.200610048"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2008-012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:08Z","timestamp":1706648228000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-49\/issue-3\/Quantifier-Elimination-for-a-Class-of-Intuitionistic-Theories\/10.1215\/00294527-2008-012.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,1]]},"references-count":12,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2008,7,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2008-012","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2008,7,1]]}}}