Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Claude Sureson"'
Autor:
Claude Sureson
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 2 (2017)
The notion of Schnorr randomness refers to computable reals or computable functions. We propose a version of Schnorr randomness for subcomputable classes and characterize it in different ways: by Martin L\"of tests, martingales or measure computable
Externí odkaz:
https://doaj.org/article/a4b3708b0f5f49a5a89e623e3ed0f7eb
Autor:
Claude Sureson
Publikováno v:
Fundamenta Informaticae. 182:345-361
We propose a detailed proof of the fact that the inverse of Ackermann function is computable in linear time.
20 pages
20 pages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d0f8c958f35beeeafecb7631fddf21d
https://doi.org/10.3233/fi-2021-2077
https://doi.org/10.3233/fi-2021-2077
Autor:
Claude Sureson
Publikováno v:
Theoretical Computer Science. 891:59-83
We propose notions of effective Hausdorff function dimension for subcomputable classes such that while the classical numerical Hausdorff dimension notions coincide as shown by Downey, Merkle and Reimann for Computable and Schnorr dimensions, the corr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c07c66f99fc62cdf4e91a09a953ed066
https://doi.org/10.1016/j.tcs.2021.08.027
https://doi.org/10.1016/j.tcs.2021.08.027
Autor:
Claude Sureson
Publikováno v:
Mathematical Logic Quarterly. 65:265-279
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a24bae0eef81851106b7dc5eaed76484
https://doi.org/10.1002/malq.201700041
https://doi.org/10.1002/malq.201700041
Autor:
Claude Sureson
Publikováno v:
Theoretical Computer Science. 653:26-41
Hjorth and Nies proposed notions of randomness corresponding to the higher recursion setting. In particular, they defined the notion of Π 1 1 -Martin-Lof randomness. In this article we present examples of Π 1 1 -Martin-Lof random reals which are ob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4f4a83b4ae9ff68f01ec5cadc45483c
https://doi.org/10.1016/j.tcs.2016.09.018
https://doi.org/10.1016/j.tcs.2016.09.018
Autor:
Claude Sureson
Publikováno v:
Theoretical Computer Science. 589:1-23
We elaborate a recursion-theoretic method to define real numbers which are random to any jump of the halting problem. This is obtained by generalizing a result of V. Becher and G. Chaitin dealing with the class of cofinite sets. As in the work of V.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9238dfb6d997ecfeb98fa7355df63af
https://doi.org/10.1016/j.tcs.2015.04.009
https://doi.org/10.1016/j.tcs.2015.04.009
Autor:
Claude Sureson
Publikováno v:
Archive for Mathematical Logic. 48:403-420
Extending the language of rings to include predicates for Jacobson radical relations, we show that the theory of regular rings defined by Carson, Lipshitz and Saracino is the model completion of the theory of semisimple rings. Removing the requiremen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10439106221d18a1a7f22970f2ee752d
https://doi.org/10.1007/s00153-009-0129-3
https://doi.org/10.1007/s00153-009-0129-3
Autor:
Claude Sureson
Publikováno v:
Annals of Pure and Applied Logic. 145(2):204-222
We continue the study of a theory which is a valued analogue of the theory of regular rings studied by Carson, Lipshitz and Saracino, characterize it as the model companion of the theory of (extended) Prufer rings, and prove its decidability. We then
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dd96a687ce52149bd57f5ee9cfdb2ab
Autor:
Claude Sureson
Publikováno v:
Annals of Pure and Applied Logic. 135:210-242
We propose two theories, one generalizing the notion of regularity, the other symmetric to it. Under two additional axioms (as for the Carson–Lipshitz–Saracino theorems) one obtains model completeness of both theories. Models of these theories ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efbb726e0cb747851335d3323b6dc82b
https://doi.org/10.1016/j.apal.2005.02.002
https://doi.org/10.1016/j.apal.2005.02.002
Autor:
Claude Sureson
Publikováno v:
Revue d'histoire des sciences. 52:107-138
SUMMARY. — The status of contemporary Set Theory is examined through its different forms of exposition.
RÉSUMÉ. — Cette étude interroge le statut de la Théorie des Ensembles contemporaine à travers une analyse de ses différentes formes
RÉSUMÉ. — Cette étude interroge le statut de la Théorie des Ensembles contemporaine à travers une analyse de ses différentes formes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91805ed63604a1100077da5b9bedab39
https://doi.org/10.3406/rhs.1999.1345
https://doi.org/10.3406/rhs.1999.1345