Talk:Term algebra

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Stub Class	Low Priority	Field: Algebra
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Geometry guy 16:55, 22 May 2007 (UTC)

[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)