COREY BACAL SWITZER

CONTACT

365 5th Avenue, New York, NY 1001 Department of Mathematics, The Graduate Center, CUNY [email protected] http:\\coreyswitzer.wordpress.com Phone: +1-917-742-4728

EDUCATION

Ph.D. in Mathematics, May 2020 (Expected) The Graduate Center, The City University of New York Dissertation Advisors: Gunter Fuchs and Joel David Hamkins Dissertation: Alternative Cicho´nDiagrams and Forcing Axioms Compatible with CH Masters, Second Year in and Foundations of Computer Science, May 2016, Honors (Mention Bien) L’Universit´ede Paris 7, Denis Diderot, Paris, France Thesis Advisor: Boban Veliˇckovi´c Thesis: Iterating Generalized Proper Forcings with Side Conditions Masters, First Year in Logic, May 2015, High Honors (Mention Tr`esBien) L’Universit´ede Paris 1, Panth´eon-Sorbonne, Paris, France B.A. in Mathematics and Philosophy, May 2014, High Honors (First Class) Trinity College, Dublin, Ireland A.A. in Liberal Arts, May 2014, Obtained jointly with my high school diploma Bard College, New York

PUBLICATIONS AND OTHER WRITING

Journal Articles 1. Corey Switzer, The Cichon Diagram for Degrees of Constructibility, forthcoming in Math- ematical Logic Quarterly (2020). 2. Corey Switzer, Specializing Wide Aronszajn Trees Without Adding Reals, Mathematics ArXiv, arXiv:2002.08206 [math.LO], (2020), submitted to the RIMS Kokyuroku. 3. Corey Switzer, Higher Dimensional Cardinal Characteristics for Sets of Functions, Mathe- matics ArXiv, arXiv:1909.07458 [math.LO], (2019), Submitted to The Annals of Pure and Applied Logic. 4. Corey Switzer, Independence in Arithmetic: The Method of (L, n)-Models, Mathematics ArXiv. arXiv: 1906.04273 [math.LO], (2019), submitted to The Bulletin of Symbolic Logic. 5. Gunter Fuchs and Corey Switzer, Iterating Subversion Forcing Classes, in preparation, 30 Pages. 6. Joel David Hamkins and Corey Switzer, The Class Forcing Axiom, in preparation, 9 Pages. Theses 1. Corey Switzer, Alternative Cicho´nDiagrams and Forcing Axioms Compatible with CH, PhD Dissertation, CUNY Graduate Center, (2020). 2. Corey Switzer, Iterating Generalized Proper Forcings with Side Conditions, 2nd Year Mas- ters’ thesis, L’Universit´ede Paris VII, (2016). 3. Corey Switzer, Grands Cardinaux, Mod`elesInt´erieurset un Probl`emede Woodin, 1st Year Masters’ thesis, L’Universit´ede Paris I, (2015).

RESEARCH INTERESTS

Mathematical Logic, , and Combinatorics: cardinal characteristics, iterated forcing, infinite combinatorics, forcing axioms, model theory of arithmetic, higher computability theory, Ramsey theory, graph theory, set theoretic topology and measure theory

TEACHING

Hunter College, CUNY Winter 2018–Present Graduate Teaching Fellow Winter 2018–Present

As a graduate teaching fellow, I teach at Hunter College, CUNY. I have been the primary instructor for every course I have taught, in charge of writing and delivering lectures, producing syllabi, meeting with students, writing and grading exams and organizing all other aspects of the courses. My teaching has been well received by students. I currently have a 5.0 rating on ratemyprofessor.com, and similarly high scores on internal Hunter reviews. Courses Taught: Math 150 Calculus with Analytic Geometry I (Spring 2018 (2 sections), Summer 2018, Fall 2018 (2 Sections), Spring 2019, Fall 2019, Spring 2020) Math 156 Mathematical Proofs (Winter 2018) Math 125 Precalculus (Spring 2019)

CONFERENCE TALKS

Infinity Subversion Forcing, University of Kyoto, Japan (November 2019), RIMS Set The- ory Workshop 2019 Cardinal Characteristics for Sets of Functions, University of Kobe, Japan (November 2019) (L, n)-Models, CUNY Graduate Center (May 2019), Journ´eessur les Arithm´etiquesFaibles Models of SCFA Violating CH, University of Campinas, Brazil (December 2018), Cantor Meets Robinson The Cichon Diagram for Degrees of Constructibility, University of Wisconsin, Madison (March 2018), Graduate Student Logic Conference SEMINAR TALKS

Generalized Cardinal Characteristics for Sets of Functions, Kurt G¨odelResearch Center, University of Vienna (January 2020), KGRC Research Seminar Eventual Domination on Baire Space, and Higher Dimensional Analogues, Virginia Com- monwealth University (October 2019), Analysis, Logic, Physics Seminar Constructions of Size Continuum, CUNY Graduate Center (October 2019), Models of Peano Arithmetic Seminar (L, n)-models, University of Pennsylvania (April 2019), Logic and Computation Seminar Independence in Arithmetic and Non-Standard Combinatorics, BCC CUNY (March 2019), BCC Math Seminar The Cichon Diagram for Degrees of Constructibility, Rutgers University (March 2019), Rutgers Logic Seminar Sets at Arm’s Length, CUNY Graduate Center (February 2019), Models of Peano Arith- metic Seminar Why PA?, CUNY Graduate Center (Novermber 2018), Models of Peano Arithmetic Sem- inar Cichon Diagrams for Degree Theories, University of Wisconsin, Madison (November 2018), UW Logic Seminar Models of SCFA Violating CH, CUNY Graduate Center (September 2018), CUNY Set Theory Seminar Applications of (L, n)-Models, CUNY Graduate Center (September 2018), Models of Peano Arithmetic Seminar Forcing Over Arithmetic: Arboreal Forcings, CUNY Graduate Center (February 2018), Models of Peano Arithmetic Seminar A Cichon Diagram for Degrees of Constructibility CUNY Graduate Center (November 2017), CUNY Set Theory Seminar, this talk, which was on original research, served as my Oral Exam, for which I was given High Pass Iterating Proper and Semiproper Forcings with Side Conditions, CUNY Graduate Center, (April 2017), CUNY Set Theory Seminar The HOD Dichotomy, Rutgers University (March 2017), Learning Seminar on the HOD Conjecture Recursively Saturated, Rather Classless Models in the Constructible Universe, CUNY Grad- uate Center (March 2017), Models of Peano Arithmetic Seminar

AWARDS AND FELLOWSHIPS

CUNY Mathematics Fellowship, 5 Year Fully Funded PhD contract, CUNY Graduate Center, Fall 2016-Present ($ 255,000 over 5 years, 5th year projected to be declined due to finishing early) Invited Research Visit to the Kurt G¨odelResearch Center, Vienna, Austria, January 2020 Invited Research Visit to the University of Kobe, Japan, November 2019 Doctoral Students Research Grant, Awarded for the project Forcing Axioms Compatible with CH, CUNY Graduate Center, June 2019- June 2020 Received Funding to attend 50 Years of Set Theory in Toronto at The Fields Institue of Mathematical Sciences in Toronto, Canada, May 2019 Invited research visit to University College, Oxford, UK January 2019 Received funding from the Association of Symbolic Logic to attend the conference Cantor Meets Robinson, University of Campinas, December 2018 Received funding to attend Appalachian Set Theory at Carnegie Mellon University, June 2018 Received funding to attend Summer School in Descriptive Set Theory and Ergodic Theory, UC Irvine, August 2017 Recipient of the John Isaac Beare Prize for the best undergraduate philosophy papers at Trinity College, Dublin, Fall 2011 Recipient of the Louis Kennedy Prize for the highest exam scores in mathematics at Trinity College, Dublin, Fall 2011 Recipient of the Townsend Memorial Prize for Excellence in mathematics at Trinity College, Dublin, Fall 2011

SERVICE

Co-organizer (with V. Gitman), Set Theory Seminar, The Graduate Center, CUNY. Fall 2018–Present. Co-organizer (with G. Fuchs and V. Gitman), CUNY Spring Fling Set Theory Conference, an NSF funded conference to be held at CUNY April 22-24, 2020. Organizer, Student Set Theory Seminar, The Graduate Center, CUNY. Fall 2018.

LANGUAGES

English Mother Tongue French Near Native Fluency Spanish Conversational

REFERENCES

Joel David Hamkins Professor in Logic, Faculty of Philosophy Email: [email protected] Gunter Fuchs Professor in Mathematics The Graduate Center and the College of Staten Island, CUNY Email: [email protected] Roman Kossak Professor in Mathematics The Graduate Center and BCC, CUNY Email: [email protected] (For Teaching) Ilya Kapovich Professor of Mathematics Hunter College, CUNY Email: [email protected]