3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.LO2020
The Expressiveness of Looping Terms in the Semantic Programming
Sergey Goncharov, Sergey Ospichev, Denis Ponomaryov +1
We consider the language of -formulas with list terms interpreted over hereditarily finite list superstructures. We study the complexity of reasoning in extensions of the lang…
math.LO2019★ 3 cited
Isomorphism types of Rogers semilattices in the analytical hierarchy
Nikolay Bazhenov, Sergey Ospichev, Mars Yamaleev
A numbering of a countable family is a surjective map from the set of natural numbers onto . A numbering is reducible to a numbering if there is an effective pro…