{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:54Z","timestamp":1725457014336},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540557458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0031923","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:11:55Z","timestamp":1134281515000},"page":"56-62","source":"Crossref","is-referenced-by-count":0,"title":["Testclasses and closed world assumptions for non-horn theories"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Gehne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Model Theory","author":"C. C. Chang","year":"1973","unstructured":"C. C. Chang and H. J. Keisler. Model Theory. North Holland, Amsterdam, 1973."},{"key":"4_CR2","volume-title":"On testclasses for universal theories","author":"B. I. Dahn","year":"1989","unstructured":"B. I. Dahn. On testclasses for universal theories. In B.I.Dahn and H.Wolter, ededitors, Proc. 7th Easter Conference on Model Theory, Seminarber. Humboldt-Univ. Berlin, Berlin, 1989."},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02764656","volume":"12","author":"E. Fisher","year":"1972","unstructured":"E. Fisher and A. Robinson. Inductive theories and their forcing companions. Israel J. Math., 12:95\u2013107, 1972.","journal-title":"Israel J. Math."},{"key":"4_CR4","unstructured":"J. Gehne. On topological spaces of ideals. 1989. 25 pages. Preprint."},{"key":"4_CR5","unstructured":"J. Gehne. Irreducibility of theories. 1990. 16 pages. Submitted to Arch. Math. Logic."},{"key":"4_CR6","volume-title":"Lattice Theory","author":"G. Gr\u00e4tzer","year":"1971","unstructured":"G. Gr\u00e4tzer. Lattice Theory. Freeman, San Francisco, 1971."},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0743-1066(90)90024-Y","volume":"8","author":"G. J\u00e4ger","year":"1990","unstructured":"G. J\u00e4ger. Annotations on the consistency of the closed world assumption. J. Logic Programming, 8:229\u2013247, 1990.","journal-title":"J. Logic Programming"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.4064\/fm-89-2-155-171","volume":"89","author":"D. W. Kueker","year":"1975","unstructured":"D. W. Kueker. Core structures for theories. Fund. Math., 89:155\u2013171, 1975.","journal-title":"Fund. Math."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"J. Minker. On indefinite databases and the closed world assumption. In D. W. Loveland, editor, Proc. 6th Int. Conf. on Automated Deduction, SLNCS 138, 1982.","DOI":"10.1007\/BFb0000066"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"C. Pinter. A note on the decomposition of theories w.r.t. amalgamation, convexity and related properties. Notre Dame J., 19, 1978.","DOI":"10.1305\/ndjfl\/1093888212"},{"key":"4_CR11","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. On closed world data bases. In H. Gallier and J. Minker, editors, Logic and Data Bases, Plenum Press, New York, 1978."},{"key":"4_CR12","volume-title":"On the Metamathematics of Algebra","author":"A. Robinson","year":"1951","unstructured":"A. Robinson. On the Metamathematics of Algebra. North Holland, Amsterdam, 1951."},{"key":"4_CR13","volume-title":"Introduction to Model Theory and to the Metamathematics of Algebra","author":"A. Robinson","year":"1963","unstructured":"A. Robinson. Introduction to Model Theory and to the Metamathematics of Algebra. North Holland, Amsterdam, 1963."},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0049-237X(08)70851-6","volume":"63","author":"A. Robinson","year":"1971","unstructured":"A. Robinson. Infinite forcing in model theory. In Proceedings of the Second Scandinavian Logic Symposium, pages 317\u2013340, Studies in Logic and the Foundations of Mathematics vol.63, 1971.","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"H. Volger. Model theory of deductive databases. In CSL'87, SLNCS 293, 1988.","DOI":"10.1007\/3-540-50241-6_47"}],"container-title":["Lecture Notes in Computer Science","Nonclassical Logics and Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0031923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:45:45Z","timestamp":1586612745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031923"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540557458"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0031923","relation":{},"subject":[]}}