{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T03:46:13Z","timestamp":1775619973194,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1990,12,1]],"date-time":"1990-12-01T00:00:00Z","timestamp":660009600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1990,12]]},"DOI":"10.1007\/bf01651325","type":"journal-article","created":{"date-parts":[[2005,5,7]],"date-time":"2005-05-07T17:32:39Z","timestamp":1115487159000},"page":"213-229","source":"Crossref","is-referenced-by-count":2,"title":["Some coinductive graphs"],"prefix":"10.1007","volume":"29","author":[{"given":"A. H.","family":"Lachlan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1305\/ndjfl\/1093870870","volume":"26","author":"J.T. Baldwin","year":"1985","unstructured":"Baldwin, J.T., Shelah, S.: Second-order quantifiers and the complexity of theories. Notre Dame J. Formal Logic26, 229\u2013303 (1985)","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1017\/S0022481200029054","volume":"53","author":"I.M. Hodkinson","year":"1988","unstructured":"Hodkinson, I.M., Macpherson, H.D.: Relational structures induced by their finite induced substructures. J. Symb. Logic53, 222\u2013230 (1988)","journal-title":"J. Symb. Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"698","DOI":"10.1017\/S0022481200029704","volume":"52","author":"A.H. Lachlan","year":"1987","unstructured":"Lachlan, A.H.: Complete theories with only universal and existential axioms. J. Symb. Logic52, 698\u2013711 (1987)","journal-title":"J. Symb. Logic"},{"key":"CR4","unstructured":"Lachlan, A.H.: Complete coinductive theories. I. Transact. Am. Math. Soc. (to appear)"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Lachlan, A.H.: Complete coinductive theories. II. Transact. Am. Math. Soc. (to appear)","DOI":"10.1090\/S0002-9947-1991-1014253-1"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/0095-8956(86)90046-8","volume":"41","author":"H.D. Macpherson","year":"1986","unstructured":"Macpherson, H.D.: Graphs determined by their finite induced subgraphs. J. Comb. Theory, Ser. B41, 230\u2013234 (1986)","journal-title":"J. Comb. Theory, Ser. B"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Schmerl, J.: Coinductive \u21350-categorical theories. J. Symb. Logic (to appear)","DOI":"10.2307\/2274478"},{"key":"CR8","volume-title":"Classification theory and the number of nonisomorphic models","author":"S. Shelah","year":"1978","unstructured":"Shelah, S.: Classification theory and the number of nonisomorphic models. North-Holland: Amsterdam, 1978"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01651325.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01651325\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01651325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T19:05:29Z","timestamp":1557255929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01651325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,12]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,12]]}},"alternative-id":["BF01651325"],"URL":"https:\/\/doi.org\/10.1007\/bf01651325","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,12]]}}}