0
votes
0answers
54 views

What do we call functions that are definable by expressions?

Let $X$ denote a model of an algebraic theory $T$. What do we call the functions $f : X^n \rightarrow X$ that are definable by some expression in the language of $T$? e.g. If $S_3$ is the symmetric ...
0
votes
0answers
36 views

Clarification about the definition of term algebras

The following definition has been given in this article. A term algebra is an algebra $ \langle \mathcal{S}, \mathcal{G} \rangle $ where every time that $g_\alpha, g_\beta \in \mathcal{G}$ and $$ ...
2
votes
1answer
42 views

Can a quasi-identity express that a function $f$ is surjective? And if not, can this be explained by duality?

Consider a first-order theory having a unary function symbol $f$. Then the following quasi-identity expresses that $f$ is injective. $$\forall xy : f(x)=f(y) \rightarrow x=y$$ Alternatively, we can ...
1
vote
2answers
40 views

Do “equational theories” include sequents?

In equational logic, which of the following best describes the term "equational theory"? A collection of identities. A collection of quasi-identities, by which I mean sequents of the form ...
3
votes
1answer
77 views

$\mathrm{Pol}_m(\mathbb{A})$ viewed as a relation pp-definable from $\mathbb{A}$

First let me recall some (abbreviated, and possibly simplified to suit my situation) definitions: Let $A$ be a finite set and $\mathbb{A}$ some set of relations on $A$. Let $m, n$ be positive ...
2
votes
1answer
72 views

Does axiomatizability in zeroth-order logic have important consequences?

If a theory is equationally axiomatizable, this has important consequences (that are studied e.g. in universal algebra). However, many theories fail to be equationally axiomatizable - examples ...
2
votes
1answer
558 views

Modus Ponens: implication versus entailment

Would it be inconsistent to write Modus Ponens using only implication, not entailment? $(p \wedge (p \to q)) \to q$ The way I understand is that implication ($ \to$) is an operator that yields a new ...
2
votes
1answer
300 views

Injective Homomorphism and direct products

This question relates to products of structures all with the same symbol set $S$. After I give a little background the question follows. Direct Products This definition of the direct product is ...
1
vote
1answer
91 views

Idea for a proof involving an identity of term functions on $\sigma$-structures [x]

I have some problems with the following theorem: Fix an signature $\sigma$ and a set of variables $\mathbb{V}$. We call $t$ and $t_1$ "equivalent", if for every $\sigma$-structure $S$ and every term ...
1
vote
3answers
370 views

Can we represent all algebraic structures in First-Order logic?

Can we represent all algebraic structures in First-Order logic?