Skip to Main content Skip to Navigation
New interface
Preprints, Working Papers, ...

Admissibility in Alt × Alt is undecidable

Abstract : In this note, we prove that admissibility in Alt × Alt is undecidable.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03766388
Contributor : Philippe Balbiani Connect in order to contact the contributor
Submitted on : Thursday, September 1, 2022 - 9:05:54 AM
Last modification on : Friday, September 2, 2022 - 3:51:44 AM

File

UNDECIDABILITY.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03766388, version 1

Citation

Philippe Balbiani. Admissibility in Alt × Alt is undecidable. {date}. ⟨hal-03766388⟩

Share

Metrics

Record views

24

Files downloads

14