Stack Exchange

Noah Schweber

https://math.berkeley.edu/~schweber/

A graduate student at UC-Berkeley, interested in mathematical logic - specifically, computability theory and reverse mathematics, set theory, and abstract model theory. I'm also interested in other Nifty Things, in mathematics and elsewhere.

top accounts reputation activity favorites subscriptions
Top Questions
43 votes

When should I be doing cohomology?

logic set-theory homology-cohomology asked Dec 30 '14 at 19:22
math.stackexchange.com

35 votes

Counterexamples in universal algebra

big-list lattices universal-algebra counterexamples asked Jan 9 '14 at 2:51
mathoverflow.net

31 votes

What is the intuition between 1-cocycles (group cohomology)?

intuition examples-counterexamples group-cohomology asked Feb 24 '13 at 2:16
math.stackexchange.com

31 votes

Godel on recursion-theoretic hierarchies

lo.logic computability-theory descriptive-set-theory reference-request proof-theory asked Mar 26 '13 at 4:52
mathoverflow.net

31 votes

What are some proofs of Godel's Theorem which are *essentially different* from the original proof?

lo.logic model-theory alternative-proof soft-question asked Aug 4 '11 at 3:35
mathoverflow.net

30 votes

Positive set theory, antifoundation, and the “co-Russell set”

logic set-theory foundations alternative-set-theories asked Sep 15 '17 at 22:44
math.stackexchange.com

28 votes

Where do uncountable models collapse to?

lo.logic set-theory model-theory forcing asked Oct 14 '15 at 4:45
mathoverflow.net

26 votes

Supercompact and Reinhardt cardinals without choice

lo.logic large-cardinals set-theory axiom-of-choice asked Apr 23 '12 at 1:53
mathoverflow.net

22 votes

On the global structure of the Gromov-Hausdorff metric space

gn.general-topology mg.metric-geometry asked Jul 26 '15 at 17:42
mathoverflow.net

21 votes

Relative null-ness

lo.logic set-theory real-analysis measure-theory asked Sep 21 '15 at 4:03
mathoverflow.net

1 2 3 4 5 … 10

Top Answers
141
Why is it important for a matrix to be square?
math.stackexchange.com

113
Where are the axioms?
math.stackexchange.com

96
Why are There No “Triernions” (3-dimensional analogue of complex numbers / quaternions)?
math.stackexchange.com

73
Is there a bijection between the reals and naturals?
math.stackexchange.com

73
What does it mean to suspect that two conjectures are logically equivalent?
mathoverflow.net

72
Is mathematics just a bunch of nested empty sets?
math.stackexchange.com

72
Why write ten as $10$ and not as $00$
math.stackexchange.com

66
What's wrong with this reasoning that $\frac{\infty}{\infty}=0$?
math.stackexchange.com

62
What are some important but still unsolved problems in mathematical logic?
mathoverflow.net

58
Are there any Turing-undecidable problems whose undecidability is independent of the Halting problem?
math.stackexchange.com

56
Avoiding proof by induction
math.stackexchange.com

53
Why do people accept the axiom of choice given the well ordering principle?
math.stackexchange.com

50
Does the existence of a mathematical object imply that it is possible to construct the object?
math.stackexchange.com

49
Difference between provability and truth of Goodstein's theorem
math.stackexchange.com

48
Is there a function $f:{\mathbb N}\to{\mathbb N}$ that is neither injective nor surjective?
math.stackexchange.com

46
Why aren't all square roots irrational?
math.stackexchange.com

43
Opposite of Fermat's Last Theorem?
math.stackexchange.com

41
Is there any uncountably infinite set that does not generate the reals?
math.stackexchange.com

41
Hilbert's alleged proof of the Continuum Hypothesis in “On the Infinite”
mathoverflow.net

41
Do we cite results in Arxiv which are obviously wrong?
academia.stackexchange.com

40
Is there a model of ZFC inside which ZFC does not have a model?
math.stackexchange.com

40
Is aleph-$0$ a natural number?
math.stackexchange.com

40
Set builder notation: Colon or Vertical Line
math.stackexchange.com

39
Implication in mathematics - How can A imply B when A is False?
math.stackexchange.com

39
Are there fewer positive integers than all integers?
math.stackexchange.com

39
Are the rationals on a unit circle dense?
math.stackexchange.com

36
Is most of mathematics independent of set theory?
math.stackexchange.com

36
The error in Petrovski and Landis' proof of the 16th Hilbert problem
mathoverflow.net

34
Is the limit of this infinite step construction an equilateral triangle?
math.stackexchange.com

34
What's between the finite and the infinite?
math.stackexchange.com

1 2 3 4 5 … 10