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