What people are saying - Write a review
We haven't found any reviews in the usual places.
The Derived Logic
Bounded Observables on the Derived Logic
The Large Derived Logic and
2 other sections not shown
a,b e algebra Baire functions Baire subsets Boolean sub a-algebra Borel subsets bounded Borel functions bounded observables C*-algebra commutative subsystem compact Hausdorff space compatible observables compatible set compatible subset Conjecture continuous functions contradiction convex hull Corollary corresponding compact Hausdorff countably compatible counterexamples Definition II.1.7 denote disjoint suprema EeB(R embedding exists a compatible expectation values f and g formal product full set functions f given Hilbert space homeomorphic idempotent implies isometric large derived logic lim m(x linearly independent logic axioms norm Note partial order partially ordered set pointwise evaluation positive integral powers Proof properties pure real valued continuous respect result Riesz Representation Theorem scalar multiples Section Segal system Segal's axioms Sherman's example Spectral Theorem structure preserving Suppose Theorem II.1.8 Theorem III.3.1 tion uniformly bounded V-compatible valued continuous functions well-defined in B(X yea(z