Question

Proving that double negation elimination implies law of excluded middle, in Heyting algebra

score 1.5k · Answer 1 · 2012-10-21 05:35:05

1.5k

Views

Proving that double negation elimination implies law of excluded middle, in Heyting algebra

Published on 21 Oct 2012 - 5:35

score 200 · Answer 2 · 2012-10-23 06:52:29

200

Views

Join-Irreducibles and Direct Products

Published on 23 Oct 2012 - 6:52

score 3.3k · Answer 3 · 2012-10-25 22:32:19

3.3k

Views

Orders on the Cartesian product of partially ordered sets

Published on 25 Oct 2012 - 22:32

score 894 · Answer 4 · 2012-10-30 07:54:58

894

Views

What is a complete lattice?

Published on 30 Oct 2012 - 7:54

score 128 · Answer 5 · 2012-10-30 21:16:56

Is there any way to define morphisms between filters in order to get a category, one which its opposit category would be the category of ideals?

score 202 · Answer 6 · 2012-11-01 21:27:45

202

Views

Error at PlanetMath? (lattice theory: pseudocomplement)

Published on 01 Nov 2012 - 21:27

score 436 · Answer 7 · 2012-11-05 01:56:15

436

Views

Foundations of measure theory

Published on 05 Nov 2012 - 1:56

score 220 · Answer 8 · 2012-11-06 12:58:08

220

Views

Weak Partial Complete Lattice and Homomorphisms

Published on 06 Nov 2012 - 12:58

score 176 · Answer 9 · 2012-11-06 16:39:54

176

Views

Prime filters in $(\mathbb{N}, \text{lcm}, \text{gcd})$

Published on 06 Nov 2012 - 16:39

score 124 · Answer 10 · 2012-11-13 18:09:30

124

Views

How to spot a lattice

Published on 13 Nov 2012 - 18:09

score 10.3k · Answer 11 · 2012-11-18 11:05:00

10.3k

Views

Given the Hasse diagram tell if the structure is a lattice

Published on 18 Nov 2012 - 11:05

score 141 · Answer 12 · 2012-11-28 18:39:30

141

Views

Composition length of surjective inverse limits

Published on 28 Nov 2012 - 18:39

score 776 · Answer 13 · 2012-11-28 19:02:03

776

Views

The cardinality of finite Boolean lattice

Published on 28 Nov 2012 - 19:02

score 2.5k · Answer 14 · 2012-11-28 23:46:34

2.5k

Views

Proving that idempotence follows from other lattice axioms

Published on 28 Nov 2012 - 23:46

score 183 · Answer 15 · 2012-12-03 02:27:42

183

Views

How to characterize the partial order on the k-combinations of a totally ordered set?

Published on 03 Dec 2012 - 2:27

List Question

Proving that double negation elimination implies law of excluded middle, in Heyting algebra

Join-Irreducibles and Direct Products

Orders on the Cartesian product of partially ordered sets

What is a complete lattice?

Is there any way to define morphisms between filters in order to get a category, one which its opposit category would be the category of ideals?

Error at PlanetMath? (lattice theory: pseudocomplement)

Foundations of measure theory

Weak Partial Complete Lattice and Homomorphisms

Prime filters in $(\mathbb{N}, \text{lcm}, \text{gcd})$

How to spot a lattice

Given the Hasse diagram tell if the structure is a lattice

Composition length of surjective inverse limits

The cardinality of finite Boolean lattice

Proving that idempotence follows from other lattice axioms

How to characterize the partial order on the k-combinations of a totally ordered set?

Trending Questions

Popular # Hahtags

Popular Questions