The following pages link to Decidability without mathematics (Q598296):
Displaying 4 items.
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- Undecidability without arithmetization (Q1780896) (← links)
- Arithmetic Sinn and Effectiveness (Q3337447) (← links)