Graduate studies at Western
Notre Dame Journal of Formal Logic 47 (2):197-209 (2006)
|Abstract||The strong weak truth table (sw) reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky, and Weinberger on applications of computability to differential geometry. We study the sw-degrees of c.e. reals and construct a c.e. real which has no random c.e. real (i.e., Ω number) sw-above it|
|Keywords||sw reducibility c.e. reals randomness|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
G. L. McColm (1989). Some Restrictions on Simple Fixed Points of the Integers. Journal of Symbolic Logic 54 (4):1324-1345.
George Barmpalias (2003). The Approximation Structure of a Computably Approximable Real. Journal of Symbolic Logic 68 (3):885-922.
Jack Copeland (1997). The Broad Conception of Computation. American Behavioral Scientist 40 (6):690-716.
Daesuk Han (2011). Wittgenstein and the Real Numbers. History and Philosophy of Logic 31 (3):219-245.
Peter Clark (1998). Dummett's Argument for the Indefinite Extensibility of Set and Real Number. Grazer Philosophische Studien 55:51-63.
Anne Newstead (2001). Aristotle and Modern Mathematical Theories of the Continuum. In Demetra Sfendoni-Mentzou & James Brown (eds.), Aristotle and Contemporary Philosophy of Science. Peter Lang.
Carol E. Cleland (1993). Is the Church-Turing Thesis True? Minds and Machines 3 (3):283-312.
Tom Eyers (2012). Lacan and the Concept of the 'Real'. Palgrave Macmillan.
John Campion (2005). Epistemological Requirements for a Cognitive Psychology of Real People. Behavioral and Brain Sciences 28 (1):18-19.
António M. Fernandes & Fernando Ferreira (2002). Groundwork for Weak Analysis. Journal of Symbolic Logic 67 (2):557-578.
Berit Brogaard (2011). Color Experience in Blindsight? Philosophical Psychology 24 (6):767 - 786.
Stewart Shapiro (2000). Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. Notre Dame Journal of Formal Logic 41 (4):335--364.
Sorry, there are not enough data points to plot this chart.
Added to index2010-08-24
Total downloads1 ( #292,879 of 740,478 )
Recent downloads (6 months)0
How can I increase my downloads?