Please use this identifier to cite or link to this item:
http://hdl.handle.net/10077/8295
Title: | Solvable (and unsolvable) cases of the decision problem for fragments of analysis | Authors: | Cantone, Domenico Omodeo, Eugenio G. Spartà, Gaetano T. |
Keywords: | decidable theories; Tarski’s elementary algebra; one-variable functions | Issue Date: | 2012 | Publisher: | EUT Edizioni Università di Trieste | Source: | Domenico Cantone, Eugenio G. Omodeo and Gaetano T. Spartà, "Solvable (and unsolvable) cases of the decision problem for fragments of analysis", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 44 (2012), pp. 313–348. | Series/Report no.: | Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics 44 (2012) |
Abstract: | We survey two series of results concerning the decidability of fragments of Tarksi’s elementary algebra extended with one-argument functions which meet significant properties such as continuity, differentiability, or analyticity. One series of results regards the initial levels of a hierarchy of prenex sentences involving a single function symbol: in a number of cases, the decision problem for these sentences was solved in the positive by H. Friedman and A. Seress, who also proved that beyond two quantifier alternations decidability gets lost. The second series of results refers to merely existential sentences, but it brings into play an arbitrary number of functions, which are requested to be, over specified closed intervals, monotone increasing or decreasing, concave, or convex; any two such functions can be compared, and in one case, where each function is supposed to own continuous first derivative, their derivatives can be compared with real constants. |
Type: | Article | URI: | http://hdl.handle.net/10077/8295 | ISSN: | 0049-4704 |
Appears in Collections: | Rendiconti dell'Istituto di Matematica dell'Università di Trieste: an International Journal of Mathematics vol.44 (2012) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Cantone_Omodeo_Sparta_RIMUT44.pdf | 390.23 kB | Adobe PDF | ![]() View/Open |
CORE Recommender
Page view(s) 10
1,196
checked on Feb 6, 2023
Download(s) 50
681
checked on Feb 6, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.