Pages that link to "Item:Q1780896"
From MaRDI portal
The following pages link to Undecidability without arithmetization (Q1780896):
Displaying 4 items.
- The paradox of the knower revisited (Q392283) (← links)
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- Mathematical intuition and natural numbers: a critical discussion (Q535375) (← links)
- Structuralism and meta-mathematics (Q707711) (← links)
