User Bertrand Haskell

8 votes

1 answer

169 views

Is the class of planar graphs axiomatizable?

asked Dec 28, 2020 at 10:54

8 votes

2 answers

349 views

Messed permutations

asked Aug 21, 2021 at 16:38

5 votes

3 answers

185 views

Planar networks

asked Dec 26, 2020 at 1:38

4 votes

0 answers

108 views

Books on chess mathematics [closed]

asked Nov 27 at 11:40

3 votes

0 answers

96 views

Galois theory in combinatorics

asked Nov 13 at 9:24

3 votes

1 answer

66 views

Exchange property of infinite minimal structures

asked Dec 19, 2020 at 17:03

3 votes

1 answer

70 views

Definition of the determinant as of a function $d:\operatorname{End}(V)\rightarrow\mathbb{R}$

asked Jan 10, 2021 at 19:45

3 votes

2 answers

159 views

Is a connected groupoid uniquely determined by its objects and fundamental group?

asked Apr 29, 2021 at 9:04

3 votes

0 answers

111 views

Visual analysis of adjacency matrices

asked Jan 3, 2022 at 19:38

3 votes

1 answer

116 views

System of inequalities with ordinal numbers

asked Dec 13, 2019 at 18:02

3 votes

1 answer

99 views

Three questions about the group "reconstruction"

asked Jul 5, 2020 at 16:19

3 votes

0 answers

148 views

Ideal textbook to study the indepence of CH

asked Sep 21, 2020 at 8:17

2 votes

0 answers

30 views

The efficiency of finding a theorem of a first-order theory

asked Aug 21, 2020 at 8:41

2 votes

1 answer

42 views

A new language construction

asked Jul 21, 2020 at 8:20

2 votes

0 answers

60 views

Series ending with the trivial group

asked Jun 25, 2020 at 9:47

2 votes

0 answers

62 views

Cardinal inequality [duplicate]

asked Dec 20, 2019 at 14:17

2 votes

1 answer

104 views

Is it always possible to draw an Euler diagram with $2^n$ distinct regions?

asked Aug 13, 2019 at 10:55

2 votes

1 answer

87 views

Two questions about ZFC

asked Aug 15, 2019 at 7:20

2 votes

1 answer

134 views

Is it true without the axiom of choice that every infinite cardinal is larger than every finite cardinal?

asked Dec 29, 2019 at 14:16

2 votes

1 answer

83 views

Is the structure of propositional logic axiomatizable by the axioms of Boolean algebra?

asked Sep 24, 2021 at 16:42

2 votes

2 answers

107 views

The range of a non-computable function that grows faster than computable functions is undecidable

asked Dec 24, 2021 at 10:28

2 votes

1 answer

102 views

Model theory textbook to learn about the consistency and independency proofs

asked Jan 12, 2021 at 18:21

2 votes

1 answer

165 views

Can topology be studied without $\mathbb{R}$?

asked Dec 27, 2020 at 20:18

2 votes

2 answers

162 views

Ruzsa–Szemerédi problem for regular graphs

asked Jun 17 at 14:19

2 votes

0 answers

182 views

Five new results on Conway's 99-graph problem [closed]

asked Jul 21 at 13:41

1 vote

2 answers

55 views

Expressing locally linear in terms of integer programming

asked Jul 11 at 3:44

1 vote

1 answer

262 views

A mathematically brief analogue of M. Sipser's "Introduction to the Theory of Computation"

asked Feb 3, 2022 at 11:01

1 vote

0 answers

136 views

First-order logic theory that doesn't need the generalization rule of inference

asked Jul 17, 2020 at 10:28

1 vote

0 answers

123 views

Theorems that won't be proved by a computer [duplicate]

asked May 22 at 18:36

1 vote

1 answer

49 views

Semigroup without a weak basis

asked Dec 20, 2020 at 22:22

Stack Exchange Network

69 Questions

Is the class of planar graphs axiomatizable?

Messed permutations

Planar networks

Books on chess mathematics [closed]

Galois theory in combinatorics

Exchange property of infinite minimal structures

Definition of the determinant as of a function $d:\operatorname{End}(V)\rightarrow\mathbb{R}$

Is a connected groupoid uniquely determined by its objects and fundamental group?

Visual analysis of adjacency matrices

System of inequalities with ordinal numbers

Three questions about the group "reconstruction"

Ideal textbook to study the indepence of CH

The efficiency of finding a theorem of a first-order theory

A new language construction

Series ending with the trivial group

Cardinal inequality [duplicate]

Is it always possible to draw an Euler diagram with $2^n$ distinct regions?

Two questions about ZFC

Is it true without the axiom of choice that every infinite cardinal is larger than every finite cardinal?

Is the structure of propositional logic axiomatizable by the axioms of Boolean algebra?

The range of a non-computable function that grows faster than computable functions is undecidable

Model theory textbook to learn about the consistency and independency proofs

Can topology be studied without $\mathbb{R}$?

Ruzsa–Szemerédi problem for regular graphs

Five new results on Conway's 99-graph problem [closed]

Expressing locally linear in terms of integer programming

A mathematically brief analogue of M. Sipser's "Introduction to the Theory of Computation"

First-order logic theory that doesn't need the generalization rule of inference

Theorems that won't be proved by a computer [duplicate]

Semigroup without a weak basis