Blog Archives

Topic Archive: resolute type

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

Athar Abdul-Quader

Finite Distributive Lattices

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.