Poster

Monday, March 3, 20146:30 pmModels of PAGC 4214.03

Blass-Gaifman and Ehrenfeucht lemmas

Shlomo Ben-Har

GC CUNY

Shlomo Ben-Har

Proofs of the lemmas will be given and some consequences related to substructure lattices will be explained.