Research

Research Interests:

Set Theory: Iterated forcing, forcing axioms, infinitary combinatorics, cardinal characteristics of the continuum, set theoretic topology and set theory of the real line

Computability Theory: Set theoretic aspects of computability, forcing in computability theory, infinite generalizations of computability, cardinal characteristics in the context of computability theory

Model Theory: Non standard models of arithmetic and set theoretic aspects of such

Philosophy of Mathematics and Logic: Philosophy of Set Theory, proof theory of modal logics, applications of proof theory to philosophy of logic and mathematics

Papers and Theses:

  1. The Cichon Diagram for Degrees of Constructibility (Submitted). Here is a preprint: The Cichon Diagram for Degrees of Relative Constructibility.
  2. Iterating Generalized Proper Forcings with Side Conditions, 2nd Year Masters’ thesis written under the supervision of Boban Velickovic for the program LMFI at Université de Paris VII
  3. Grands Cardinaux, Modèles Intérieurs et un Problème de Woodin, 1st Year Masters’ thesis written under the supervision of Mirna Dzamonja for the program LoPhiSc at Université de Paris I

Talks Given

  1. Graduate Student Logic Conference, University of Wisconsin, Madison
    1. 4/22/18 The Cichon Diagram for Degrees of Constructibility
  2. Set Theory Seminar, The Graduate Center, CUNY
    1. 11/10/17 A Cichon Diagram for Degrees of Constructibility, This was my oral exam
    2. 4/28/17, 5/12/17 Iterating Proper and Semiproper Forcings with Side Conditions Parts I and II
  3. Learning Seminar on the HOD Conjecture, Rutgers University
    1. 3/29/17 The HOD Dichotomy, Part I
  4. Models of Peano’s Arithmetic, The Graduate Center, CUNY
    1. 2/21/18, 2/28/18 Forcing Over Arithmetic: Arboreal Forcings, Parts I and II
    2. 3/1/17, 3/8/17 Recursively Saturated, Rather Classless Models in the Constructible Universe, Parts I and II

 

Advertisements