Kalimullin I.S.; Melnikov A.G.
(2021)
Abstract: We are studying the punctual structures, i.e., the primitive recursive structures on the whole set of integers. The punctual categoricity relative to a computable oracle f means that between any two punctual ...