{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:34Z","timestamp":1706649034869},"reference-count":8,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,1,1]]},"DOI":"10.1215\/00294527-2008-026","type":"journal-article","created":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T14:26:27Z","timestamp":1232375187000},"source":"Crossref","is-referenced-by-count":1,"title":["Generalized Halfspaces in the Mixed-Integer Realm"],"prefix":"10.1215","volume":"50","author":[{"given":"Philip","family":"Scowcroft","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"2","unstructured":"[2] Dantzig, G. B., <i>Linear Programming and Extensions<\/i>, corrected edition, Princeton Landmarks in Mathematics. Princeton University Press, Princeton, 1998."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Miller, C., \"Expansions of dense linear orders with the intermediate value property\", <i>The Journal of Symbolic Logic<\/i>, vol. 66 (2001), pp. 1783--90.","DOI":"10.2307\/2694974"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Scowcroft, P., \"Nonnegative solvability of linear equations in certain ordered rings\", <i>Transactions of the American Mathematical Society<\/i>, vol. 358 (2006), pp. 3535--70.","DOI":"10.1090\/S0002-9947-06-03978-X"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Scowcroft, P., \"Generalized halfspaces in dimension groups\", <i>Annals of Pure and Applied Logic<\/i>, vol. 154 (2008), pp. 8--26.","DOI":"10.1016\/j.apal.2007.10.009"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Smory\u0144ski, C., <i>Logical Number Theory. I. An Introduction<\/i>, Universitext. Springer-Verlag, Berlin, 1991.","DOI":"10.1007\/978-3-642-75462-3"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Weispfenning, V., \"Mixed real-integer linear quantifier elimination\", pp. 129--36 in <i>Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC<\/i>), ACM, New York, 1999.","DOI":"10.1145\/309831.309888"},{"key":"1","unstructured":"[1] Aschenbrenner, M., \"Simple proof of a mixed real-integer Farkas lemma\", preprint."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Scowcroft, P., \"Nonnegative solvability of linear equations in ordered Abelian groups\", pp. 273--313 in <i>Model Theory with Applications to Algebra and Analysis, Vol. 2<\/i>, edited by Z. Chatzidakis, D. Macpherson, A. Pillay, and A. Wilkie, vol. 350 of <i>LMS Lecture Note Series<\/i>, Cambridge University Press, Cambridge, 2008.","DOI":"10.1017\/CBO9780511735219.010"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2008-026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:13Z","timestamp":1706648233000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-1\/Generalized-Halfspaces-in-the-Mixed-Integer-Realm\/10.1215\/00294527-2008-026.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":8,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2009,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2008-026","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}