{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T13:59:32Z","timestamp":1722261572926},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,5,31]],"date-time":"2008-05-31T00:00:00Z","timestamp":1212192000000},"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":[[2008,7]]},"DOI":"10.1007\/s00153-008-0078-2","type":"journal-article","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T12:21:49Z","timestamp":1212150109000},"page":"111-132","source":"Crossref","is-referenced-by-count":8,"title":["A class of $${\\Sigma _{3}^{0}}$$ modular lattices embeddable as principal filters in $${\\mathcal{L}^{\\ast }(V_{\\infty })}$$"],"prefix":"10.1007","volume":"47","author":[{"given":"Rumen","family":"Dimitrov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,5,31]]},"reference":[{"key":"78_CR1","doi-asserted-by":"crossref","unstructured":"Aigner, M.: Combinatorial theory. Reprint of the 1979 original. Classics in Mathematics, viii+483\u00a0pp. Springer, Berlin (1997)","DOI":"10.1007\/978-3-642-59101-3"},{"key":"78_CR2","unstructured":"Dimitrov, R.D.: Computably Enumerable Vector Spaces, Dependence Relations, and Turing Degrees. Ph.D. Dissertation, The George Washington University (2002)"},{"key":"78_CR3","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/s00153-003-0196-9","volume":"43","author":"R.D. Dimitrov","year":"2004","unstructured":"Dimitrov R.D.: Quasimaximality and principal filters isomorphism between $${\\mathcal{E}^{\\ast }}$$ and $${\\mathcal{L}^{\\ast }(V_{\\infty})}$$ . Math. Log. 43, 415\u2013424 (2004)","journal-title":"Math. Log."},{"key":"78_CR4","unstructured":"Downey, R. G.: Undecidability of $${\\mathcal{L}(F_{\\infty})}$$ and other lattices of r.e. substructures. Ann. Pure Appl. Log. 32(1), 17\u201326 (1986); corr. ibid. 48, 299\u2013301 (1990)"},{"key":"78_CR5","doi-asserted-by":"crossref","unstructured":"Downey, R.G., Remmel, J.B.: Computable algebras and closure systems: coding properties. Handbook of Recursive Mathematics, vol. 2, pp. 977\u20131039, Stud. Logic Found. Math., vol. 139. North-Holland, Amsterdam (1998)","DOI":"10.1016\/S0049-237X(98)80048-7"},{"key":"78_CR6","unstructured":"Gr\u00e4tzer, G.: Lattice Theory. First Concepts and Distributive Lattices, W. H. Freeman and Co., San Francisco (1971)"},{"key":"78_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0003-4843(77)90015-8","volume":"11","author":"G. Metakides","year":"1977","unstructured":"Metakides G., Nerode A.: Recursively enumerable vector spaces. Ann. Math. Log. 11, 147\u2013171 (1977)","journal-title":"Ann. Math. Log."},{"key":"78_CR8","doi-asserted-by":"crossref","unstructured":"Nerode, A., Remmel, J.: A survey of lattices of r.e. substructures, Recursion Theory (Proc. AMS-ASL Summer Inst., Ithaca, NY, June 28\u2013July 16, 1982). In: Nerode, A., Shore, R.A. (eds.) Proc. Sympos. Pure Math., vol. 42, pp. 323\u2013375. Amer. Math. Soc., Providence, RT (1985)","DOI":"10.1090\/pspum\/042\/791067"},{"key":"78_CR9","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr","year":"1967","unstructured":"Rogers H. Jr: Theory of Recursive Functions and Effective Computability, 1st edn. McGraw-Hill, New York (1967)","edition":"1"},{"key":"78_CR10","doi-asserted-by":"crossref","unstructured":"Soare, R.I.: Recursively enumerable sets and degrees. A Study of Computable Functions and Computably Generated Sets. Perspect. Math. Log., Springer-Verlag, Berlin (1987)","DOI":"10.1007\/978-3-662-02460-7"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0078-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0078-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0078-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:42Z","timestamp":1558640202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0078-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,31]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["78"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0078-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,31]]}}}