Models of PAMonday, March 3, 20146:30 pmGC 4214.03
Blass-Gaifman and Ehrenfeucht lemmas
Shlomo Ben-Har
GC CUNY
Proofs of the lemmas will be given and some consequences related to substructure lattices will be explained.
Posted by
on March 1st, 2014