New York Logic

|Logic talks and events in New York

DART VII

August 25, 2016 by Russell G. Miller

DART VII

DART VII, the seventh meeting of the conference series Differential Algebra and Related Topics, will take place at the CUNY Graduate Center from September 30 – October 4, 2016. Information about this conference is available here.

differential algebramodel theory

Make poster

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

DART VII

Leave a Reply Cancel reply