Question

Bijective correspondence between congruences on universal algebras

score 190 · Answer 1 · 2026-03-25 06:04:58

190

Views

Bijective correspondence between congruences on universal algebras

Published on 25 Mar 2026 - 6:04

score 178 · Answer 2 · 2019-09-17 02:49:12

178

Views

Show that every finite distributive lattice is a reduct of a Heyting algebra

Published on 17 Sep 2019 - 2:49

score 369 · Answer 3 · 2019-09-17 18:00:15

369

Views

Proving that a "Boolean" algebra containing an element $i$ such that $i\land0=1$ is not distributive.

Published on 17 Sep 2019 - 18:00

score 206 · Answer 4 · 2019-09-19 05:25:23

206

Views

What is the standard name for this algebraic structure?

Published on 19 Sep 2019 - 5:25

score 130 · Answer 5 · 2019-09-24 02:16:28

130

Views

Show that the class of Heyting algebras has the CEP.

Published on 24 Sep 2019 - 2:16

score 414 · Answer 6 · 2026-03-25 11:08:46

414

Views

Relation between kernel of groups and Semigroups

Published on 25 Mar 2026 - 11:08

score 105 · Answer 7 · 2019-09-26 12:00:42

105

Views

Order of grouping in associative law

Published on 26 Sep 2019 - 12:00

score 477 · Answer 8 · 2014-03-14 19:43:55

477

Views

General question about groups and other algebraic structures

Published on 14 Mar 2014 - 19:43

score 228 · Answer 9 · 2014-03-17 15:55:06

228

Views

What are the properties of this Poisson algebra?

Published on 17 Mar 2014 - 15:55

score 98 · Answer 10 · 2014-03-24 06:12:45

98

Views

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

Published on 24 Mar 2014 - 6:12

score 401 · Answer 11 · 2014-03-24 19:34:18

401

Views

Operator generating subuniverse generated by X is algebraic closure operator

Published on 24 Mar 2014 - 19:34

score 134 · Answer 12 · 2014-03-26 21:05:04

134

Views

Clarification about the definition of term algebras

Published on 26 Mar 2014 - 21:05

score 88 · Answer 13 · 2014-03-28 03:41:21

88

Views

What do we call functions that are definable by expressions?

Published on 28 Mar 2014 - 3:41

score 253 · Answer 14 · 2014-03-30 06:49:58

253

Views

Inequality of Class operators H S and P

Published on 30 Mar 2014 - 6:49

score 400 · Answer 15 · 2026-03-25 06:24:52

400

Views

Why are the algebras of the associative operad unital?

Published on 25 Mar 2026 - 6:24

List Question

Bijective correspondence between congruences on universal algebras

Show that every finite distributive lattice is a reduct of a Heyting algebra

Proving that a "Boolean" algebra containing an element $i$ such that $i\land0=1$ is not distributive.

What is the standard name for this algebraic structure?

Show that the class of Heyting algebras has the CEP.

Relation between kernel of groups and Semigroups

Order of grouping in associative law

General question about groups and other algebraic structures

What are the properties of this Poisson algebra?

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

Operator generating subuniverse generated by X is algebraic closure operator

Clarification about the definition of term algebras

What do we call functions that are definable by expressions?

Inequality of Class operators H S and P

Why are the algebras of the associative operad unital?

Trending Questions

Popular # Hahtags

Popular Questions