Talk:Term algebra

From Wikipedia, the free encyclopedia

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: Stub Class Low Priority  Field: Algebra

[edit] Herbrand Universe

I can't tell the difference between a term algebra, and a Herbrand universe. Can someone clarify? linas (talk) 15:51, 9 April 2008 (UTC)

Err, maybe I've got it .. a Herbrand universe cannot contain any free variables, by definition. A term algebra does not even raise the issue of free variables, and so one can define a term algebra to consist of a set of constants, variables, and other terms. linas (talk) 15:57, 9 April 2008 (UTC)