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.
A parameterized family of decidable theories involving differentiable functions / Buriola, Gabriele; Domenicocantone, ; Cincotti, Gianluca; Omodeo, Eugenio; Spartà, Gaetano T.. - In: THE BULLETIN OF SYMBOLIC LOGIC. - ISSN 1079-8986. - STAMPA. - 30:4(2024), pp. 594-595. ( LOGIC COLLOQUIUM 2024 Gothenburg, Sweden June 24-28, 2024) [10.1017/bsl.2025.5].
A parameterized family of decidable theories involving differentiable functions
EUGENIO OMODEO;
2024-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
