Earlier Naimark collection (20 Cards)
These 20 earlier Cards and PDFs remain available. Selection of another presentation does not withdraw their mathematics.
- MathlibAnnex.CStarAlgebra.CAR.AtomicCounterexampleAlgebra · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.AtomicCounterexampleEndpoint
- MathlibAnnex.CStarAlgebra.CAR.atomicCounterexampleEndpoint · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.atomicCounterexampleRepresentation · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.continuum_le_cardinalMk_dense_atomicCounterexampleAlgebra
- MathlibAnnex.CStarAlgebra.CAR.separableCounterexampleRepresentation · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.not_isIrreducible_of_separable · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.separableCounterexampleRepresentation_injective · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.atomicCounterexampleEndpoint_and_exists_separable_faithful_representation_and_no_separable_irreducible_representation · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.cardinalMk_atomicCounterexampleAlgebra_le_continuum
- MathlibAnnex.CStarAlgebra.CAR.cardinalMk_atomicCounterexampleAlgebra
- MathlibAnnex.CStarAlgebra.CAR.hasDensityCharacter_atomicCounterexampleAlgebra · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.existsNaimarkCounterexampleOfDensity_continuum · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.continuum_eq_aleph_one_iff_existsNaimarkCounterexampleOfDensity · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.existsUnique_state_extension_trace · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.existsUnique_tracial_state · Naimark69 presentation
- MathlibAnnex.CStarAlgebra.CAR.atomicCounterexampleEndpoint_and_separable_tracial_representation
- MathlibAnnex.CStarAlgebra.CAR.not_isIrreducible_restrictToReducing_separableCounterexampleRepresentation
- MathlibAnnex.CStarAlgebra.CAR.hasDensityCharacter_atomicCounterexampleHilbert
- MathlibAnnex.CStarAlgebra.CAR.not_finiteDimensional_separableCounterexampleHilbertSpace