Ultraconstructive Model Theory via Bounded Adversarial Finite Structures
The episode discusses Mirco Mannucci's paper, "Ultraconstructive Model Theory via Bounded Adversarial Finite Structures." The core idea is replacing classical model satisfaction with 'bounded adversarial survival,' where a structure is a model if it survives attacks within a fixed budget. The paper introduces the UCMT game and proves concepts like neural admissibility and provides a prototype demonstrating these ideas on small structures.