## New answers tagged universal-algebra

5
votes

### Kuratowski's 14 theorem and universal algebra

This is an affirmative answer to the first question.
Let $\mathcal{A}$ be any algebra
whose fundamental operations are constant.
Let $\mathcal{B}\in\mathsf{HSP}(\mathcal{A})$
be any algebra. The ...

1
vote

### Birkhoff's completeness theorem put into practice

The proof of Birkhoff's theorem, much like the proof of the completeness theorem for predicate logic, will not give a very interesting algorithm for computing a proof for a statement known to be valid:...

10
votes

Accepted

### How much choice is needed to prove the completeness of equational logic?

I do not know what proofs precisely you have in mind, but at least for operations with finite arities no choice is needed, nor excluded middle for that matter. Let us review the proof to make sure ...

Top 50 recent answers are included

#### Related Tags

universal-algebra × 406ct.category-theory × 104

lo.logic × 94

ra.rings-and-algebras × 64

model-theory × 59

gr.group-theory × 58

reference-request × 40

semigroups-and-monoids × 36

set-theory × 32

lattice-theory × 26

order-theory × 22

ac.commutative-algebra × 15

co.combinatorics × 13

large-cardinals × 13

operads × 13

monads × 13

gn.general-topology × 11

terminology × 11

boolean-algebras × 10

finite-groups × 9

lie-algebras × 9

algebraic-systems × 9

ag.algebraic-geometry × 7

self-distributivity × 7

lattices × 6