16 relations: Algebraic definition, Algebraic sentence, Algebraic structure, Cartesian product, Category theory, Commutative ring, Elementary theory, Euclidean geometry, First-order logic, Free variables and bound variables, Functor, Jon Barwise, Mathematical logic, Morphism, Propositional calculus, William Lawvere.
Algebraic definition
In mathematical logic, an algebraic definition is one that can be given using only equations between terms with free variables.
New!!: Algebraic theory and Algebraic definition · See more »
Algebraic sentence
In mathematical logic, an algebraic sentence is one that can be stated using only equations between terms with free variables.
New!!: Algebraic theory and Algebraic sentence · See more »
Algebraic structure
In mathematics, and more specifically in abstract algebra, an algebraic structure on a set A (called carrier set or underlying set) is a collection of finitary operations on A; the set A with this structure is also called an algebra.
New!!: Algebraic theory and Algebraic structure · See more »
Cartesian product
In set theory (and, usually, in other parts of mathematics), a Cartesian product is a mathematical operation that returns a set (or product set or simply product) from multiple sets.
New!!: Algebraic theory and Cartesian product · See more »
Category theory
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).
New!!: Algebraic theory and Category theory · See more »
Commutative ring
In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative.
New!!: Algebraic theory and Commutative ring · See more »
Elementary theory
In mathematical logic, an elementary theory is one that involves axioms using only finitary first-order logic, without reference to set theory or using any axioms which have consistency strength equal to set theory.
New!!: Algebraic theory and Elementary theory · See more »
Euclidean geometry
Euclidean geometry is a mathematical system attributed to Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the Elements.
New!!: Algebraic theory and Euclidean geometry · See more »
First-order logic
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
New!!: Algebraic theory and First-order logic · See more »
Free variables and bound variables
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place.
New!!: Algebraic theory and Free variables and bound variables · See more »
Functor
In mathematics, a functor is a map between categories.
New!!: Algebraic theory and Functor · See more »
Jon Barwise
Kenneth Jon Barwise (June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.
New!!: Algebraic theory and Jon Barwise · See more »
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
New!!: Algebraic theory and Mathematical logic · See more »
Morphism
In mathematics, a morphism is a structure-preserving map from one mathematical structure to another one of the same type.
New!!: Algebraic theory and Morphism · See more »
Propositional calculus
Propositional calculus is a branch of logic.
New!!: Algebraic theory and Propositional calculus · See more »
William Lawvere
Francis William Lawvere (born February 9, 1937) is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.
New!!: Algebraic theory and William Lawvere · See more »