New York Logic

|Logic talks and events in New York

Matthew Harrison-Trainor

October 14, 2015

Matthew Harrison-Trainor

University of California Berkeley

external web page

Matthew Harrison-Trainor is a doctoral student at the University of California at Berkeley, studying computability, computable model theory, and model theory. His advisor is Prof. Antonio Montalban.

Matthew Harrison-Trainor has 1 talk in our database:

Model theory seminar December 11, 2015

Scott ranks of models of a theory

BerkeleyWaterloocomputabilitycomputable model theorymodel theory

This entry was posted on October 14, 2015.

Search

Welcome new speakers

Dan Turetsky

Notre Dame University

Upcoming talks

No items found

Topics

algebraic geometry algorithmic randomness Berkeley Boolean algebras Chicago commutative algebra Complexity computability computable model theory CUNY definability descriptive set theory Diamond differential algebra Epistemic Game Theory epistemic logic field theory forcing Graduate Center group theory HOD indestructibility infinite chess justification logic large cardinals Lattices of elementary substructures modal logic Models of PA model theory New York nonstandard analysis nonstandard models Notre Dame University Peano arithmetic philosophical logic philosophy philosophy of mathematics philosophy of set theory proof theory Ramsey theory reverse mathematics set-theoretic geology set theory UConn VC-dimension