Definitions which are "algebraic" are those which 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 (logic).
| Property | Value |
|---|
| dbpprop:abstract
|
- Definitions which are "algebraic" are those which 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 (logic).
|
| rdfs:comment
|
- Definitions which are "algebraic" are those which 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 (logic).
|
| rdfs:label
| |
| skos:subject
| |
| foaf:page
| |
![[RDF Data]](/statics/sw-cube.png)
