User François G. Dorais - MathOverflow

François G. Dorais

Member for 14 years, 5 months
Last seen this week

GitHub
dorais.org
Burlington, VT, United States

24 Questions

Score Activity Newest Views

4 votes

1 answer

204 views

Graphs with Hermitian Unitary Edge Weights

asked Aug 5, 2019 at 5:00

21 votes

2 answers

540 views

Do these polynomials have alternating coefficients?

asked Oct 8, 2017 at 15:55

28 votes

0 answers

810 views

Can one divide by the cardinal of an amorphous set?

asked Apr 9, 2016 at 22:05

7 votes

1 answer

432 views

The definition of < in Robinson's Q

asked Jul 24, 2014 at 16:49

2 votes

0 answers

142 views

A generalization of quasi-identities

asked Aug 14, 2013 at 15:44

44 votes

9 answers

3k views

Homotopy as a general organizing principle

asked Jul 15, 2013 at 14:40

10 votes

2 answers

996 views

Are simplicial sets the intended model of HoTT?

asked Jul 11, 2013 at 1:25

11 votes

3 answers

1k views

Equivalent form of the Univalence Axiom

asked Jun 22, 2013 at 3:36

45 votes

4 answers

5k views

The origin of sets?

asked Dec 22, 2012 at 21:32

38 votes

10 answers

4k views

Believing the Conjectures

asked Oct 25, 2012 at 15:45

9 votes

1 answer

604 views

Distinguishing two local versions of the axiom of choice

asked Jul 17, 2012 at 21:02

16 votes

4 answers

726 views

Continuously selecting elements from unordered pairs

asked Sep 5, 2011 at 20:17

14 votes

3 answers

1k views

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

asked Aug 6, 2011 at 19:22

8 votes

2 answers

2k views

Haar measure for large locally compact groups

asked Jul 19, 2011 at 18:21

3 votes

1 answer

425 views

Axiomatizations of complete theories

asked Feb 21, 2011 at 12:19

8 votes

1 answer

1k views

Lattice-ordered commutative monoids

asked Nov 13, 2010 at 18:09

25 votes

3 answers

3k views

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

asked Jun 30, 2010 at 19:43

18 votes

4 answers

1k views

Subposets of small Dushnik-Miller dimension

asked Jun 22, 2010 at 23:37

11 votes

2 answers

498 views

Uniform solutions to Post's problem for axiomatizable theories

asked May 30, 2010 at 2:44

15 votes

2 answers

723 views

Effectively closed computable functions

asked May 21, 2010 at 17:41

9 votes

4 answers

659 views

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

asked Apr 21, 2010 at 12:33

6 votes

2 answers

313 views

Bounds on a partition theorem with ambivalent colors

asked Mar 25, 2010 at 1:04

49 votes

4 answers

8k views

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

asked Feb 14, 2010 at 0:40

18 votes

1 answer

1k views

Are there analogues of Desargues and Pappus for block designs?

asked Jan 13, 2010 at 1:03