Rogers semilattices of punctual numberings
Sign Up to like & getrecommendations! Published in 2022 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129522000093
Abstract: Abstract The paper works within the framework of punctual computability, which is focused on eliminating unbounded search from constructions in algebra and infinite combinatorics. We study punctual numberings, that is, uniform computations for families S… read more here.
Keywords: primitive recursive; rogers semilattices; semilattices punctual; punctual numberings ... See more keywords