{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T03:48:33Z","timestamp":1648784913829},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"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":[[1991,3]]},"DOI":"10.1007\/bf00370392","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T18:49:35Z","timestamp":1099421375000},"page":"143-148","source":"Crossref","is-referenced-by-count":0,"title":["The Lindenbaum fixed point algebra is undecidable"],"prefix":"10.1007","volume":"50","author":[{"given":"V. Yu.","family":"Shavrukov","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"?. ?. ?????, ???????? ???????????? ? ?????????????? ??????, ?????, ??????, 1980."},{"key":"CR2","unstructured":"?. ?. ?????, ?. ?. ??????, ?. ?. ???????? and M. ?. ???????, ???????????? ??????, ?????? ?????????????? ???? 20 (1965), No. 4, pp. 37?108."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1002\/malq.19840303205","volume":"30","author":"F. Montagna","year":"1984","unstructured":"F. Montagna, A completeness result for fixed-point algebras, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 30 (1984), pp. 525?532.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1090\/S0273-0979-1982-15002-9","volume":"6","author":"C. Smor\ufffdnski","year":"1982","unstructured":"C. Smor\ufffdnski, Fixed point algebras, Bulletin (New Series) of the American Mathematical Society 6 (1982), pp. 317?356.","journal-title":"Bulletin (New Series) of the American Mathematical Society"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00403334","volume":"41","author":"C. Smory?ski","year":"1982","unstructured":"C. Smory?ski, The finite inseparability of the first-order theory of diagonnalisable algebras, Studia Logica 41 (1982), pp. 347?349.","journal-title":"Studia Logica"},{"key":"CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-Reference and Modal Logic","author":"C. Smory?ski","year":"1985","unstructured":"C. Smory?ski, Self-Reference and Modal Logic, Springer-Verlag, Berlin, 1985."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1090\/pspum\/042\/791072","volume-title":"Recursion Theory","author":"R. M. Solovay","year":"1985","unstructured":"R. M. Solovay, Infinite fixed-point algebras, in: A. Nerode and R. A. Shore eds., Recursion Theory, Proceedings of Symposia in Pure Mathematics, vol. 42, AMS, Providence, 1985, pp. 473?486."},{"key":"CR8","unstructured":"?. ?. ???????, ??????????? ????????????? ????????? ???????????? ???????? ? ????????? ??????? ???????????? ?????? ???????????? ?????? ????????, ??????? ? ?????? 1 (1962), No. 3, pp. 24?38."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370392.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370392\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:44:08Z","timestamp":1554759848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370392"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF00370392"],"URL":"https:\/\/doi.org\/10.1007\/bf00370392","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}