Welcome to my research site!
On the right, you see some of the main research topics I’m interested in. Click on your favorite topic to see what I have to say about it…
In each topic, you will find a variety of posts which usually fall into two types:
 Posts about research papers. In these posts, I talk about some interesting ideas from research papers that I wrote or read. These posts are not paper abstracts or outlines, they are rather to explain why I find these ideas interesting, how these ideas are be related to other ideas, and other tidbits of information that you wouldn’t necessarily find in the paper itself. The goal is to get you to read the paper, especially when it’s one of my papers! Maybe you already read it, in which case you can add your own connections and tidbits of information in the comments…
 Posts about research ideas. New research ideas pop up all the time, but only a few become full blown research projects. Even if I get a few interesting results, these incomplete ideas usually get filed away in favor of more pressing matters. Rather than losing these ideas or letting them collect dust, I post them here where they can be more useful. Maybe you thought about the same thing or something related and you got a few more results? In that case, we should start a research project together…
You may also find posts about research events, resources, humor, and other stuff I find interesting. In all cases, these posts will be informal but often technical.
Have fun reading!
François G. Dorais
Topics
 Category Theory (1)
 Combinatorics (6)
 Computability Theory (3)
 General Topology (2)
 Humor (4)
 Independence Proofs (3)
 Mathematical Games (2)
 Mathematical Philosophy (6)
 Model Theory (2)
 News (12)
 Proof Theory (3)
 Reverse Mathematics (7)
 Set Theory (11)
 Type Theory (8)
Tags

Alan Taylor
Alexander Kechris
Alexander Kuklev
Andreas Blass
Andrej Bauer
Anne Troelstra
Axiom of Choice
Bertrand Russell
Bill Lawvere
Cardinal characteristics
Carl Jockusch
Carl Mummert
Choquet game
Chordal graphs
Claude Berge
Comparability graphs
Daniel McDonald
Dartmouth College
Decidability
Denis Hirschfeldt
Doug Cenzer
Dror BarNatan
DushnikMiller dimension
EF games
Equational logic
Erik Palmgren
Ernst Zermelo
ETCS
Excluded middle
Forcing
Frank Ramsey
Frank Stephan
Frank Tall
Fraïssé's Theorem
Fred Galvin
GaloisTukey connections
Game semantics
Garrett Birkhoff
Georg Cantor
Harvey Friedman
Haskell Curry
Henry Towsner
HoTT
Independent sets
Interval graphs
Intuitionistic logic
Itay Neeman
Jaap van Oosten
Jan Mycielski
Jared Corduan
Jeff Hirst
Jim Baumgartner
Joel David Hamkins
Jorge Luis Borges
José FigueroaO'Farrill
Justin Tatch Moore
Ken Kunen
L. E. J. Brouwer
Lionel Nguyen van Thé
László Lovász
Manuel Rivera
Maria Chudnovsky
Mariano SuárezAlvarez
MathOverflow
Metric spaces
MF spaces
Mike Shulman
Minimal logic
Misha Perles
Neil Robertson
Neil Williams
New Foundations
Noam Elkies
Open Questions
ParisHarrington Theorem
Paul Seymour
Peano arithmetic
Perfect graphs
Per MartinLöf
Peter Aczel
Peter Hinman
Peter Vojtáš
Polish spaces
Posets
Publishing
Radu Diaconescu
Rafał Filipów
Ramsey theory
Realizability
Reed Solomon
Reflection principles
Richard Friedberg
Richard Rado
Richard Shore
Robin Thomas
Rod Downey
Ron Aharoni
Russell's Paradox
Sean Eberhard
Secondorder arithmetic
Selfreference
Settheoretic multiverse
SMBC
SPNetwork
Stan Wagon
Steffen Lempp
Steven Gubkin
Stevo Todorcevic
Thomas Forster
Thomas Jech
Tomasz Natkaniec
Tom Goodwillie
Tom Leinster
Trees
Ultrametric spaces
Univalence
Universal algebra
Uri Abraham
Victoria Gitman
Vladimir Pestov
Wacław Sierpiński
Weak König Lemma
XKCD
ZFC
Posts
 Super HoTT
 On the structure of universes in HoTT
 HoTT Math 4: Local rings and fields
 HoTT Math 3: Unit group of a ring
 HoTT Math 2: More on equational logic
 HoTT Math 1: Elementary group theory
 HoTT Math Series
 Homotopy Type Theory
 Selected Papers Network
 What is combinatorial set theory?
 Arithmetical consequences of the settheoretic multiverse
 Towsner’s stable forcing
 Back to Cantor?
 Scheming schemes…
 Diaconescu’s Theorem
 SMBC on madness…
 Back to the origin…
 Envelope forcing
 Bumper sticker
 Possibly true. Necessarily funny.
 Convergence of ideas
 A partition theorem for finite trees
 Disqus
 Generalized separation principles
 Subposets of small dimension
 Why write papers?
 XKCD on the Axiom of Choice…
 On a theorem of Mycielski and Taylor
 Uncountable perfect graphs
 Classically valid theorems of intuitionistic analysis
 On computing complex square roots
 Counting Birds…
 Santa Exists!
 Getting started…
 Complete subspaces of a metric space
 Stationary strategies in Choquet games
 ParisHarrington and Typing
 A gametheoretic proof of Fraïssé’s Theorem
 Hello Booles’ Rings!