Entries from 2009-09-09 to 1 day
Section 6 Logics and varieties の続き。 6.3 Interpolation 基礎論サマースクールで聞いたような話。Craig interpolation proporty と superamalgamation property が対応する。superamalgamation から interpolation は Lindenbaum-Tarski algebra を考え…
Section 6 Logics and varieties の続き。 6.3 Interpolation 基礎論サマースクールで聞いたような話。Craig interpolation proporty と superamalgamation property が対応する。superamalgamation から interpolation は Lindenbaum-Tarski algebra を考え…