Search

Harvard Logic Colloquium: Justin Moore (Cornell), What makes the continuum Aleph-2

Event

Harvard Logic Colloquium: Justin Moore (Cornell), What makes the continuum Aleph-2

Harvard Logic Colloquium: Matthew Foreman (UC Irvine), When is time forward isomorphic to time backward?

Event

Harvard Logic Colloquium: Matthew Foreman (UC Irvine), When is time forward isomorphic to time backward?

Harvard Logic Colloquium: Richard A. Shore (Cornell), Infinite Ray Theorums: Complexity and Reverse Mathematics: Theorums of Hyperarithmetic Analysis

Event

Harvard Logic Colloquium: Richard A. Shore (Cornell), Infinite Ray Theorums: Complexity and Reverse Mathematics: Theorums of Hyperarithmetic Analysis

Harvard Logic Colloquium

Event

Maryanthe Malliaris (University of Chicago) "Comparing the complexity of unstable theories" In 1967 Keisler posed the problem of Keisler’s order, a suggested program for comparing the complexity of classes of mathematical structures using an asymptotic...

Harvard Logic Colloquium: George E. Smith (Tufts U.), Theory-Mediated Measurement of Interlinked Constants Evidence of a Different Kind?

Event

Harvard Logic Colloquium: George E. Smith (Tufts U.), Theory-Mediated Measurement of Interlinked Constants Evidence of a Different Kind? In his landmark paper of 1900 in which he derived his law of blackbody radiation from Boltzmann’s theory of entropy...

Harvard Logic Colloquium

Event

Joan Bagaria (Universitat de Barcelona) "Reflection phenomena in the set-theoretic universe" The phenomenon of reflection occurs at different layers of the set-theoretic universe V, and strengthened forms of reflection associated to each layer give rise...

Harvard Logic Colloquium

Event

Paul Larson
 (Miami University) TBA

Harvard Logic Colloquium

Event

Ralf Schindler
 (Universität Münster) TBA

Harvard Logic Colloquium

Event

Ilijas Farah
 (York University
) TBA

Harvard Logic Colloquium


Event

Grigor Sargsyan (Rutgers) "Covering, core model induction and hod mice"

Harvard Logic Colloquium: Theodore Slaman

Event

Theodore A. Slaman (University of California Berkeley): Recursion Theory and Diophantine Approximation Recursion Theory deals with the definability of sets, especially sets of natural numbers or equivalently real numbers. Diophantine Approximation deals...

Harvard Logic Colloquium: Aki Kanamori (Boston University)

Event

Aki Kanamori (Boston Univeristy) Aspect-perception and the History of Mathematics