New York Logic

|Logic talks and events in New York

Finite Distributive Lattices

March 16, 2014

Models of PAMonday, March 24, 20146:30 pmGC 4214.03

Finite Distributive Lattices

Athar Abdul-Quader

The CUNY Graduate Center

In this talk, I will present the proof (in TSOMOPA 4.3) that if D is a finite distributive lattice, there is a model M such that Lt(M) is isomorphic to D.

distributive latticenonstandard modelsresolute type

Make poster

Posted by Roman Kossak on March 16th, 2014

This entry was posted on March 16, 2014.

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