Term algebra

Term algebra

In universal algebra, a term algebra is an algebraic structure which is freely generated from a signature specifying the operations of the algebra (including constants, which are nullary operations). For example, free magmas are isomorphic to term algebras generated from a signature consisting of one binary operation (the multiplication operation of the magma) plus a set of constants.

Term algebras play a role in the semantics of abstract data types, where an abstract data type declaration provides the signature of a multi-sorted algebraic structure and the term algebra is a concrete model of the abstract declaration.

Decidability of term algebras

Term algebras can be shown decidable using quantifier elimination. The complexity of the decision problem is in NONELEMENTARY.Fact|date=July 2008

ee also

* Herbrand universe

References

* Anatolii Ivanovic Mal'cev: "The Metamathematics of Algebraic Systems". North-Holland, 1971. (Studies in Logic and The Foundations of Mathematics, Volume 66)


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Term — may refer to: *Term (computers) or terminal emulator, a program that emulates a video terminal *Term (language) or terminology, a word or compound word used in a specific context *Term (mathematics), a component of a mathematical expression… …   Wikipedia

  • algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium

  • Algebra over a field — This article is about a particular kind of vector space. For other uses of the term algebra , see algebra (disambiguation). In mathematics, an algebra over a field is a vector space equipped with a bilinear vector product. That is to say, it is… …   Wikipedia

  • algebra, modern — ▪ mathematics Introduction also called  abstract algebra        branch of mathematics concerned with the general algebraic structure of various sets (such as real numbers (real number), complex numbers (complex number), matrices (matrix), and… …   Universalium

  • algebra, elementary — Introduction       branch of mathematics that deals with the general properties of numbers and the relations between them. Algebra is fundamental not only to all further mathematics and statistics but to the natural sciences, computer science,… …   Universalium

  • Algebra — This article is about the branch of mathematics. For other uses, see Algebra (disambiguation). Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from… …   Wikipedia

  • algebra — [16] Algebra symbolizes the debt of Western culture to Arab mathematics, but ironically when it first entered the English language it was used as a term for the setting of broken bones, and even sometimes for the fractures themselves (‘The helpes …   The Hutchinson dictionary of word origins

  • algebra — [16] Algebra symbolizes the debt of Western culture to Arab mathematics, but ironically when it first entered the English language it was used as a term for the setting of broken bones, and even sometimes for the fractures themselves (‘The helpes …   Word origins

  • Algebra of Communicating Processes — The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially… …   Wikipedia

  • algebra, linear — Introduction       mathematical discipline that deals with vectors (vector) and matrices (matrix) and, more generally, with vector spaces (vector space) and linear transformations. Unlike other parts of mathematics that are frequently invigorated …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”