List questions from boolean-algebra

Published on 21 Aug 2018 - 17:02

137

Views

Ultrafilters on finite boolean algebras

Published on 22 Mar 2026 - 9:35

417

Views

Rewriting logical proposition which is in compact (implicit) notation.

Published on 24 Aug 2018 - 15:02

260

Views

If $2^\mu$ and $2^\lambda$ are isomorphic as boolean algebras, is it true that $\mu = \lambda$?

Published on 25 Mar 2026 - 6:00

253

Views

What is the Stone space of the free sigma-algebra on countably many generators

Published on 25 Mar 2026 - 6:06

330

Views

Logic equation simplification

Published on 29 Aug 2018 - 15:20

872

Views

What's the difference between the main types of logic?

Published on 26 Mar 2026 - 6:05

124

Views

What were the reasons leading to development of Boolean algebra?

Published on 25 Mar 2026 - 16:46

58

Views

Representation theorem for atomic preorders with sups

Published on 25 Mar 2026 - 9:33

36

Views

Are the statements equal?

Published on 05 Sep 2018 - 16:47

4.1k

Views

Simplify this Boolean expression: $(BC'+A'D)(AB'+CD')$.

Published on 06 Sep 2018 - 12:39

77

Views

Infinity in logic implicit (compact) notation.

Published on 07 Sep 2018 - 11:21

896

Views

Propositional logic proofs: Prove X ∧ (Y v Z) = (X ∧ Y) v (X ∧ Z)

Published on 07 Sep 2018 - 20:11

90

Views

Question about the relation between ultraproducts and boolean algebras (Hodges's remark)

Published on 25 Mar 2026 - 21:48

43

Views

What is the closed formula for the following recurrence relation: A(i,j) = (A(i-1,j) & A(i,j-1))'?

Published on 10 Sep 2018 - 12:16

List Question

Example of use De Morgan Law and the plain English behind it.

Ultrafilters on finite boolean algebras

Rewriting logical proposition which is in compact (implicit) notation.

If $2^\mu$ and $2^\lambda$ are isomorphic as boolean algebras, is it true that $\mu = \lambda$?

What is the Stone space of the free sigma-algebra on countably many generators

Logic equation simplification

What's the difference between the main types of logic?

What were the reasons leading to development of Boolean algebra?

Representation theorem for atomic preorders with sups

Are the statements equal?

Simplify this Boolean expression: $(BC'+A'D)(AB'+CD')$.

Infinity in logic implicit (compact) notation.

Propositional logic proofs: Prove X ∧ (Y v Z) = (X ∧ Y) v (X ∧ Z)

Question about the relation between ultraproducts and boolean algebras (Hodges's remark)

What is the closed formula for the following recurrence relation: A(i,j) = (A(i-1,j) & A(i,j-1))'?

Trending Questions

Popular # Hahtags

Popular Questions