- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Forcing axioms and coronas of C∗-algebras
Journal of Mathematical Logic 21 (2):2150006 (2021)
Abstract
We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable [Formula: see text]-algebras with the metric approximation property and an increasing approximate identity of projections.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Forcing axioms and coronas of C∗-algebras.Paul McKenney & Alessandro Vignati - 2021 - Journal of Mathematical Logic 21 (2):2150006.
Forcing operators on MTL-algebras.George Georgescu & Denisa Diaconescu - 2011 - Mathematical Logic Quarterly 57 (1):47-64.
Omitting types and AF algebras.Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira & Alexander Sherman - 2014 - Archive for Mathematical Logic 53 (1):157-169.
Some Calkin algebras have outer automorphisms.Ilijas Farah, Paul McKenney & Ernest Schimmerling - 2013 - Archive for Mathematical Logic 52 (5-6):517-524.
Concrete barriers to quantifier elimination in finite dimensional C*‐algebras.Christopher J. Eagle & Todd Schmid - 2019 - Mathematical Logic Quarterly 65 (4):490-497.
Fatal Heyting Algebras and Forcing Persistent Sentences.Leo Esakia & Benedikt Löwe - 2012 - Studia Logica 100 (1-2):163-173.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
Consistent and inconsistent generalizations of Martin’s Axiom, weak square and weak Chang’s Conjecture.David Asperó & Nutt Tananimit - forthcoming - Journal of Mathematical Logic.
A Few Notes on Quantum B-algebras.Shengwei Han & Xiaoting Xu - 2021 - Studia Logica 109 (6):1423-1440.
Unsupported Boolean algebras and forcing.Miloš S. Kurilić - 2004 - Mathematical Logic Quarterly 50 (6):594-602.
Analytics
Added to PP
2021-06-23
Downloads
6 (#1,482,791)
6 months
1 (#1,723,047)
2021-06-23
Downloads
6 (#1,482,791)
6 months
1 (#1,723,047)
Historical graph of downloads
References found in this work
On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of ℵ 1 -Dense Real Order Types.J. Steprans, Uri Abraham, Matatyahu Rubin & Saharon Shelah - 2002 - Bulletin of Symbolic Logic 8 (2):303.
On the consistency of some partition theorems for continuous colorings, and the structure of ℵ1-dense real order types.Uri Abraham, Matatyahu Rubin & Saharon Shelah - 1985 - Annals of Pure and Applied Logic 29 (2):123-206.
Reduced products of metric structures: A metric feferman–vaught theorem.Saeed Ghasemi - 2016 - Journal of Symbolic Logic 81 (3):856-875.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo