O interpretovatelnosti v teorii konkatenace

Abstrakt

Uvažuje se teorie konkatenace TC, kterou definoval A. Grzegorczyk.

Je podán důkaz, že Robinsonova aritmetika Q je interpretovatelná v TC.

Klíčová slova

• Interpretability
• Theory
• Concatenation