Jump to content

Algebraic definition

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Comp.arch (talk | contribs) at 22:46, 11 November 2022. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematical logic, an algebraic definition is one that can be given using only equations between terms with free variables. Inequalities and quantifiers are specifically disallowed.[1]

Saying that a definition is algebraic is a stronger condition than saying it is elementary.

References

  1. ^ "Definition of ALGEBRAIC". www.merriam-webster.com. Retrieved 2022-10-04.


Stub icon

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Algebraic_definition&oldid=1121367522"