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 (5)
- Model Theory (2)
- News (11)
- Proof Theory (2)
- Reverse Mathematics (7)
- Set Theory (11)
Tags
-
Alan Taylor
Alexander Kechris
Andreas Blass
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 Bar-Natan
Dushnik-Miller dimension
EF games
Ernst Zermelo
ETCS
Excluded middle
Forcing
Frank Ramsey
Frank Stephan
Frank Tall
Fraïssé's Theorem
Fred Galvin
Galois-Tukey connections
Game semantics
Georg Cantor
Harvey Friedman
Haskell Curry
Henry Towsner
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é Figueroa-O'Farrill
Justin Tatch Moore
Ken Kunen
L. E. J. Brouwer
Lionel Nguyen van Thé
László Lovász
Manuel Rivera
Maria Chudnovsky
Mariano Suárez-Alvarez
MathOverflow
Metric spaces
MF spaces
Minimal logic
Misha Perles
Neil Robertson
Neil Williams
New Foundations
Noam Elkies
Open Questions
Paris-Harrington Theorem
Paul Seymour
Peano arithmetic
Perfect graphs
Per Martin-Lö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
Second-order arithmetic
Self-reference
Set-theoretic multiverse
SMBC
SPNetwork
Stan Wagon
Steffen Lempp
Steven Gubkin
Stevo Todorcevic
Thomas Forster
Thomas Jech
Tomasz Natkaniec
Tom Goodwillie
Tom Leinster
Trees
Ultrametric spaces
Uri Abraham
Victoria Gitman
Vladimir Pestov
Wacław Sierpiński
Weak König Lemma
XKCD
ZFC
Posts
- Selected Papers Network
- What is combinatorial set theory?
- Arithmetical consequences of the set-theoretic 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
- Paris-Harrington and Typing
- A game-theoretic proof of Fraïssé’s Theorem
- Hello Booles’ Rings!