Juvenal Murwanashyaka (University of Oslo)
- Date
- Tuesday 24 May 2022, 2:00 PM
- Location
- MALL
- Category
- Models and Sets Seminar
Weak Essentially Undecidable Theories of Concatenation
We sketch a proof of mutual interpretability of Robinson arithmetic and a weak finitely axiomatized theory of concatenation.