Recent and upcoming talks by François Dorais

BLAST 2013, August 5–9

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. It circulates between different universities. This year it will be at Chapman University in Orange, CA. continue reading…

François G. Dorais: The Set-Theoretic Multiverse

The Dartmouth Logic Seminar will meet on Wednesday, January 23, at 3:00pm in Kemeny 120. The speaker this week will be François G. Dorais (Dartmouth College). Title: The Set-Theoretic Multiverse Abstract: Joel David Hamkins proposed a list of axioms for the multiverse view of set theory. continue reading…

François G. Dorais: Interpreting set theory in second-order arithmetic

Logic Seminar will meet on Wednesday, October 10, at 3:00pm in Kemeny 120. The speaker this week will be François G. Dorais (Dartmouth College), who will continue the topic from last time. continue reading…

François G. Dorais: Interpreting set theory in second-order arithmetic

Logic Seminar will meet on Wednesday, September 26, at 3:00pm in Kemeny 120. The speaker this week will be François G. Dorais (Dartmouth College). Title: Interpreting set theory in second-order arithmetic Abstract: We will discuss the problem of interpreting fragments of set theory into subsystems of second-order arithmetic. continue reading…