Exploring Reduction Games, Provability, and Compactness in Logic 🧠
Discover insights from Sarah Reitzes on how reduction games relate to provability and the compactness theorem, presented at the 2020 North American Annual Meeting of the Association for Symbolic Logic.
Association for Symbolic Logic
166 views • Mar 29, 2020
About this video
2020 North American Annual Meeting of the Association for Symbolic Logic
University of California, Irvine
March 25–28, 2020
University of California, Irvine
March 25–28, 2020
Video Information
Views
166
Duration
28:56
Published
Mar 29, 2020