User King Kong

21 votes

3 answers

2k views

Explanatory vs Non-explanatory Proofs [closed]

asked Nov 5, 2019 at 10:52

14 votes

4 answers

1k views

Boolean Valued Models of PA

asked Oct 2, 2014 at 10:49

9 votes

0 answers

304 views

Co-Heyting Valued Models of Paraconsistent Set Theory

asked Jun 2, 2014 at 15:40

6 votes

1 answer

248 views

Discernible Objects in a Topos

asked Apr 23, 2019 at 9:31

5 votes

3 answers

574 views

Categories whose auto-equivalences are naturally isomorphic to the identity

asked Jun 26, 2017 at 13:56

4 votes

1 answer

844 views

Relations In Category Theory

asked Oct 14, 2014 at 12:53

3 votes

1 answer

368 views

Minimising the f-divergence to a conditional probability constraint

asked Feb 16, 2018 at 9:03

3 votes

1 answer

626 views

Bijection between hom sets of equivalent categories?

asked Nov 10, 2018 at 19:37

3 votes

1 answer

498 views

Strictly Proper Scoring Rules and f-Divergences

asked Mar 19, 2019 at 6:54

2 votes

0 answers

67 views

Distance measures between Boolean algebra homomorphisms

asked Dec 5, 2016 at 13:03

2 votes

1 answer

257 views

Cardinality of the set of Boolean subalgebras of the lattice of projections on a Hilbert space

asked Jan 15, 2014 at 16:07

2 votes

0 answers

148 views

Dedekind reals in heyting valued models

asked Jan 17, 2014 at 8:33

1 vote

0 answers

112 views

Existence of orthogonal projections generating Von Neumann algebras

asked Apr 25, 2014 at 8:18

1 vote

1 answer

109 views

When does an orthomodular projection lattice have a non-trivial centre?

asked Oct 6, 2014 at 12:24

1 vote

1 answer

136 views

Is $\textbf{FHILB}$ locally regular?

asked Apr 28, 2015 at 8:23

1 vote

2 answers

86 views

What does the existence of self complemented elements tell us about a complete lattice?

asked May 25, 2016 at 11:53

1 vote

1 answer

157 views

Constructing representations of probability revision functions

asked Jan 13, 2021 at 18:50

0 votes

0 answers

93 views

Homomorphisms between non-isomorphic finite lattices

asked Aug 4, 2018 at 19:25

0 votes

0 answers

96 views

Addition Operations in Complete Lattices

asked May 30, 2016 at 18:36

Stack Exchange Network

19 Questions

Explanatory vs Non-explanatory Proofs [closed]

Boolean Valued Models of PA

Co-Heyting Valued Models of Paraconsistent Set Theory

Discernible Objects in a Topos

Categories whose auto-equivalences are naturally isomorphic to the identity

Relations In Category Theory

Minimising the f-divergence to a conditional probability constraint

Bijection between hom sets of equivalent categories?

Strictly Proper Scoring Rules and f-Divergences

Distance measures between Boolean algebra homomorphisms

Cardinality of the set of Boolean subalgebras of the lattice of projections on a Hilbert space

Dedekind reals in heyting valued models

Existence of orthogonal projections generating Von Neumann algebras

When does an orthomodular projection lattice have a non-trivial centre?

Is $\textbf{FHILB}$ locally regular?

What does the existence of self complemented elements tell us about a complete lattice?

Constructing representations of probability revision functions

Homomorphisms between non-isomorphic finite lattices

Addition Operations in Complete Lattices