Stefan Geschke's user avatar
Stefan Geschke's user avatar
Stefan Geschke's user avatar
Stefan Geschke
  • Member for 13 years, 8 months
  • Last seen more than a month ago
48 votes

What's a magical theorem in logic?

45 votes
Accepted

The sets in mathematical logic

44 votes
Accepted

Does anyone know a polynomial whose lack of roots can't be proved?

36 votes
Accepted

Is there a measure zero set which isn't meagre?

35 votes
Accepted

Work on independence of pi and e

33 votes

Proof that no differentiable space-filling curve exists

32 votes

Arguments against large cardinals

30 votes

Mathematical habits of thought and action which would be of use to non-mathematicians

30 votes

Theorems with unexpected conclusions

28 votes

Clearing misconceptions: Defining "is a model of ZFC" in ZFC

24 votes

Is Galois theory necessary (in a basic graduate algebra course)?

23 votes

Topological spaces that resemble the space of irrationals

23 votes
Accepted

totally disconnected and zero-dimensional spaces

21 votes

Should there be a true model of set theory?

20 votes
Accepted

Don't the axioms of set theory implicitly assume numbers?

20 votes
Accepted

Is it possible to show that an infinite set has a countable (infinite) subset, without using the Axiom of Choice?

19 votes

Definable Wellordering of the Reals

17 votes
Accepted

Aren't "oracle machines" unsound concepts?

17 votes

How many well orderings of $\aleph_0$ are there?

17 votes
Accepted

How to construct a continuous finite additive measure on the natural numbers

16 votes
Accepted

Is there a least-fixed-point formulation of inaccessible cardinals?

16 votes

Can a problem be simultaneously polynomial time and undecidable?

16 votes
Accepted

Does "taking the dual space" stabilize?

14 votes
Accepted

What is random real forcing?

14 votes

What math institutes offer research in pairs/research in teams?

14 votes
Accepted

Sections measure zero imply set is measure zero?

13 votes

Why are possibility and necessity dual?

13 votes
Accepted

The image of a measurable set under a measurable function.

13 votes
Accepted

the example of ccc but not separable

13 votes

What is the generic poset used in forcing, really?

1
2 3 4 5 6