weak isomorphism
51Spectrum of a C*-algebra — The spectrum of a C* algebra or dual of a C* algebra A, denoted Â, is the set of unitary equivalence classes of irreducible * representations of A. A * representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed… …
52Peano axioms — In mathematical logic, the Peano axioms, also known as the Dedekind Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used… …
53Theodicy — (IPAEng|θiːˈɒdɪsi) (adjectival form theodicean) is a specific branch of theology and philosophy that attempts to reconcile the existence of evil or suffering in the world with the belief in an omniscient, omnipotent, and omnibenevolent God, i.e …
54Topological vector space — In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. As the name suggests the space blends a topological structure (a uniform structure to be precise) with the algebraic concept of a… …
55Interactive proof system — In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to… …
56Modular form — In mathematics, a modular form is a (complex) analytic function on the upper half plane satisfying a certain kind of functional equation and growth condition. The theory of modular forms therefore belongs to complex analysis but the main… …
57Distributive lattice — In mathematics, distributive lattices are lattices for which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set… …
58Gelfand–Naimark theorem — In mathematics, the Gelfand–Naimark theorem states that an arbitrary C* algebra A is isometrically * isomorphic to a C* algebra of bounded operators on a Hilbert space. This result was a significant point in the development of the theory of C*… …
59List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …
60Bicategory — In mathematics, a bicategory is a concept in category theory used to extend the notion of category to handle the cases where the composition of morphisms is not (strictly) associative, but only associative up to an isomorphism. The notion was… …
