User SK19

12 votes

2 answers

1k views

Why does the inverse of surreal numbers exist?

asked Dec 7, 2017 at 8:50

12 votes

1 answer

1k views

Getting to know the Mizar Mathematical Library

asked Jun 3, 2018 at 13:54

6 votes

2 answers

718 views

What kind of "infinite sets" do constructivists use?

asked May 10, 2018 at 2:14

6 votes

1 answer

215 views

Is CH independent of TG?

asked May 12, 2018 at 19:55

5 votes

1 answer

281 views

Literature about multigraphs and homomorphisms between them

asked Feb 28, 2018 at 12:22

5 votes

2 answers

448 views

If all subgraphs of two graphs are pairwise isomorphic, are the graphs themselves isomorphic?

asked Nov 5, 2019 at 7:45

5 votes

0 answers

64 views

References for generalized power of a graph?

asked Mar 18, 2019 at 17:22

4 votes

1 answer

183 views

Is this statement really that technical to prove?

asked May 8, 2018 at 11:49

4 votes

0 answers

41 views

References for generalized cartesian product of graphs

asked May 2, 2019 at 11:37

3 votes

1 answer

704 views

Can you prove $K_{3,3}$ is not planar without the Jordan Curve Theorem?

asked May 18, 2019 at 11:02

3 votes

1 answer

563 views

For any graph, is there a topological space where it can be drawn/embedded?

asked Apr 6, 2018 at 20:46

3 votes

1 answer

140 views

Determinant and spectrum of a special block matrix

asked Dec 29, 2019 at 21:08

3 votes

1 answer

375 views

Does every graph without isolated vertices have a minimal edge cover?

asked May 31, 2019 at 9:56

3 votes

1 answer

65 views

Limit of limits converges

asked Dec 29, 2022 at 5:23

2 votes

1 answer

47 views

$KG(\mathfrak a_1,\mathfrak b_1)\cong KG(\mathfrak a_2,\mathfrak b_2)$ with $(\mathfrak a_1,\mathfrak b_1)\neq(\mathfrak a_2,\mathfrak b_2)$

asked Jun 10, 2019 at 22:11

2 votes

1 answer

35 views

Can infinite interval graphs be represented with distinct endpoints?

asked Aug 29, 2019 at 9:17

2 votes

0 answers

38 views

Directed Join of Digraphs?

asked Sep 5, 2019 at 7:58

2 votes

1 answer

68 views

$\alpha \in \mathfrak{a}$ implies $\alpha + \mathfrak{a} =\mathfrak{a}$

asked Apr 22, 2020 at 7:55

2 votes

1 answer

513 views

Function is open iff every element of a subbasis maps to open set?

asked Apr 24, 2018 at 20:30

2 votes

1 answer

121 views

Is the intersection of a set of cardinals contained in the set?

asked Dec 2, 2017 at 1:44

2 votes

1 answer

132 views

Is there a combinatorical proof for this probability?

asked Mar 18, 2018 at 11:07

2 votes

1 answer

425 views

What is the difference between a full and a faithful graph homomorphism?

asked Mar 23, 2018 at 13:01

2 votes

1 answer

49 views

Does a (complete) $\mathfrak{a}$-partite graph always have a maximum in AND out degree?

asked May 9, 2019 at 12:00

1 vote

1 answer

175 views

Which irrational numbers turned out to have descriable digit sequences?

asked Dec 29, 2017 at 12:19

1 vote

1 answer

61 views

Regular supergraphs of graphs

asked Mar 16, 2020 at 15:58

1 vote

1 answer

94 views

Are metric vector spaces interesting?

asked May 20, 2020 at 18:50

1 vote

0 answers

31 views

What is the name of this graph transformation from Akiyama's proof from 1983?

asked Sep 13, 2019 at 15:54

1 vote

0 answers

27 views

Show that the limit term of the Hilbert Transformation defines a Cauchy sequence

asked Oct 6, 2020 at 5:41

1 vote

1 answer

38 views

Why is $\{\omega:f(\omega)\leq g(\omega)\}$ measurable?

asked Oct 12, 2020 at 9:54

1 vote

1 answer

194 views

Does every graph have a maximal stable set?

asked Sep 5, 2018 at 12:07

Stack Exchange Network

41 Questions

Why does the inverse of surreal numbers exist?

Getting to know the Mizar Mathematical Library

What kind of "infinite sets" do constructivists use?

Is CH independent of TG?

Literature about multigraphs and homomorphisms between them

If all subgraphs of two graphs are pairwise isomorphic, are the graphs themselves isomorphic?

References for generalized power of a graph?

Is this statement really that technical to prove?

References for generalized cartesian product of graphs

Can you prove $K_{3,3}$ is not planar without the Jordan Curve Theorem?

For any graph, is there a topological space where it can be drawn/embedded?

Determinant and spectrum of a special block matrix

Does every graph without isolated vertices have a minimal edge cover?

Limit of limits converges

$KG(\mathfrak a_1,\mathfrak b_1)\cong KG(\mathfrak a_2,\mathfrak b_2)$ with $(\mathfrak a_1,\mathfrak b_1)\neq(\mathfrak a_2,\mathfrak b_2)$

Can infinite interval graphs be represented with distinct endpoints?

Directed Join of Digraphs?

$\alpha \in \mathfrak{a}$ implies $\alpha + \mathfrak{a} =\mathfrak{a}$

Function is open iff every element of a subbasis maps to open set?

Is the intersection of a set of cardinals contained in the set?

Is there a combinatorical proof for this probability?

What is the difference between a full and a faithful graph homomorphism?

Does a (complete) $\mathfrak{a}$-partite graph always have a maximum in AND out degree?

Which irrational numbers turned out to have descriable digit sequences?

Regular supergraphs of graphs

Are metric vector spaces interesting?

What is the name of this graph transformation from Akiyama's proof from 1983?

Show that the limit term of the Hilbert Transformation defines a Cauchy sequence

Why is $\{\omega:f(\omega)\leq g(\omega)\}$ measurable?

Does every graph have a maximal stable set?