The notion of cylindricalgebra , invented by Alfred Tarski , arises naturally in the Algebraic logic algebraization of first order logic with First order logic Equality and its axioms equality . This is comparable to the role Boolean algebra structure Boolean algebra s play for propositional logic . Indeed, cylindric algebras are Boolean algebras equipped with additional cylindrification operations that model quantification and equality. They differ from polyadic algebra s in that the latter do not model equality. Definition of a cylindricalgebra A cylindricalgebra of dimension math alpha math , where math alpha math is any ordinal number ordinal is an algebraic structure math A, , cdot, ,0,1,c kappa,d kappa lambda kappa, lambda alpha math such that math A, , cdot, ,0,1 math is a Boolean algebra structure Boolean algebra , math c kappa math a unary operator on math A math for every math kappa math , and math d kappa lambda math a distinguished element of math A math for every math kappa math and math lambda math , such that the following hold C1 math c kappa 0 0 math C2 math x leq c kappa x math C3 math c kappa x cdot c kappa y c kappa x cdot c kappa y math C4 math c kappa c lambda x c lambda c kappa x math C5 math d kappa kappa 1 math C6 If math kappa neq lambda mu math , then math d lambda mu c kappa d lambda kappa cdot d kappa mu math C7 If math kappa neq lambda math , then math ... categorical formulation of cylindric algebras Relation algebra s RA Polyadic algebra References Leon Henkin , Monk, J.D., and Alfred Tarski 1971 Cylindric Algebras, Part I . North Holland. ISBN 978 0 7204 2043 2. 1985 Cylindric Algebras, Part II . North Holland. Caleiro, C., and Gon alves, R 2007 ... wedge neg x bot math Generalizations Recently, cylindric algebras have been generalized to the Many ... . Springer Verlag 21 36. External links http math.chapman.edu structuresold files Cylindric algebras.pdf Jipsen s algebra page. Category Algebraic logic zh ... more details
refimprove date October 2010 In computability theory a cylindric numbering is a special kind of numbering computability theory numbering first introduced by Yuri L. Ershov in 1973. If a numberings math nu math is reducibility numbering reducible to math mu math then there exists a computable function math f math with math nu mu circ f math . Usually math f math is not injective but if math mu math is a cylindric numbering we can always find an injective math f math . Definition A numbering math nu math is called cylindric if math nu equiv 1 c nu . math That is if it is one equivalent numbering one equivalent to its cylindrification A set math S math is called cylindric if its indicator function math 1 S mathbb N to 0,1 math is a cylindric numbering. Examples every G del numbering is cylindric Properties cylindric numberings are idempotent , math nu circ nu nu math References Yu. L. Ershov, Theorie der Numerierungen I. Zeitschrift f r mathematische Logik und Grundlagen der Mathematik 19 , 289 388 1973 . Category Theory of computation ... more details
The term algebra is defined below after first defining a ring . ring In mathematics , a ring is an associative ring with a map A A which is an antiautomorphism and an Semigroup with involution involution ... over any ring. algebra A algebra A is a ring that is an associative algebra over a commutative ring ... , math x,y in A math . A homomorphism math f colon A to B math is algebra homomorphism that is compatible ... numbers. A operation on a algebra is an operation on an algebra over a ring that behaves similarly to taking ... of a algebra is the field of complex numbers C where is just complex conjugation . More generally, the conjugation involution in any Cayley Dickson algebra such as the complex numbers, quaternion s and octonion ... ring matrix algebra of n × n matrix mathematics matrices over C with given by the conjugate ... is also a star algebra. In Hecke algebra , an involution is important to the Kazhdan Lusztig polynomial ... curve becomes a algebra over the integers, where the involution is given by taking the dual ... notes on abelian varieties . Hopf algebra Examples Involutive Hopf algebras are important examples ... being The group Hopf algebra a group ring , with involution given by math g mapsto g 1 . math ... form a Jordan algebra The skew Hermitian elements form a Lie algebra If 2 is invertible, then math ... and anti symmetrizing , so the algebra decomposes as a direct sum of symmetric and anti symmetric Hermitian and skew Hermitian elements. This decomposition is as a vector space, not as an algebra, because the idempotents are operators, not elements of the algebra. Skew structures Given a ring, there is also the map math x mapsto x math . This is not a ring structure unless the characteristic algebra ... elements, and the imaginary numbers are the skew Hermitian. See also B algebra C algebra von Neumann algebra Baer ring operator algebra This article is no longer a stub, but there is more to be said about algebras which are not B or C algebras. DEFAULTSORT Algebra Category Algebras fr ... more details
Orphan date January 2012 A algebra or, more explicitly, a closed algebra is the name occasionally used in physics ref John A. Holbrook, David W. Kribs, and Raymond Laflamme. Noiseless Subsystems and the Structure of the Commutant in Quantum Error Correction. Quantum Information Processing . Volume 2, Number 5, p. 381&ndash 419. Oct 2003. ref for a finite dimensional C algebra . The dagger, , is used in the name because physicists typically use the symbol to denote a hermitian adjoint , and are often not worried about the subtleties associated with an infinite number of dimensions. Mathematicians usually use the asterisk, , to denote the hermitian adjoint. algebras feature prominently in quantum mechanics , and especially quantum information science . References references Category C algebras physics stub algebra stub ... more details
about the branch of mathematics pp move indef sprotect small yes Algebra from Arabic language Arabic al jebr meaning reunion of broken parts ref cite web title algebra work Online Etymology Dictionary ... , topology , combinatorics , and number theory , algebra is one of the main branches of pure mathematics . Elementary algebra , often part of the curriculum in secondary education , introduces ... be done for a variety of reasons, including equation solving . Algebra is much broader than elementary algebra and studies what happens when different rules of operations are used and when operations ... algebra . History Main History of algebra Timeline of algebra File Image Al Kit b al mu ta ar f is b ... Greeks created a geometric algebra where terms were represented by sides of geometric objects, usually ... s Algebra made use of lettered diagrams but all coefficients in the equations used in the Algebra are specific ... called the father of algebra , was an Alexandria n Greek mathematics Greek mathematician and the author ... 8 ref While the word algebra comes from the Arabic language lang ar transl ar al jabr restoration ... algebra as a mathematical discipline that is independent of geometry and arithmetic . ref citation title Al Khwarizmi The Beginnings of Algebra author Roshdi Rashed publisher Saqi Books date November 2009 isbn 0 86356 430 5 ref The roots of algebra can be traced to the ancient Babylonian mathematics ... Diophantus, Father of Algebra ref as well as Indian mathematics Indian mathematicians such as Brahmagupta ... s Brahmasphutasiddhanta are on a higher level. ref http www.algebra.com algebra about history History of Algebra ref For example, the first complete arithmetic solution including zero and negative ... of algebra but in more recent times there is much debate over whether al Khwarizmi, who founded the discipline ... Edition Wiley, 1991 , pages 178, 181 ref Those who support Diophantus point to the fact that the algebra found in Al Jabr is slightly more elementary than the algebra found in Arithmetica and that Arithmetica ... more details
Polyadic algebras more recently called Halmos algebras ref name Hazewinkel2000 are algebraic structure s introduced by Paul Halmos . They are related to first order logic in a way analogous to the relationship between Boolean algebras and propositional logic see Lindenbaum Tarski algebra . There are other ways to relate first order logic to algebra, including Tarski s cylindric algebra s ref name Hazewinkel2000 cite book author Michiel Hazewinkel title Handbook of algebra url http books.google.com books?id EkIL1BYKjlgC&pg PA87 year 2000 publisher Elsevier isbn 9780444503961 pages 87 89 ref when first order logic equality equality and its axioms equality is part of the logic and Lawvere s functorial semantics Category theory categorical approach . ref name Barwise1989 cite book author Jon Barwise title Handbook of mathematical logic url http books.google.com books?id b0Fvrw9tBcMC&pg PA293 year 1989 publisher Elsevier isbn 9780444863881 pages 293 ref References reflist Further reading Paul Halmos , Algebraic Logic , Chelsea Publishing Co. New York 1962 Category Algebraic logic mathlogic stub ... more details
Enveloping algebra in mathematics may refer to The universal enveloping algebra of a Lie algebra The enveloping algebra of a general non associative algebra disambig ... more details
Affine algebra may refer to affine Lie algebra , a type of Kac Moody algebras the Lie algebra of the affine group finitely generated algebra disambig ... more details
Cylindricalgebra s Extension predicate logic Extension in logic Involution mathematics Involution ...Distinguish2 relational algebra , a framework for finitary relation s and relational database s In mathematics and abstract algebra , a relation algebra is a residuated Boolean algebra reduct expanded ... of a relation algebra is the algebra 2 sup X sup of all binary relation s on a set X , that is, subsets ... . Relation algebra emerged in the 19th century work of Augustus De Morgan and Charles Sanders ... form of relation algebra treated here was developed by Alfred Tarski and his students, starting in the 1940s. Tarski and Givant 1987 applied relation algebra to a variable free treatment of axiomatic ... without variables. Definition A relation algebra L , , , sup &minus sup , 0, 1, , I , sup math breve math sup is an algebraic structure equipped with the Introduction to Boolean algebra Boolean operations ... an axiomatization of relation algebra. A relation algebra is to a system of binary relations on a set ... math breve math sup . Hence a relation algebra can equally well be defined as an algebraic structure ... one that a relation algebra can then be defined in full simply as a residuated Boolean algebra ... universal algebra variety , the variety RA of relation algebras. Expanding the above definition as equations ... algebra structure Boolean algebra under binary disjunction , , and unary Complement order theory complementation ... A This axiomatization of Boolean algebra is due to Edward Vermilye Huntington Huntington 1933 . Note that the meet of the implied Boolean algebra is not the operator even though it distributes over math vee math like a meet does , nor is the 1 of the Boolean algebra the I constant. L is a monoid under ... rules are wholly familiar from school mathematics and from abstract algebra generally. Hence RA proofs ... needed date April 2012 N.B. The Boolean algebra fragment of RA is complete and decidable. The representable ... relation algebra consisting of binary relations on some set, and closed under the intended interpretation ... more details
Matrix algebra may refer to Matrix theory , is the branch of mathematics that studies matrix mathematics matrices Matrix ring , thought of as an algebra over a field or a commutative ring disambig pl Algebra macierzy ... more details
Wiktionarypar algebra The word Algebra describes one of the main branches of mathematics. It can also ... al Khw rizm . As a branch of mathematics The term algebra may also refer to a more specialized branch of mathematics within the general field of Algebra Elementary algebra , i.e. high school algebra. Abstract algebra Linear algebra Relational algebra Universal algebra The term is also traditionally used for the field of Computer algebra , dealing with software systems for symbolic mathematical computation, which often offer capabilities beyond what is normally understood to be algebra . As a mathematical structure Several different classes of algebraic structures are known as Algebra ... include In ring theory and linear algebraAlgebra ring theory Algebra over a commutative ring a module equipped with a bilinear product Algebra over a field a vector space equipped with a bilinear vector product Associative algebra a module mathematics module equipped with an associative bilinear vector product Superalgebra a math mathbb Z 2 math graded algebra Lie algebra s, Poisson algebra s, and Jordan algebra s are important examples of potentially nonassociative algebras. In functional analysis Banach algebra an associative algebra A over the real number real or complex number complex numbers which at the same time is also a Banach space . Operator algebra continuous function topology .... algebra An algebra with a notion of adjoint of an operator adjoints . C algebra a Banach algebra equipped with a unary Involution mathematics involution operation. Von Neumann algebra or W algebra ... algebra structure Heyting algebra In measure theory Algebra over a set a collection of sets closed under finite unions and complementation Sigma algebra a collection of sets closed under countable unions and complementation The term algebra can also describe more general structures In category theory and computer science F algebra math F math algebra F coalgebra math F math coalgebra Other Algebra ... more details
information algebras Harv Wilson Mengin 1999 . Reducts of cylindricalgebra s Harv Henkin Monk Tarski 1971 or polyadic algebra s are information algebras related to predicate logic Harv Halmos 2000 . Module mathematics Module algebra s Harv Bergstra Heering Klint 1990 Harv de Lavalette 1992 . Linear ... that are relevant to specific questions. A mathematical phrasing of these operations leads to an algebra of information , describing basic modes of information processing. Such an algebra grasps ..., multiple systems of formal logic or numerical problems of linear algebra. It allows the development ... science, in particular of distributed information processing. Information algebra Information ... or extraction of information. Information and its operations More precisely, in the two sorted algebra ... are defined. Axioms and definition The axioms of the two sorted algebra math Phi,D , math , in addition ... A two sorted algebra math Phi,D , math satisfying these axioms is called an Information Algebra . Order of information A partial order of information ... relative to the domain question math x , math . Labeled information algebra The pairs math phi ... form a labeled Information Algebra . More precisely, in the two sorted algebra math Phi,D , math ... Relational algebra The reduct of a relational algebra with natural join as combination and the usual projection is a labeled information algebra, see Worked out example relational algebra Example . Constraint system s Constraints form an information algebra Harv Jaffar Maher 1994 . Semiring valued algebra ... Kohlas 2003 . Worked out example relational algebra Let math mathcal A , math be a set of symbols, called ... as combination and the usual projection math pi , math is an information algebra. The operations ... of a labeled information algebra semigroup math R 1 bowtie R 2 bowtie R 3 R 1 bowtie R 2 bowtie ... Bergstra Given2 J. surname2 Heering given3 P. surname3 Klint title Module algebra journal J. of the assoc ... more details
In mathematics , an algebra bundle is a fiber bundle whose fiber s are algebra over a field algebra s and local trivialization s respect the algebra structure. It follows that the transition function s are algebra isomorphism s. Since algebras are also vector space s, every algebra bundle is a vector bundle . Examples include the tensor bundle , exterior bundle , and symmetric bundle associated to a given vector bundle , as well as the Clifford bundle associated to any Riemannian vector bundle. See also Lie algebra bundle References 1. W. Greub, S. Halperin and R. Vanstone, Connections, Curvature and Cohomology, Vo. 2, Academic Press, New Yark, 1973 2. C. Chidambara and B.S. Kiranagi, On Cohomology of Associative algebra bundles, J. Ramanujan Math. Soc., Vol. 9 1 , 1994. pp. 1 12 3. B.S. Kiranagi and R. Rajendra, Revisiting Hochschild Cohomology for Algebra Bundles, Journal of Algebra and Its Applications Vol. 7, No. 6 2008 685 715. DEFAULTSORT Algebra Bundle Category Vector bundles topology stub algebra stub ... more details
A braid algebra can be A Gerstenhaber algebra also called an antibracket algebra . An algebra related to the braid group . disambig Short pages monitor This long comment was added to the page to prevent it being listed on Special Shortpages. It and the accompanying monitoring template were generated via Template Longcomment. Please do not remove the monitor template without removing the comment as well. ... more details
Journal of Algebra ISSN 0021 8693 is a leading international mathematical research journal in abstract algebraalgebra . An imprint of Academic Press , it is presently published by Elsevier . Journal of Algebra was founded by Graham Higman , who was its editor from 1964 to 1984. From 1985 until 2000, Walter Feit served as its editor in chief. In 2004, Journal of Algebra announced vol. 276, no. 1 and 2 the creation of a new section on Computational Algebra, with a separate editorial board. The first issue completely devoted to Computational Algebra was vol. 292, no. 1 October 2005 . The current Editor in Chief of the Journal of Algebra is Michel Brou , Universit Paris Diderot , whereby Gerhard Hiss, Rheinische Westf lische Technische Hochschule Aachen RWTS is Editor of the Computational Algebra section. External links http www.sciencedirect.com science journal 00218693 Journal of Algebra at ScienceDirect sci journal stub Category Mathematics journals Category Publications established in 1964 nl Journal of Algebra ... more details
In mathematics , the Griess algebra is a commutative Algebra over a field Non associative algebras non associative algebra on a real number real vector space of dimension 196884 that has the Monster group M as its automorphism group . It is named after mathematician R. L. Griess , who constructed it in 1980 and subsequently used it in 1982 to construct M . The Monster fixes vectorwise a 1 space in this algebra and acts absolutely irreducibly on the 196883 dimensional orthogonal complement of this 1 space. The Monster preserves the standard inner product on the 196884 space. Griess s construction was later simplified by Jacques Tits and John H. Conway . The Griess algebra is the same as the degree 2 piece of the monster vertex algebra , and the Griess product is one of the vertex algebra products. References R. L. Griess, Jr, The Friendly Giant , Inventiones Mathematicae 69 1982 , 1 102 algebra stub Category Nonassociative algebras ... more details
In mathematics In abstract algebra and mathematical logic a derivative algebra abstract algebra derivative algebra is an algebraic structure that provides an abstraction of the derivative operator in topological space topology and which provides algebraic semantics for the modal logic wK3 . In differential geometry a derivative algebra is a vector space with a product operation that has similar behaviour to the standard cross product of 3 vector geometric vector s. Citation needed date July 2009 disambig ... more details
Difference algebra is analogous to differential algebra but concerned with difference equation s rather than differential equation s. References Alexander Levin 2008 , http books.google.co.uk books?id 15pgjT5PeY0C Difference algebra , Springer, ISBN 9781402069468 Richard M. Cohn 1979 , http books.google.co.uk books?id Fs8oAAAACAAJ& Difference algebra , R.E. Krieger Pub. Co., ISBN 9780882756516 algebra stub Category Algebras ... more details
Unreferenced date December 2009 In mathematics , a supercommutative algebra is a superalgebra i.e. a Z sub 2 sub graded algebra such that for any two homogeneous element s x , y we have math yx 1 x y xy. , math Equivalently, it is a superalgebra where the supercommutator math x,y xy 1 x y yx , math always vanishes. Algebraic structures which supercommute in the above sense are sometimes referred to as skew commutative associative algebras to emphasize the anti commutation, or, to emphasize the grading, graded commutative or, if the supercommutativity is understood, simply commutative . Any commutative algebra is a supercommutative algebra if given the trivial gradation i.e. all elements are even . Grassmann algebra s also known as exterior algebra s are the most common examples of nontrivial supercommutative algebras. The supercenter of any superalgebra is the set of elements that supercommute with all elements, and is a supercommutative algebra. The even subalgebra of a supercommutative algebra is always a commutative algebra . That is, even elements always commute. Odd elements, on the other hand, always anticommute. That is, math xy yx 0 , math for odd x and y . In particular, the square of any odd element x vanishes whenever 2 is invertible math x 2 0. , math Thus a commutative superalgebra with 2 invertible and nonzero degree one component always contains nilpotent elements. See also Commutative algebra Lie superalgebra DEFAULTSORT Supercommutative Algebra Category Algebras Category Super linear algebra it Algebra supercommutativa ... more details
Noref date November 2009 In mathematics , a topological algebra A over a topological field K is a topological vector space together with a continuous multiplication math cdot A times A longrightarrow A math math a,b longmapsto a cdot b math that makes it an algebra over a field algebra over K . A unital associative algebra associative topological algebra is a topological ring . An example of a topological algebra is the algebra C 0,1 of continuous real valued functions on the closed unit interval 0,1 , or more generally any Banach algebra . The term was coined by David van Dantzig it appears in the title of his Thesis doctoral dissertation 1931 . The natural notion of subspace in a topological algebra is that of a topologically closed subalgebra . A topological algebra A is said to be generated by a subset S if A itself is the smallest closed subalgebra of A that contains S . For example by the Stone Weierstrass theorem , the set id sub 0,1 sub consisting only of the identity function id sub 0,1 sub is a generating set of the Banach algebra C 0,1 . Category Topological vector spaces Category Topological algebra Category Algebras topology stub pl Algebra topologiczna uk ... more details
A uniform algebra A on a compact space compact Hausdorff space Hausdorff topological space X is a closed with respect to the uniform norm algebra over a field subalgebra of the C algebra C X the continuous complex valued functions on X with the following properties the constant functions are contained in A for every x , y math in math X there is f math in math A with f x math ne math f y . This is called separating the points of X . As a closed subalgebra of the commutative Banach algebra C X a uniform algebra is itself a unital commutative Banach algebra when equipped with the uniform norm . Hence, it is, by definition a Banach function algebra . A uniform algebra A on X is said to be natural if the maximal ideal s of A precisely are the ideals math M x math of functions vanishing at a point x in X . Abstract characterization If A is a unital algebra unital commutative Banach algebra such that math a 2 a 2 math for all a in A , then there is a compact space compact Hausdorff space Hausdorff X such that A is isomorphic as a Banach algebra to a uniform algebra on X . This result follows from the spectral radius formula and the Gelfand representation. mathanalysis stub Category Functional analysis Category Banach algebras pl Algebra funkcyjna ... more details
In mathematics, a Hecke algebra can be one of several algebras, similar to the algebra of Hecke operator s studied by Erich Hecke . The algebra of Hecke operators can be interpreted as an algebra of double cosets, and as a result the term Hecke algebra is also used for several similar algebras related to double cosets. In particular it can mean Iwahori Hecke algebra of a Coxeter group. Hecke algebra of a pair g,K where g is the Lie algebra of a Lie group G and K is a compact subgroup of G . H G , K , the Hecke algebra of a locally compact group G with respect to a compact subgroup K The Hecke algebra of a locally profinite group such as an algebraic group over a local field , given by the direct limit of the algebras H G , K for K a compact open subgroup. The algebra generated by Hecke operator s acting on modular forms The algebra spanned by the double coset s HgH of a finite index subgroup H of a group G . The centralizer algebra of an induced representation . disambig Category Representation theory Category Set indices ja zh yue Hecke zh Hecke ... more details
B algebras were mathematics mathematical structures studied in functional analysis . As it is now known that all B algebras are C algebras and vice versa , the term B algebra is no longer widely used. General Banach algebras A Banach algebra A is a Banach algebra over the field of complex number s, together with a map A A called involution which has the following properties x y x y for all x , y in A . math lambda x bar lambda x math for every in C and every x in A here, math bar lambda math denotes the complex conjugate of . xy y x for all x , y in A . x x for all x in A . In most natural examples, one also has that the involution is isometry isometric , i.e. x x , B algebras A B algebra is a Banach algebra in which the involution satisfies the following further property x x x sup 2 sup for all x in A . By a theorem of Gelfand and Naimark, given a B algebra A there exists a Hilbert space H and an isometric homomorphism from A into the algebra B H of all bounded linear operators on H . Thus every B algebra is isometrically isomorphic to a C algebra . Because of this, the term B algebra is rarely used in current terminology, and has been replaced by the overloading of the term C algebra . See also Algebra over a field Associative algebra algebra C algebra . References cite book author G. F. Simmons title Introduction to Topology and Modern Analysis publisher McGraw Hill year 1963 isbn 0 07 085695 8 Category Banach algebras Category C algebras it B algebra ms B algebra DEFAULTSORT B Algebra ... more details
In theoretical physics , a supersymmetry algebra or SUSY algebra is a symmetry algebra incorporating supersymmetry , a relation between boson s and fermion s. In a supersymmetry supersymmetric world, every boson would have a partner fermion of equal rest mass . Bosonic field s Commutative operation commute while fermionic field s anticommute. In order to relate the two kinds of fields in a single algebra, the introduction of a graded algebra Z sub 2 sub grading under which the even elements are bosonic and the odd elements are fermionic is required. Such an algebra is called a Lie superalgebra . On the other hand, the spin statistics theorem shows that bosons have integer spin, while fermions have half integer spin. Consequently, the odd elements in a supersymmetry algebra need to have half integer spin, in contrast to the tensor ial symmetries which are more traditional symmetries in physics. Just as one can have representations of a Lie algebra , one can also have representation of a Lie superalgebra representations of a Lie superalgebra . For each Lie algebra, there exists an associated Lie group which is connected space connected and simply connected . Unique up to isomorphism, this Lie group is canonically associated with the Lie algebra, and the representations of the algebra can be extended to create group representations. In the same way, representations of a Lie superalgebra can sometimes be extended into representations of a Lie supergroup . See also super Poincar algebra superconformal algebra N 1 supersymmetry algebra in 1 1 dimensions N 1 supersymmetry algebra in 1 1 dimensions N 2 superconformal algebra N 2 superconformal algebra physics stub Category Supersymmetry Category Lie algebras ko it Algebra supersimmetrica ... more details
In abstract algebra , a derivative algebra is an algebraic structure of the signature A , , , , 0, 1, sup D sup where A , , , , 0, 1 is a Boolean algebra structure Boolean algebra and sup D sup is a unary operator , the derivative operator , satisfying the identities 0 sup D sup 0 x sup DD sup x x sup D sup x y sup D sup x sup D sup y sup D sup . x sup D sup is called the derivative of x. Derivative algebras provide an algebraic abstraction of the derived set mathematics derived set operator in topological space topology . They also Lindenbaum Tarski algebra play the same role for the modal logic wK4 K p p p that Boolean algebra structure Boolean algebra s play for ordinary propositional logic . References Esakia, L., Intuitionistic logic and modality via topology , Annals of Pure and Applied Logic, 127 2004 155 170 McKinsey, J.C.C. and A. Tarski Tarski, A. , The Algebra of Topology , Annals of Mathematics, 45 1944 141 191 Category Algebras Category Boolean algebra Category Topology zh algebra stub ... more details
Encyclopedia
top
