Search
 
loader loading subjects...
cover
Undecidability and Concatenation
Andrzej Grzegorczyk, Konrad Zdanowski
72 - 91
10.3233/978-1-58603-782-6-72
Andrzej Mostowski and Foundational Studies
Abstract

We consider the problem stated by Andrzej Grzegorczyk in “Undecidability without arithmetization” (Studia Logica 79 (2005)) whether certain weak theory of concatenation is essentially undecidable. We give a positive answer for this problem.

$35.00 / €27.50 / £22.00
Add PDF to cart