Admissibility in Alt × Alt is undecidable
Abstract
In this note, we prove that admissibility in Alt × Alt is undecidable.
Origin : Files produced by the author(s)