Sciweavers

BSL
2008
98views more  BSL 2008»
13 years 11 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich
BSL
2008
92views more  BSL 2008»
13 years 11 months ago
Mathematical Fuzzy Logics
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discus...
Siegfried Gottwald
BSL
2008
97views more  BSL 2008»
13 years 11 months ago
The Complexity of Orbits of Computably Enumerable Sets
The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is 1 1-complete. This result an...
Peter Cholak, Rodney G. Downey, Leo Harrington
BSL
2008
100views more  BSL 2008»
13 years 11 months ago
Hyperlinear and Sofic Groups: A Brief Guide
This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroup...
Vladimir Pestov
BSL
2008
70views more  BSL 2008»
13 years 11 months ago
Logicality and Invariance
Denis Bonnay
BSL
2008
95views more  BSL 2008»
13 years 11 months ago
Cohen and Set Theory
We discuss the work of Paul Cohen in set theory and its influence, especially the background, discovery, development of forcing. Paul Joseph Cohen (1934
Akihiro Kanamori