On existential definitions of c.e. subsets of rings of functions of characteristic 0

Annals of Pure and Applied Logic ◽

10.1016/j.apal.2021.103076 ◽

2021 ◽

pp. 103076

Author(s):

Russell Miller ◽

Alexandra Shlapentokh

Download Full-text