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
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.
