User Evgeny Kuznetsov

10 votes

1 answer

468 views

Why is subcoalgebra structure unique?

asked Apr 17, 2018 at 7:26

8 votes

0 answers

185 views

A reference on a result by Steve Schanuel

asked Mar 7, 2023 at 21:06

8 votes

2 answers

538 views

Mention of Bernoulli principle by Bill Lawvere

asked May 13, 2023 at 19:40

7 votes

3 answers

2k views

Which affiliation to use when publishing, when invited professor at second university

asked Apr 5, 2018 at 18:10

3 votes

1 answer

382 views

Stone topological Boolean algebras

asked Feb 23, 2018 at 14:34

3 votes

1 answer

313 views

Is it possible to construct an isosceles triangle by using a ruler and without using a pair of compasses?

asked Sep 11, 2015 at 18:55

3 votes

1 answer

145 views

Commutativity of triangle consisting of morphism and two adjuncts

asked Feb 18, 2017 at 21:26

2 votes

1 answer

147 views

Compact open topology on $2^{\beta S}$ with $S$ a set

asked Mar 2, 2017 at 6:46

2 votes

0 answers

80 views

Does compact Hausdorff exponentiable topology on opens of $X$ induce a compact Hausdorf topology on $C(X,Y)$

asked Mar 7, 2017 at 12:03

2 votes

1 answer

124 views

Hereditarily locally connected spaces

asked May 10, 2023 at 19:48

2 votes

1 answer

126 views

The reference on Markov chains uncovering the power of the subject in a better way for a working macro-economist

asked Apr 18, 2021 at 18:11

2 votes

1 answer

99 views

Initial reference on Gödel-Löb axiom in Kripke semantic of $GL$

asked May 31, 2022 at 16:44

2 votes

1 answer

314 views

Further study of "Elementary geometry" in the sense of Tarski

asked Jul 4, 2019 at 14:03

1 vote

2 answers

235 views

Mapping of subcubes of a $(d+k)$-hypercube onto subcubes of a $d$-hypercube

asked Aug 10, 2019 at 17:43

1 vote

0 answers

112 views

Correct translation of the title from French

asked May 22, 2020 at 12:09

1 vote

0 answers

129 views

Completeness of certain formal deduction system

asked Jun 1, 2020 at 12:15

1 vote

0 answers

31 views

Finite axiomatisation of an extension of $T$ complete w.r.t. Neighbourhood Semantics and incomplete w.r.t. Kripke

asked Feb 6, 2023 at 18:14

1 vote

0 answers

127 views

Limits in subcategories of Powerset-coalgebras

asked Apr 24, 2018 at 19:35

1 vote

1 answer

93 views

Clopen subsets of $P(S)\times {\beta S}$

asked Mar 2, 2017 at 12:49

Stack Exchange Network

19 Questions

Why is subcoalgebra structure unique?

A reference on a result by Steve Schanuel

Mention of Bernoulli principle by Bill Lawvere

Which affiliation to use when publishing, when invited professor at second university

Stone topological Boolean algebras

Is it possible to construct an isosceles triangle by using a ruler and without using a pair of compasses?

Commutativity of triangle consisting of morphism and two adjuncts

Compact open topology on $2^{\beta S}$ with $S$ a set

Does compact Hausdorff exponentiable topology on opens of $X$ induce a compact Hausdorf topology on $C(X,Y)$

Hereditarily locally connected spaces

The reference on Markov chains uncovering the power of the subject in a better way for a working macro-economist

Initial reference on Gödel-Löb axiom in Kripke semantic of $GL$

Further study of "Elementary geometry" in the sense of Tarski

Mapping of subcubes of a $(d+k)$-hypercube onto subcubes of a $d$-hypercube

Correct translation of the title from French

Completeness of certain formal deduction system

Finite axiomatisation of an extension of $T$ complete w.r.t. Neighbourhood Semantics and incomplete w.r.t. Kripke

Limits in subcategories of Powerset-coalgebras

Clopen subsets of $P(S)\times {\beta S}$