François G. Dorais's user avatar
François G. Dorais's user avatar
François G. Dorais's user avatar
François G. Dorais
  • Member for 14 years, 4 months
  • Last seen this week
49 votes
4 answers
8k views

Is there an "elementary" proof of the infinitude of completely split primes?

45 votes
4 answers
5k views

The origin of sets?

44 votes
9 answers
3k views

Homotopy as a general organizing principle

37 votes
10 answers
4k views

Believing the Conjectures

28 votes
0 answers
809 views

Can one divide by the cardinal of an amorphous set?

25 votes
3 answers
3k views

Composite pairs of the form n!-1 and n!+1

21 votes
2 answers
539 views

Do these polynomials have alternating coefficients?

18 votes
1 answer
1k views

Are there analogues of Desargues and Pappus for block designs?

18 votes
4 answers
1k views

Subposets of small Dushnik-Miller dimension

16 votes
4 answers
726 views

Continuously selecting elements from unordered pairs

15 votes
2 answers
722 views

Effectively closed computable functions

14 votes
3 answers
1k views

Partitioning $\mathbb{R}$ into $\aleph_1$ Borel sets

11 votes
3 answers
1k views

Equivalent form of the Univalence Axiom

11 votes
2 answers
497 views

Uniform solutions to Post's problem for axiomatizable theories

10 votes
2 answers
990 views

Are simplicial sets the intended model of HoTT?

9 votes
1 answer
603 views

Distinguishing two local versions of the axiom of choice

9 votes
4 answers
659 views

Is there a common name for the complement of a metric space in its completion?

8 votes
1 answer
1k views

Lattice-ordered commutative monoids

8 votes
2 answers
2k views

Haar measure for large locally compact groups

7 votes
1 answer
431 views

The definition of < in Robinson's Q

6 votes
2 answers
313 views

Bounds on a partition theorem with ambivalent colors

4 votes
1 answer
204 views

Graphs with Hermitian Unitary Edge Weights

3 votes
1 answer
424 views

Axiomatizations of complete theories

2 votes
0 answers
142 views

A generalization of quasi-identities