{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:49:04Z","timestamp":1758476944265,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T00:00:00Z","timestamp":1552089600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["L002388"],"award-info":[{"award-number":["L002388"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"AFORS","award":["FA9550-16-1-0082"],"award-info":[{"award-number":["FA9550-16-1-0082"]}]},{"name":"Ministry of Education Czech Republic","award":["RVO13000"],"award-info":[{"award-number":["RVO13000"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1007\/s11083-019-09483-6","type":"journal-article","created":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T04:52:53Z","timestamp":1552107173000},"page":"563-609","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Boolean Subalgebras of Orthoalgebras"],"prefix":"10.1007","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8539-0372","authenticated-orcid":false,"given":"John","family":"Harding","sequence":"first","affiliation":[]},{"given":"Chris","family":"Heunen","sequence":"additional","affiliation":[]},{"given":"Bert","family":"Lindenhovius","sequence":"additional","affiliation":[]},{"given":"Mirko","family":"Navara","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,3,9]]},"reference":[{"key":"9483_CR1","volume-title":"A course in universal algebra. Graduate Texts in Mathematics, vol. 78","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra. Graduate Texts in Mathematics, vol. 78. Springer, Berlin (1981)"},{"key":"9483_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00493669","volume":"38","author":"J Czelakowski","year":"1979","unstructured":"Czelakowski, J.: Partial Boolean algebras in a broader sense. Stud. Logica. 38, 1\u201316 (1979)","journal-title":"Stud. Logica."},{"issue":"2","key":"9483_CR3","first-page":"559","volume":"42","author":"A D\u00f6ring","year":"2016","unstructured":"D\u00f6ring, A., Harding, J.: Abelian subalgebras and the Jordan structure of a von Neumann algebra. Houston J. Math. 42(2), 559\u2013568 (2016)","journal-title":"Houston J. Math."},{"key":"9483_CR4","volume-title":"Modern projective geometry mathematics and its applications, vol. 521","author":"C Faure","year":"2000","unstructured":"Faure, C., Fr\u00f6licher, A.: Modern projective geometry mathematics and its applications, vol. 521. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"9483_CR5","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1112\/plms\/s3-27.1.22","volume":"3","author":"PA Firby","year":"1973","unstructured":"Firby, P.A.: Lattices and compactifications I, II, III. Proc. London Math. Soc. 3, 22\u201368 (1973)","journal-title":"Proc. London Math. Soc."},{"key":"9483_CR6","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1016\/S0021-9800(68)80002-X","volume":"4","author":"RJ Greechie","year":"1968","unstructured":"Greechie, R.J.: On the structure of orthomodular lattices satisfying the chain condition. J. Combinatorial Theory 4, 210\u2013218 (1968)","journal-title":"J. Combinatorial Theory"},{"issue":"5","key":"9483_CR7","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1007\/BF00678545","volume":"31","author":"DJ Foulis","year":"1992","unstructured":"Foulis, D.J., Greechie, R.J., R\u00fcttimann, G.T.: Filters and supports in orthoalgebras. Internat J. Theoret. Phys. 31(5), 789\u2013807 (1992)","journal-title":"Internat J. Theoret. Phys."},{"key":"9483_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.2307\/2039041","volume":"36","author":"G Gr\u00e4tzer","year":"1972","unstructured":"Gr\u00e4tzer, G., Koh, K.M., Makkai, M.: On the lattice of subalgebras of a Boolean algebra. Proc. Amer. Math. Soc. 36, 87\u201392 (1972)","journal-title":"Proc. Amer. Math. Soc."},{"issue":"2","key":"9483_CR9","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/j.jmaa.2011.05.035","volume":"383","author":"J Hamhalter","year":"2011","unstructured":"Hamhalter, J.: Isomorphisms of ordered structures of abelian C\n\u2217-subalgebras of C\n\u2217-algebras. J. Math. Anal. Appl. 383(2), 391\u2013399 (2011)","journal-title":"J. Math. Anal. Appl."},{"issue":"2","key":"9483_CR10","doi-asserted-by":"publisher","first-page":"1103","DOI":"10.1016\/j.jmaa.2014.09.040","volume":"422","author":"J Hamhalter","year":"2015","unstructured":"Hamhalter, J.: Dye\u2019s Theorem and Gleason\u2019s Theorem for AW*-algebras. J. Math. Anal Appl. 422(2), 1103\u20131115 (2015)","journal-title":"J. Math. Anal Appl."},{"issue":"3","key":"9483_CR11","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s11083-010-9191-z","volume":"28","author":"J Harding","year":"2011","unstructured":"Harding, J., Navara, M.: Subalgebras of orthomodular lattices. Order 28(3), 549\u2013563 (2011)","journal-title":"Order"},{"key":"9483_CR12","volume-title":"Piecewise Boolean algebras and their domains, Automata, languages, and programming. Part II, 208-219, Lecture Notes in Comput Sci., vol. 8573","author":"C Heunen","year":"2014","unstructured":"Heunen, C.: Piecewise Boolean algebras and their domains, Automata, languages, and programming. Part II, 208-219, Lecture Notes in Comput Sci., vol. 8573. Springer, Heidelberg (2014)"},{"key":"9483_CR13","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.jmaa.2014.02.041","volume":"416","author":"C Heunen","year":"2014","unstructured":"Heunen, C., Reyes, M.L.: Active lattices determine AW*-algebras. J. Math. Anal. Appl. 416, 289\u2013313 (2014)","journal-title":"J. Math. Anal. Appl."},{"issue":"11","key":"9483_CR14","doi-asserted-by":"publisher","first-page":"2669","DOI":"10.1023\/A:1026680806775","volume":"37","author":"CJ Isham","year":"1998","unstructured":"Isham, C.J., Butterfield, J.: Topos perspective on the Kochen-Specker theorem. I. Quantum states as generalized valuations. Internat. J. Theoret. Phys. 37(11), 2669\u20132733 (1998)","journal-title":"Internat. J. Theoret. Phys."},{"key":"9483_CR15","volume-title":"Orthomodular lattices. London Mathematical Society Monographs,, vol. 18","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach, G.: Orthomodular lattices. London Mathematical Society Monographs, vol. 18. Academic Press, London (1983)"},{"key":"9483_CR16","unstructured":"Kochen, S., Specker, E.P. In: Addison, J.W., Henkin, L., Tarski, A. (eds.) : Logical structures arising in quantum theory, The theory of models. North-Holland, Amsterdam (1965)"},{"key":"9483_CR17","unstructured":"Lindenhovius, B.: \n\n\n\nC\n(\nA\n)\n\n\n\n$\\mathcal {C}(A)$\n, Radboud University Nijmegen. PhD thesis \nhttp:\/\/hdl.handle.net\/2066\/158429\n\n (2016)"},{"key":"9483_CR18","doi-asserted-by":"crossref","unstructured":"Navara, M.: Constructions of quantum structures. In: Gabbay, D., Lehmann, D., Engesser, K. (eds.) Handbook of Quantum Logic, vol. 1, Elsevier, pp 335\u2013366 (2007)","DOI":"10.1016\/B978-044452870-4\/50030-3"},{"key":"9483_CR19","doi-asserted-by":"publisher","first-page":"4126","DOI":"10.1007\/s10773-017-3479-3","volume":"56","author":"M Navara","year":"2017","unstructured":"Navara, M.: Orthoalgebras as pastings of Boolean algebras. Internat. J. Theoret. Phys. 56, 4126\u20134132 (2017). \nhttps:\/\/doi.org\/10.1007\/s10773-017-3479-3","journal-title":"Internat. J. Theoret. Phys."},{"key":"9483_CR20","doi-asserted-by":"publisher","first-page":"451","DOI":"10.4153\/CJM-1962-035-1","volume":"14","author":"D Sachs","year":"1962","unstructured":"Sachs, D.: The lattice of subalgebras of a Boolean algebra. Canad. J. Math. 14, 451\u2013460 (1962)","journal-title":"Canad. J. Math."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-019-09483-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-019-09483-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-019-09483-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,8]],"date-time":"2020-03-08T00:06:07Z","timestamp":1583625967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-019-09483-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,9]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["9483"],"URL":"https:\/\/doi.org\/10.1007\/s11083-019-09483-6","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"type":"print","value":"0167-8094"},{"type":"electronic","value":"1572-9273"}],"subject":[],"published":{"date-parts":[[2019,3,9]]},"assertion":[{"value":"26 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 March 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}