Blog Archives
Topic Archive: resolute type
Models of PAMonday, March 24, 20146:30 pmGC 4214.03
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.