# Tagged Questions

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 ...
36 views

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 ...
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 ...
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 ...
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 ...
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 ...
### 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 ...