Vítezslav Svejdar

Learn More
We prove that a variant of Robinson arithmetic Q with non-total operations is interpretable in the theory of concatenation TC introduced by A. Grzegorczyk. Since Q is known to be interpretable in that non-total variant, our result gives a positive answer to the problem whether Q is in-terpretable in TC. An immediate consequence is essential undecidability(More)
  • 1