Decidability without mathematics
From MaRDI portal
Publication:598296
Recommendations
Cited in
(7)- scientific article; zbMATH DE number 7644092 (Why is no real title available?)
- Undecidability without arithmetization
- The decision problem for effective procedures
- Arithmetic Sinn and Effectiveness
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories
- Logical undecidabilities made easy
This page was built for publication: Decidability without mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q598296)