{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,3]],"date-time":"2023-09-03T06:44:16Z","timestamp":1693723456065},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1989,6]]},"DOI":"10.1007\/bf02770510","type":"journal-article","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T00:03:42Z","timestamp":1196640222000},"page":"169-177","source":"Crossref","is-referenced-by-count":1,"title":["First order logic with empty structures"],"prefix":"10.1007","volume":"48","author":[{"given":"Mohamed A.","family":"Amer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02770510_CR1","first-page":"166","volume":"38","author":"A. Churh","year":"1973","unstructured":"A. Churh, Review of [7] (see below),Journal of Symbolic Logic, vol. 38 (1973), pp. 166\u20139.","journal-title":"Journal of Symbolic Logic"},{"key":"BF02770510_CR2","unstructured":"R. Goldblatt,Topoi, Studies in logic, vol. 98, North-Holland, 1979."},{"key":"BF02770510_CR3","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2267402","volume":"18","author":"T. Hailperin","year":"1953","unstructured":"T. Hailperin,Quantification theory and empty individual-domains,Journal of Symbolic Logic, vol. 18 (1953), pp. 197\u2013200.","journal-title":"Journal of Symbolic Logic"},{"key":"BF02770510_CR4","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L. Henkin","year":"1949","unstructured":"L. Henkin The completeness of the first-order functional calculus,Journal of Symbolic Logic, vol. 14 (1949), pp. 159\u2013166.","journal-title":"Journal of Symbolic Logic"},{"key":"BF02770510_CR5","unstructured":"H. Herrlich andG. E. Strecker,Category Theory, allyn and Bacon, 1973."},{"key":"BF02770510_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.2307\/2266682","volume":"16","author":"A. Mostowski","year":"1951","unstructured":"A. Mostowski,On the rules of proof in the pure functional calculus of the first order,Journal of Symbolic Logic, vol. 16 (1951), pp. 107\u2013111.","journal-title":"Journal of Symbolic Logic"},{"key":"BF02770510_CR7","doi-asserted-by":"crossref","first-page":"177","DOI":"10.2307\/2268615","volume":"19","author":"W. V. O. Quine","year":"1954","unstructured":"W. V. O. Quine,Quantification and the empty domain,Journal of Symbolic Logic, vol. 19 (1954), pp. 177\u2013179.","journal-title":"Journal of Symbolic Logic"},{"key":"BF02770510_CR8","unstructured":"W. V. O. Quine,Mathematical Logic, Revised ed., Harvard Univ. Press, 1961."},{"key":"BF02770510_CR9","unstructured":"D. Scott,Existence and description in formal logic, inBertrand Russell: Philospher of the Century, ed. by R. Schoenman, George Allen & Unwin Ltd., 1967, pp. 181\u2013200."},{"key":"BF02770510_CR10","unstructured":"J. R. Shoenfield,Mathematical Logic, Addison-Wesley, 1967."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02770510.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02770510\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02770510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T22:02:32Z","timestamp":1558389752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02770510"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF02770510"],"URL":"https:\/\/doi.org\/10.1007\/bf02770510","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}