current community
chat
blog
MathOverflow
MathOverflow Meta
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
Stack Exchange
Inbox
Reputation and Badges
sign up
log in
tour
help
Tour
Start here for a quick overview of the site
Help Center
Detailed answers to any questions you might have
Meta
Discuss the workings and policies of this site
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
Noah Schweber
Meta User
Network Profile
Reputation
9,859
top
2%
this year
9.9k
5.1k
281
2012
2013
2014
2015
Top tag
lo.logic
Next privilege
10,000 Rep.
Access moderator tools
Badges
2
22
76
Newest
Nice Question
Next badge
0/1
Excavator
Impact
~
134k
people reached
13 posts edited
20 helpful flags
1,080 votes cast
summary
answers
questions
tags
badges
favorites
bounties
reputation
all actions
144
Answers
newest
activity
votes
31
The error in Petrovski and Landis' proof of the 16th Hilbert problem
Jun 17 '14 at 4:03
25
What are some deep theorems, and why are they considered deep?
Aug 16 '13 at 20:01
21
Are there proofs that you feel you did not “understand” for a long time?
May 17 '13 at 3:25
18
What is the most useful non-existing object of your field?
Sep 28 '14 at 22:20
16
What are some deep theorems, and why are they considered deep?
Aug 16 '13 at 20:20
16
Similarities between Post's Problem and Cohen's Forcing
Mar 8 '13 at 21:30
12
Does PA+Con(PA) entail the existence of non-standard models of PA?
Mar 23 at 4:00
12
Road to Solovay's Land.
Aug 11 '12 at 1:53
11
Independence of the countable axiom of choice
Mar 14 at 20:38
11
Consistency Results Separating Three Cardinal Characteristics Simultaneously
Feb 4 '14 at 3:24
11
Consistency of Analysis (second order arithmetic)
Mar 8 '14 at 8:06
10
Application of Fraïssé construction in set theory
Mar 6 at 7:48
10
In $L$, does there exist a definable non-principal ultrafilter on $\mathbb{N}$
Jan 21 '14 at 7:19
10
Computability complexity of the first-order theory of arithmetic?
May 29 '13 at 2:29
10
A Model where Dedekind Reals and Cauchy Reals are Different
Apr 24 '13 at 7:34
10
How are Modal Logic and Graph Theory related?
Feb 3 '13 at 20:19
9
The status of 'the consistency of NF relative to ZF'
Jul 28 at 20:22
8
Relation between Turing degrees and functions computable with them
Nov 21 '14 at 18:43
8
What “forces” us to accept large cardinal axioms?
Apr 26 '14 at 12:17
8
Proof-Theoretic Ordinal of ZFC or Consistent ZFC Extensions?
Oct 5 '13 at 20:24
8
Ordinal Exponentiation in Genzen's Sequent Calculus
Aug 2 '13 at 3:49
8
An example of a proof that is explanatory but not beautiful? (or vice versa)
Jul 24 '13 at 6:00
8
Is it possible to construct an infinite subset of $\Bbb R$ that is not order isomorphic to any proper subset of itself?
May 26 '13 at 18:25
8
Question on Godel completeness theorem
Mar 26 '13 at 17:38
8
Notation arb(x)
Jan 20 '13 at 15:42
7
Precise interpretability strength of $\mathcal P_{DF}(\omega)$ and $L_{\omega_1^{CK}}$
Aug 27 at 8:32
7
Explicit counter example to VopÄ›nka's principle in the constructible universe?
Apr 22 at 8:50
7
A Question related to the Formula Hierarchy
Oct 29 '14 at 16:58
7
Is there a Hotel California of set-theoretic geology?
Mar 20 '14 at 6:24
7
Very Large Cardinal Axioms and Continuum Hypothesis
Jan 22 '14 at 23:34
MathOverflow works best with JavaScript enabled