Skip to main content
MathOverflow

Lifejacket

 Lifejacket
Answer score of 5 or more to a question score of -2 or less that goes on to receive a score of 2 or more. This badge can be awarded multiple times.
Awarded 71 times.
References on principal G bundle and connections
Awarded Oct 5 at 16:30
The Unit Group of $\mathbb{Z}_p$
Awarded Aug 30 at 7:26
What is cardinality of the set of true undecidable minimal sentences in a formal theory of aritmetic
Awarded Jul 30 at 23:08
Can uncountable sets be proved to exist in this variant of ZFC with definability restrictions?
Awarded Mar 30 at 0:20
Solving the unknotting problem by pulling both ends of the string
Awarded Mar 14 at 13:05
Is there a strict limit on choice principles in $\sf ZFC$?
Awarded Jan 2 at 19:25
Optimal search puzzle
Awarded Sep 25, 2023 at 1:55
Who was the first to propose a formal definition of infinity?
Awarded Aug 4, 2023 at 3:41
Who was the first to propose a formal definition of infinity?
Awarded Aug 4, 2023 at 3:41
Do bijections from the natural numbers satisfy the Peano axioms?
Awarded Jul 13, 2023 at 10:50
Can a consistent theory prove its inconsistency?
Awarded Jun 18, 2023 at 5:05
Mathematical tools appropriate to analyse convex polyhedra
Awarded May 17, 2023 at 8:17
A conjecture for primes $p\equiv\pm1\pmod5$
Awarded Jul 8, 2022 at 22:32
Is a paraconsistent and provably non-trivial foundation for math possible?
Awarded Feb 28, 2022 at 9:47
The real part of the period of an elliptic curve
Awarded Oct 25, 2021 at 8:56
Is there a differentiable map surjective from low to high dimension？
Awarded Oct 2, 2021 at 9:43
Does the existence of a Landau-Siegel zero imply the existence of a complex zero off the critical line?
Awarded Sep 20, 2021 at 14:45
Is there a way to get the closed form approximate result of $\int_ 0^a\frac {e^{-x - \frac {1} {x}}} {x}\, dx$
Awarded Jul 25, 2021 at 0:03
Which Hilbert's 10th polynomials are known to have solutions?
Awarded Jul 6, 2021 at 5:55
Can you do math without knowing how to count?
Awarded Apr 18, 2021 at 3:53
Can you do math without knowing how to count?
Awarded Apr 18, 2021 at 3:53
Can you do math without knowing how to count?
Awarded Apr 18, 2021 at 3:53
Particular case of Beal's Conjecture
Awarded Apr 7, 2021 at 17:52
Set of prime numbers $q$ such that $\sum\limits_{p\leq\sqrt{q}}p=\pi(q)$, where $p$ are prime numbers
Awarded Feb 10, 2021 at 21:51
how to numerically evaluate $\int_{0}^{\infty} \frac{1}{x!} dx$
Awarded Jan 21, 2021 at 21:07
when tensor complex resolves S/I+J?
Awarded Aug 3, 2020 at 15:49
Order of product of group elements
Awarded Mar 31, 2020 at 15:15
The Hubbard-Stratonovich transformation
Awarded Feb 20, 2020 at 10:25
Are unitarily equivalent permutation matrices permutation similar?
Awarded Dec 10, 2019 at 16:20
A complete formalization of EGA in Lean
Awarded Nov 17, 2019 at 6:40
Two reasons why the Collatz conjecture could fail
Awarded Nov 7, 2019 at 21:50
Shtukas for $\mathrm{Spec}\,\mathbf{Z}$
Awarded Sep 13, 2019 at 20:00
Smallest constant so that there are at least $n/\log_2{n}$ primes between $n$ and a constant multiple of $n$
Awarded Jun 18, 2019 at 17:45
Which came first: the Fibonacci Numbers or the Golden Ratio?
Awarded Jun 18, 2019 at 17:45
why do automorphisms preserve ample divisors?
Awarded Jun 18, 2019 at 17:45
An ubiquitous pattern of questions
Awarded Jun 18, 2019 at 17:45
Chebyshev's bias-conjecture and the Riemann Hypothesis
Awarded Jun 18, 2019 at 17:45
How to prove that a kernel is positive definite?
Awarded Jun 18, 2019 at 17:45
Reduced scheme and closed points
Awarded Jun 18, 2019 at 17:45
Proof of a theorem of Jean-Pierre Serre on geodesics of closed Riemannian manifolds
Awarded Jun 18, 2019 at 17:45
Formalizations of the idea that something is a function of something else?
Awarded Jun 18, 2019 at 17:45
What's the space of smooth functions in L^2(R)?
Awarded Jun 18, 2019 at 17:45
Prime Number Theorem w/o Complex Analysis
Awarded Jun 18, 2019 at 17:45
How long is the longest path in the game tree of chess?
Awarded Jun 18, 2019 at 17:45
Primes $P_{2n-1}$ that are $2$ mod $3$
Awarded Jun 18, 2019 at 17:45
When does $R [x]/I $ has infinitely many idempotents?
Awarded Jun 18, 2019 at 17:45
A Transversal Achievement Game on a Grid
Awarded Jun 18, 2019 at 17:45
Primes $P_{2n-1}$ that are $2$ mod $3$
Awarded Jun 18, 2019 at 17:45
Has the Fundamental Theorem of Algebra been proved using just fixed point theory?
Awarded Jun 18, 2019 at 17:45
What is Borel-de Siebenthal theory?
Awarded Jun 18, 2019 at 17:45
Chebyshev's bias-conjecture and the Riemann Hypothesis
Awarded Jun 18, 2019 at 17:45
Is it possible to check if a sequence of numbers (1 to 10) have been generated randomly or by a human?
Awarded Jun 18, 2019 at 17:45
Are the Foundations of Mathematical Logic Shaky?
Awarded Jun 18, 2019 at 17:45
How long is the longest path in the game tree of chess?
Awarded Jun 18, 2019 at 17:45
limsup and liminf for a sequence of sets
Awarded Jun 18, 2019 at 17:45
Uniformly integrable sequence such that a.s. limit and conditional expectation do not commute
Awarded Jun 18, 2019 at 17:45
On the solvability of the congruence $p^m\equiv m\pmod{n}$
Awarded Jun 18, 2019 at 17:45
Proof for new deterministic primality test
Awarded Jun 18, 2019 at 17:45
Are the Millennium Prize Problems all decidable?
Awarded Jun 18, 2019 at 17:45
When are the units of R[x] exactly the units of R?
Awarded Jun 18, 2019 at 17:45
1
2