4. current community

    your communities

    more stack exchange communities

    company blog

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
39 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

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

30 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

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

intuition examples-counterexamples group-cohomology asked Feb 24 '13 at 2:16
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

25 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

21 votes

Self-containing structures

gn.general-topology lo.logic ag.algebraic-geometry soft-question counterexamples asked Mar 24 '13 at 2:03
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
135
Why is it important for a matrix to be square?
math.stackexchange.com

109
Where are the axioms?
math.stackexchange.com

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

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

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

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

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

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

60
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

52
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

40
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

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

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

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

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

38
Set builder notation: Colon or Vertical Line
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