Skip to main content
Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor
  • Member for 14 years, 5 months
  • Last seen this week
18 votes
1 answer
2k views

Uses of Zorn's Lemma when the thing is actually unique

14 votes
1 answer
596 views

History of well founded relations

13 votes
2 answers
990 views

Maximal ideals are prime (history answer please!)

12 votes
1 answer
436 views

Tarski-Seidenberg for strict inequalities and bounded quantification

9 votes
1 answer
1k views

Well founded induction attributed to Noether

8 votes
0 answers
290 views

Unions=colimits in categories

7 votes
1 answer
1k views

Differentiability of the distance function from a (variable) point to a (fixed) set

7 votes
0 answers
606 views

A new and subtle order-theoretic fixed point theorem

5 votes
3 answers
1k views

Understanding $\forall p \, q .\, \sqrt{2} \neq p/q$ constructively

5 votes
0 answers
208 views

Compact set covered by two opens

5 votes
0 answers
599 views

Bourbaki-Witt in a textbook, other than in logic?