The Expressiveness of Looping Terms in the Semantic Programming

Sergey Goncharov, Sergey Ospichev, Denis Ponomaryov +1

We consider the language of ${\Delta }_0$-formulas with list terms interpreted over hereditarily finite list superstructures. We study the complexity of reasoning in extensions of the lang…