Algebraic definition

Add links
From English Wikipedia @ Freddythechick

This is the current revision of this page, as edited by imported>David Eppstein at 01:50, 8 April 2024 (rm inadequate source). The present address (URL) is a permanent link to this version.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

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

Related

References


Stub icon

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

Retrieved from "https://enwiki.freddythechick.net/index.php?title=Algebraic_definition&oldid=15214618"