Recent and upcoming talks by François Dorais

2018 North American ASL Meeting, Illinois, May 16-19, 2018

  Association for Symbolic Logic 2018 North American Annual Meeting May 16 – May 19, 2018 Western Illinois University • Macomb, Illinois   Invited Speakers: Plenary Speakers: JC Beall, University of Connecticut (TBA) A. continue reading…

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…