{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T18:49:12Z","timestamp":1649011752971},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T00:00:00Z","timestamp":1489708800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s00153-017-0527-x","type":"journal-article","created":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T20:22:03Z","timestamp":1489782123000},"page":"397-402","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The countable existentially closed pseudocomplemented semilattice"],"prefix":"10.1007","volume":"56","author":[{"given":"Jo\u00ebl","family":"Adler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,17]]},"reference":[{"key":"527_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-014-0297-9","author":"J Adler","year":"2014","unstructured":"Adler, J.: The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable. Algebra Univers (2014). doi: 10.1007\/s00012-014-0297-9","journal-title":"Algebra Univers"},{"key":"527_CR2","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1215\/S0012-7094-70-03768-3","volume":"38","author":"R Balbes","year":"1970","unstructured":"Balbes, R., Horn, A.: Stone lattices. Duke Math. J. 38, 537\u2013545 (1970)","journal-title":"Duke Math. J."},{"issue":"1","key":"527_CR3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.2307\/2274092","volume":"49","author":"S Burris","year":"1984","unstructured":"Burris, S.: Model companions for finitely generated universal Horn classes. J. Symb. Log. 49(1), 68\u201374 (1984)","journal-title":"J. Symb. Log."},{"key":"527_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1090\/S0002-9947-1979-0522263-8","volume":"48","author":"S Burris","year":"1979","unstructured":"Burris, S., Werner, H.: Sheaf constructions and their elementary properties. Trans. Am. Math. Soc. 48, 269\u2013309 (1979)","journal-title":"Trans. Am. Math. Soc."},{"key":"527_CR5","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1215\/S0012-7094-62-02951-4","volume":"37","author":"O Frink","year":"1962","unstructured":"Frink, O.: Pseudo-complements in semilattices. Duke Math. J. 37, 505\u2013514 (1962)","journal-title":"Duke Math. J."},{"key":"527_CR6","unstructured":"Jones, G.: Pseudocomplemented semilattices. PhD Thesis, UCLA (1972)"},{"key":"527_CR7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0049-237X(08)71100-5","volume-title":"Handbook of Mathematical Logic","author":"A Macintyre","year":"1977","unstructured":"Macintyre, A.: Model completeness. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 139\u2013180. North-Holland, Amsterdam (1977)"},{"key":"527_CR8","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/BF01194889","volume":"45","author":"J Schmid","year":"1985","unstructured":"Schmid, J.: Algebraically closed p-semilattices. Arch. Math. 45, 501\u2013510 (1985)","journal-title":"Arch. Math."},{"key":"527_CR9","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF02757007","volume":"25","author":"W Wheeler","year":"1976","unstructured":"Wheeler, W.: Model-companions and definability in existentially complete structures. Isr. J. Math. 25, 305\u2013330 (1976)","journal-title":"Isr. J. Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0527-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0527-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0527-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T12:53:01Z","timestamp":1498395181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0527-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,17]]},"references-count":9,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["527"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0527-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,17]]}}}