{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:19:29Z","timestamp":1648621169419},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2016,3,4]],"date-time":"2016-03-04T00:00:00Z","timestamp":1457049600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"V\u00e4is\u00e4l\u00e4 Foundation"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s00153-016-0477-8","type":"journal-article","created":{"date-parts":[[2016,3,4]],"date-time":"2016-03-04T07:54:13Z","timestamp":1457078053000},"page":"505-518","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reduction of database independence to dividing in atomless Boolean algebras"],"prefix":"10.1007","volume":"55","author":[{"given":"Tapani","family":"Hyttinen","sequence":"first","affiliation":[]},{"given":"Gianluca","family":"Paolini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,4]]},"reference":[{"key":"477_CR1","doi-asserted-by":"crossref","unstructured":"Armstrong, W.W.: Dependency structures of data base relationships. In: IFIP Congress, pp. 580\u2013583 (1974)","DOI":"10.1515\/9783110840308-026"},{"issue":"13","key":"477_CR2","doi-asserted-by":"crossref","first-page":"1534","DOI":"10.1016\/j.topol.2011.05.022","volume":"158","author":"A. Avils","year":"2011","unstructured":"Avils A., Brech C.: A Boolean algebra and a banach space obtained by push-out iteration. Topol. Appl. 158(13), 1534\u20131550 (2011)","journal-title":"Topol. Appl."},{"issue":"1","key":"477_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.apal.2007.06.003","volume":"149","author":"J.T. Baldwin","year":"2007","unstructured":"Baldwin J.T., Eklof P.C., Trlifaj J.: $${^{\\perp}N}$$ \u22a5 N as an abstract elementary class. Ann. Pure Appl. Log. 149(1), 25\u201339 (2007)","journal-title":"Ann. Pure Appl. Log."},{"issue":"2","key":"477_CR4","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1007\/s11856-012-0155-4","volume":"194","author":"I. Ben Yaacov","year":"2013","unstructured":"Ben Yaacov I.: On theories of random variables. Isr. J. Math. 194(2), 957\u20131012 (2013)","journal-title":"Isr. J. Math."},{"issue":"10","key":"477_CR5","doi-asserted-by":"crossref","first-page":"5213","DOI":"10.1090\/S0002-9947-10-04837-3","volume":"362","author":"I. Ben Yaacov","year":"2010","unstructured":"Ben Yaacov I., Usvyatsov A.: Continuous first order logic and local stability. Trans. Am. Math. Soc. 362(10), 5213\u20135259 (2010)","journal-title":"Trans. Am. Math. Soc."},{"key":"477_CR6","volume-title":"Introduction to Boolean Algebras","author":"S. Givant","year":"2009","unstructured":"Givant S., Halmos P.: Introduction to Boolean Algebras. Springer, Berlin (2009)"},{"issue":"2","key":"477_CR7","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E. Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del E., V\u00e4\u00e4n\u00e4nen J.: Dependence, independence, and incomplete information. Stud. Log. 101(2), 399\u2013410 (2013)","journal-title":"Stud. Log."},{"key":"477_CR8","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W. Hodges","year":"1997","unstructured":"Hodges W.: Compositional semantics for a logic of imperfect information. Log. J. IGPL 5, 539\u2013563 (1997)","journal-title":"Log. J. IGPL"},{"key":"477_CR9","volume-title":"Dependence Logic: Theory and Applications","author":"\u00c5. Hirvonen","year":"2016","unstructured":"Hirvonen \u00c5.: Independence in model theory. In: Abramsky, S., Kontinen, J., Vollmer, H., V\u00e4\u00e4n\u00e4nen, J. (eds.) Dependence Logic: Theory and Applications, Springer, New York (2016)"},{"key":"477_CR10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s00153-009-0120-z","volume":"48","author":"\u00c5. Hirvonen","year":"2009","unstructured":"Hirvonen \u00c5., Hyttinen T.: Categoricity in homogeneous complete metric spaces. Arch. Math. Log. 48, 269\u2013322 (2009)","journal-title":"Arch. Math. Log."},{"key":"477_CR11","unstructured":"Hirvonen, \u00c5., Hyttinen, T.: Measuring dependence in metric abstract elementary classes with perturbations (submitted)"},{"issue":"2","key":"477_CR12","doi-asserted-by":"crossref","first-page":"507","DOI":"10.5186\/aasfm.2015.4048","volume":"40","author":"T. Hyttinen","year":"2015","unstructured":"Hyttinen T., Kangas K.: On model theory of covers of algebraically closed fields. Ann. Acad. Sci. Fenn. Math. 40(2), 507\u2013533 (2015)","journal-title":"Ann. Acad. Sci. Fenn. Math."},{"key":"477_CR13","unstructured":"Hyttinen, T., Paolini, G., V\u00e4\u00e4n\u00e4nen, J.: A logic for arguing about probabilities in measure teams (submitted)"},{"key":"477_CR14","unstructured":"Hyttinen, T., Paolini, G.: Beyond abstract elementary classes: on the model theory of geometric lattices (submitted)"},{"issue":"04","key":"477_CR15","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1017\/S1755020315000192","volume":"08","author":"T. Hyttinen","year":"2015","unstructured":"Hyttinen T., Paolini G., V\u00e4\u00e4n\u00e4nen J.: Quantum team logic and Bell\u2019s inequalities. Rev. Symb. Log. 08(04), 722\u2013742 (2015)","journal-title":"Rev. Symb. Log."},{"key":"477_CR16","volume-title":"Introduction to Model Theory","author":"D. Marker","year":"2002","unstructured":"Marker D.: Introduction to Model Theory. Springer, New York (2002)"},{"key":"477_CR17","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference Morgan Kaufman, San Mateo CA (1988)","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"477_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8622-1","volume-title":"A Course in Model Theory","author":"B. Poizat","year":"2000","unstructured":"Poizat B.: A Course in Model Theory. Springer, Berlin (2000)"},{"issue":"1","key":"477_CR19","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/322290.322297","volume":"29","author":"Y. Sagiv","year":"1982","unstructured":"Sagiv Y., Walecka S.F.: Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies. J. ACM 29(1), 103\u2013117 (1982)","journal-title":"J. ACM"},{"key":"477_CR20","volume-title":"Classification Theory: and the Number of Non-isomorphic Models","author":"S. Shelah","year":"1990","unstructured":"Shelah S.: Classification Theory: and the Number of Non-isomorphic Models. Elsevier, Amsterdam (1990)"},{"key":"477_CR21","unstructured":"Studeny, M.: Conditional independence relations have no finite complete characterization. In: Transactions of the 11th Prague Conference on Information Theory. Kluwer, pp. 377-396 (1992)"},{"key":"477_CR22","volume-title":"Dependence Logic, Volume 70 of London Mathematical Society Student Texts","author":"J. V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen J.: Dependence Logic, Volume 70 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge (2007)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0477-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0477-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0477-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T03:04:05Z","timestamp":1567652645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0477-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,4]]},"references-count":22,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["477"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0477-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,4]]}}}