Skip to main content
Pace Nielsen's user avatar
Pace Nielsen's user avatar
Pace Nielsen's user avatar
Pace Nielsen
  • Member for 16 years, 2 months
  • Last seen this week
57 votes
7 answers
10k views

Zorn's lemma: old friend or historical relic?

35 votes
6 answers
4k views

Is there a metamathematical $V$?

32 votes
6 answers
6k views

How do we recognize an integer inside the rationals?

31 votes
10 answers
5k views

Defining the standard model of PA so that a space alien could understand

31 votes
4 answers
5k views

How dangerous are set-size assumptions?

28 votes
2 answers
957 views

$A^2$ is isomorphic to $A^{(\omega)}$, but not $A$

27 votes
4 answers
12k views

Is there an elementary way to find the integer solutions to $x^2-y^3=1$?

26 votes
2 answers
2k views

What do you do if you believe a problem is undecidable?

23 votes
5 answers
2k views

Platonic Truth and 1st Order Predicate Logic

17 votes
1 answer
2k views

The axiom of choice as a consequence of a stronger semantics?

17 votes
0 answers
668 views

Are there more true statements than false ones?

15 votes
1 answer
885 views

Spelling König's Lemma

14 votes
3 answers
2k views

Tarski's truth theorem — semantic or syntactic?

14 votes
1 answer
925 views

Papers with a large number of coauthors

14 votes
2 answers
1k views

MathSciNet Reference Fixes

14 votes
1 answer
2k views

Character sums over prime arguments

12 votes
2 answers
1k views

Density in van der Waerden's theorem

11 votes
2 answers
1k views

Set theory bootstrapping

11 votes
2 answers
689 views

Identifying a group without 2-torsion

11 votes
4 answers
2k views

When is it okay to intersect infinite families of proper classes?

11 votes
2 answers
529 views

Odd degree polynomials over fields

10 votes
0 answers
1k views

Dimensions of dual vector spaces

10 votes
3 answers
728 views

Freiling's Axiom of Symmetry Concretized

10 votes
2 answers
610 views

A back and forth Euclidean algorithm over the integers--does it have bounded length?

10 votes
1 answer
280 views

Matrix ring isomorphisms of different sizes

9 votes
3 answers
3k views

Russell's paradox as understood by current set theorists

9 votes
1 answer
1k views

First isomorphism theorem for sets?

9 votes
1 answer
788 views

Hensel's lemma, Bezout's identity, and the integers

9 votes
4 answers
625 views

Basic Algebraic Applications of Stationary Sets?

8 votes
3 answers
909 views

Does a left basis imply a right basis, without AC?