user avatar
user avatar
user avatar
Algebruh
  • Member for 3 years, 9 months
  • Last seen this week
  • Germany
5 votes
0 answers
116 views

The ultimate book on mathematical logic?

4 votes
4 answers
94 views

Why is $\prod_{a\in G}a = e_G$ if there exist several elements with $\operatorname{ord}(u) = 2$?

3 votes
1 answer
72 views

What's the purpose of the word $w$ in the proof for $ L \in \mathsf{REG} \implies L(\varphi) \in \mathsf{MSO}$ with $L(\varphi) = L$?

2 votes
2 answers
103 views

Show that $7^{(2n^2 + 2n)}$ is congruent to $1 \bmod 60$

2 votes
4 answers
148 views

How to solve $\lim\limits_{n \to \infty} \frac{\sum\limits_{k=1}^{n} k^m}{n^{m+1}}$

2 votes
0 answers
47 views

Comprehensible proof for the theorem by C.Thomassen (1980) on $3$-connected graphs?

2 votes
1 answer
95 views

Alternative way to calculate number of edges in Turán-graphs?

2 votes
1 answer
34 views

Subgroup properties in polynomial rings (from AKS-Test correctness proof)

2 votes
0 answers
52 views

How to get the details of a proof right during a exam? [closed]

1 vote
1 answer
73 views

Conflict in the definition of divisibility and definition of prime numbers?

1 vote
0 answers
36 views

Are generated subgroups of rings closed under addition?

1 vote
0 answers
30 views

Can we define new $\mathsf{LTL}$-operators working in the past?

0 votes
1 answer
25 views

How to avoid problems in modelchecking if we don't allow any $q_f \in F$?

0 votes
2 answers
89 views

What is the size of $\operatorname{PSL}_2(K)$?