A first constructive look at the comparison of projections

DOI10.1093/JIGPAL/JZS019zbMath1301.03064OpenAlexW2048110957MaRDI QIDQ4925155

Douglas S. Bridges, Luminiţa Simona Vîţă

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzs019

zbMATH Keywords

von Neumann algebraprojectionoperator algebracountably additiveconstructive analysisdependent choice

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

This page was built for publication: A first constructive look at the comparison of projections