2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024
GABRIELE BURIOLA, DOMENICOCANTONE, GIANLUCA CINCOTTI, EUGENIO OMODEO, GAETANO T. SPARTÀ · Bulletin of Symbolic Logic · 2024
We build on the existing literature on decidability in elementary analysis by introducing a new family of decidable theories called RDFn. These theories are parameterized by natural numbers and involve differentiable real functions of class Cn.