MathOverflow

Popular Question

 Popular Question
Question with 1,000 views. This badge can be awarded multiple times.

earned this badge 37 times.
Higher recursion theory and reverse mathematics: What is to $\Pi^1_1$-$CA_0$ as $RCA_0$ is to $ACA_0$?
Awarded yesterday
Non-rigid ultrapowers in $\mathsf{ZFC}$?
Awarded Feb 28 at 13:36
Comparing "axiomatized function spaces"
Awarded Dec 2, 2023 at 23:26
Gently changing measure
Awarded Nov 10, 2023 at 19:57
Detecting uncountable cardinals in $(\mathbb{R};+,\times,\mathbb{N})$
Awarded Aug 4, 2023 at 21:17
The (non-)absoluteness of second-order elementary equivalence
Awarded Jul 24, 2023 at 15:27
Can ultraproducts avoid all "factor structures"?
Awarded Jul 8, 2023 at 0:45
A question about iterated forcing
Awarded Mar 15, 2023 at 15:42
Ur-elemental surprises
Awarded Dec 22, 2022 at 11:03
Does Turing determinacy imply full determinacy?
Awarded Jun 26, 2022 at 4:10
Is "almost-solvability" of Diophantine equations decidable?
Awarded May 26, 2022 at 22:17
Does permission always work?
Awarded May 10, 2022 at 6:43
Are there infinitely many "generalized triangle vertices"?
Awarded May 4, 2022 at 17:07
Reverse-engineer forcing: am I reinventing the wheel?
Awarded Apr 5, 2022 at 14:35
A topological version of the Lowenheim-Skolem number
Awarded Oct 17, 2021 at 13:45
What sort of structure can amorphous sets support?
Awarded Oct 5, 2021 at 15:41
Memorable ordinals
Awarded Sep 26, 2021 at 1:49
Does sine interact equationally with addition alone?
Awarded Jun 26, 2021 at 1:12
Antirandom reals
Awarded Jun 9, 2021 at 18:56
Where do uncountable models collapse to?
Awarded May 1, 2021 at 21:32
When does an "$\mathbb{R}$-generated" space have a short description?
Awarded Apr 25, 2021 at 18:30
Who first proved that we can prove that we prove things we prove?
Awarded Feb 20, 2021 at 23:07
Pathological behavior of Borel sets?
Awarded Jan 16, 2020 at 3:45
What are Moschovakis cardinals?
Awarded Apr 2, 2019 at 19:55
On the global structure of the Gromov-Hausdorff metric space
Awarded Sep 9, 2018 at 16:10
Supercompact and Reinhardt cardinals without choice
Awarded Oct 4, 2017 at 2:48
When does Vopěnka's principle hold?
Awarded Sep 4, 2017 at 5:46
When can we detect forcing?
Awarded Jul 19, 2017 at 15:45
Characterization of Stone-Cech compactifications
Awarded May 9, 2017 at 13:02
A limit to Shoenfield Absoluteness
Awarded Dec 8, 2016 at 13:16
Godel on recursion-theoretic hierarchies
Awarded Dec 7, 2016 at 15:21
Is it ever a good idea to use Keisler-Shelah to show elementary equivalence?
Awarded Dec 11, 2015 at 7:54
Lawvere's fixed point theorem and the Recursion Theorem
Awarded Sep 9, 2015 at 1:14
Counterexamples in universal algebra
Awarded Jan 9, 2014 at 18:27
Fermat's Last Theorem and Computability Theory
Awarded Jun 18, 2013 at 21:35
What are some proofs of Godel's Theorem which are *essentially different* from the original proof?
Awarded Apr 24, 2013 at 6:50
Self-containing structures
Awarded Aug 9, 2011 at 6:20

Others with this badge