{"id":"https://openalex.org/W2169397798","doi":"https://doi.org/10.1007/s11229-011-9918-4","title":"Bohrification of operator algebras and quantum logic","display_name":"Bohrification of operator algebras and quantum logic","publication_year":2011,"publication_date":"2011-03-28","ids":{"openalex":"https://openalex.org/W2169397798","doi":"https://doi.org/10.1007/s11229-011-9918-4","mag":"2169397798"},"language":"en","primary_location":{"id":"doi:10.1007/s11229-011-9918-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9918-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9918-4.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9918-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Chris Heunen","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Chris Heunen","raw_affiliation_strings":["Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Nicolaas P. Landsman","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Nicolaas P. Landsman","raw_affiliation_strings":["Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":null,"display_name":"Bas Spitters","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bas Spitters","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.6068,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":{"value":0.84218796,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"186","issue":"3","first_page":"719","last_page":"752"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8392999768257141,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8392999768257141,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.031599998474121094,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10899","display_name":"Advanced Operator Algebra Research","score":0.030500000342726707,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/heyting-algebra","display_name":"Heyting algebra","score":0.7039999961853027},{"id":"https://openalex.org/keywords/quantum-logic","display_name":"Quantum logic","score":0.6517999768257141},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5576000213623047},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.519599974155426},{"id":"https://openalex.org/keywords/hilbert-space","display_name":"Hilbert space","score":0.5054000020027161},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.43650001287460327},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.4235000014305115},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4228000044822693},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.42170000076293945},{"id":"https://openalex.org/keywords/operator-algebra","display_name":"Operator algebra","score":0.3880000114440918}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8345999717712402},{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.7039999961853027},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.6517999768257141},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5576000213623047},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5199000239372253},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.519599974155426},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.5054000020027161},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.43650001287460327},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43209999799728394},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.4235000014305115},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4228000044822693},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.42170000076293945},{"id":"https://openalex.org/C191413488","wikidata":"https://www.wikidata.org/wiki/Q1892554","display_name":"Operator algebra","level":2,"score":0.3880000114440918},{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.36719998717308044},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.3653999865055084},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.35359999537467957},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.33880001306533813},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.3384999930858612},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.33309999108314514},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.3206000030040741},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.3082999885082245},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.30390000343322754},{"id":"https://openalex.org/C153408630","wikidata":"https://www.wikidata.org/wiki/Q1970172","display_name":"Von Neumann algebra","level":3,"score":0.29330000281333923},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.29089999198913574},{"id":"https://openalex.org/C81518389","wikidata":"https://www.wikidata.org/wiki/Q5156447","display_name":"Complete Boolean algebra","level":5,"score":0.2858999967575073},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.2858000099658966},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C49766605","wikidata":"https://www.wikidata.org/wiki/Q207643","display_name":"Linear map","level":2,"score":0.2524000108242035}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/s11229-011-9918-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9918-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9918-4.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/790ac0bd-fb3d-4ad3-8f13-dc307f7eb35f","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/790ac0bd-fb3d-4ad3-8f13-dc307f7eb35f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Heunen, C, Landsman, N P & Spitters, B 2012, 'Bohrification of operator algebras and quantum logic', Synthese, vol. 186, no. 3, pp. 719-752. https://doi.org/10.1007/s11229-011-9918-4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:0905.2275","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0905.2275","pdf_url":"https://arxiv.org/pdf/0905.2275","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pure.tue.nl:openaire/a63dfc52-6934-410f-a01c-36cd031b1bbe","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/a63dfc52-6934-410f-a01c-36cd031b1bbe","pdf_url":"https://pure.tue.nl/ws/files/3559832/Metis252663.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Heunen, C, Landsman, N P & Spitters, B A W 2012, 'Bohrification of operator algebras and quantum logic', Synthese, vol. 186, no. 3, pp. 719-752. https://doi.org/10.1007/s11229-011-9918-4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/a63dfc52-6934-410f-a01c-36cd031b1bbe","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/a63dfc52-6934-410f-a01c-36cd031b1bbe","pdf_url":"https://research.tue.nl/nl/publications/a63dfc52-6934-410f-a01c-36cd031b1bbe","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Synthese, 186(3), 719 - 752. Springer","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/790ac0bd-fb3d-4ad3-8f13-dc307f7eb35f","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/bohrification-of-operator-algebras-and-quantum-logic(790ac0bd-fb3d-4ad3-8f13-dc307f7eb35f).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Heunen, C, Landsman, N P & Spitters, B 2012, 'Bohrification of operator algebras and quantum logic', Synthese, vol. 186, no. 3, pp. 719-752. https://doi.org/10.1007/s11229-011-9918-4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/91606","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/91606","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Synthese, 186, 3, pp. 719-752","raw_type":"Article / Letter to editor"}],"best_oa_location":{"id":"doi:10.1007/s11229-011-9918-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9918-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9918-4.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2169397798.pdf","grobid_xml":"https://content.openalex.org/works/W2169397798.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W823309","https://openalex.org/W36355091","https://openalex.org/W1488848753","https://openalex.org/W1524878283","https://openalex.org/W1563392063","https://openalex.org/W1575413252","https://openalex.org/W1584886925","https://openalex.org/W1589618165","https://openalex.org/W1699512023","https://openalex.org/W1973827495","https://openalex.org/W2004160709","https://openalex.org/W2033899087","https://openalex.org/W2041041938","https://openalex.org/W2041658741","https://openalex.org/W2047299335","https://openalex.org/W2066204520","https://openalex.org/W2066205659","https://openalex.org/W2072782595","https://openalex.org/W2081028867","https://openalex.org/W2081169523","https://openalex.org/W2094301123","https://openalex.org/W2108679268","https://openalex.org/W2114832712","https://openalex.org/W2121289880","https://openalex.org/W2132924484","https://openalex.org/W2318865848","https://openalex.org/W2415162522","https://openalex.org/W2486886792","https://openalex.org/W3101027143","https://openalex.org/W3126996113","https://openalex.org/W4206473031","https://openalex.org/W4210828651","https://openalex.org/W4234178232","https://openalex.org/W4240750369","https://openalex.org/W4244651418","https://openalex.org/W4254718852","https://openalex.org/W4292003697","https://openalex.org/W4299532212","https://openalex.org/W4388321602","https://openalex.org/W6653512668","https://openalex.org/W6688318944"],"related_works":[],"abstract_inverted_index":{"Following":[0],"Birkhoff":[1],"and":[2,48,103,119,234,255],"von":[3,32],"Neumann,":[4],"quantum":[5],"logic":[6,148],"has":[7],"traditionally":[8],"been":[9],"based":[10],"on":[11,25,245,250,258],"the":[12,26,37,64,145,155,158,161,177,189,194,199,212,219,225,246,259],"lattice":[13,27,247],"of":[14,18,28,40,59,66,71,81,90,94,105,123,129,133,157,160,196,198,203,214,221,227,248,263],"closed":[15],"linear":[16],"subspaces":[17],"some":[19],"Hilbert":[20,252],"space,":[21],"or,":[22],"more":[23],"generally,":[24],"projections":[29,73,82,134,249],"in":[30,139,211],"a":[31,56,85,115,136,140,186,207,240,251],"Neumann":[33],"algebra":[34,138,179],"A.":[35,95,130],"Unfortunately,":[36],"logical":[38],"interpretation":[39],"these":[41,60],"lattices":[42],"is":[43,114,149,152,206],"impaired":[44],"by":[45,49,63,84],"their":[46],"nondistributivity":[47],"various":[50],"other":[51],"problems.":[52],"We":[53,223],"show":[54],"that":[55,112,120,144,176],"possible":[57],"resolution":[58],"difficulties,":[61],"suggested":[62],"ideas":[65],"Bohr,":[67],"emerges":[68],"if":[69],"instead":[70],"single":[72],"one":[74],"considers":[75],"elementary":[76],"propositions":[77],"to":[78,98,182,218,230],"be":[79],"families":[80,132],"indexed":[83],"partially":[86],"ordered":[87],"set":[88],"$${\\mathcal{C}(A)}$$":[89,121],"appropriate":[91],"commutative":[92,126,208],"subalgebras":[93],"In":[96],"fact,":[97],"achieve":[99],"both":[100],"maximal":[101],"generality":[102],"ease":[104],"use":[106],"within":[107],"topos":[108,213],"theory,":[109],"we":[110,174,238],"assume":[111],"A":[113,183,267],"so-called":[116],"Rickart":[117,127,209],"C*-algebra":[118,210],"consists":[122],"all":[124],"unital":[125],"C*-subalgebras":[128],"Such":[131],"form":[135],"Heyting":[137,178],"natural":[141],"way,":[142],"so":[143],"associated":[146,181],"propositional":[147],"intuitionistic:":[150],"distributivity":[151],"recovered":[153],"at":[154],"expense":[156],"law":[159],"excluded":[162],"middle.":[163],"Subsequently,":[164],"generalizing":[165],"an":[166],"earlier":[167],"computation":[168],"for":[169,188,266],"n":[170,172],"\u00d7":[171],"matrices,":[173],"prove":[175],"thus":[180],"arises":[184],"as":[185],"basis":[187],"internal":[190,260],"Gelfand":[191,261],"spectrum":[192,262],"(in":[193],"sense":[195],"Banaschewski\u2013Mulvey)":[197],"\u201cBohrification\u201d":[200],"$${\\underline":[201,264],"A}$$":[202,265],"A,":[204],"which":[205],"functors":[215],"from":[216],"$${\\mathcal{C}A}$$":[217],"category":[220],"sets.":[222],"explain":[224],"relationship":[226],"this":[228],"construction":[229],"partial":[231],"Boolean":[232],"algebras":[233],"Bruns\u2013Lakser":[235],"completions.":[236],"Finally,":[237],"establish":[239],"connection":[241],"between":[242],"probability":[243,256],"measures":[244],"space":[253],"H":[254],"valuations":[257],"=":[268],"B(H).":[269]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2016-06-24T00:00:00"}