Finite Variable Goldblatt Thomason
I presented a finite-variable version of Goldblatt-Thomason Theorems at the Center for Logic, Language and Cognition at Peking University.
I presented a finite-variable version of Goldblatt-Thomason Theorems at the Center for Logic, Language and Cognition at Peking University.