Results 1 
6 of
6
Prospects for mathematical logic in the twentyfirst century
 BULLETIN OF SYMBOLIC LOGIC
, 2002
"... The four authors present their speculations about the future developments of mathematical logic in the twentyfirst century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently. ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
(Show Context)
The four authors present their speculations about the future developments of mathematical logic in the twentyfirst century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.
The recursively enumerable degrees
 in Handbook of Computability Theory, Studies in Logic and the Foundations of Mathematics 140
, 1996
"... ..."
A Splitting Theorem for nREA Degrees
"... We prove that, for any D, A and U with D > T A # U and r.e. in A# U , there are pairs X 0 , X 1 and Y 0 , Y 1 such that D # T X 0 #X 1 ; D # T Y 0 # Y 1 ; and, for any i and j from {0, 1} and any set B, if X i #A # T B and Y j # A # T B then A # T B. We then deduce that for any degrees d, a, and ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
We prove that, for any D, A and U with D > T A # U and r.e. in A# U , there are pairs X 0 , X 1 and Y 0 , Y 1 such that D # T X 0 #X 1 ; D # T Y 0 # Y 1 ; and, for any i and j from {0, 1} and any set B, if X i #A # T B and Y j # A # T B then A # T B. We then deduce that for any degrees d, a, and b such that a and b are recursive in d, a ## T b, and d is nREA in to a, d can be split over a avoiding b. This shows that the Main Theorem of Cooper [1990] and [1993] is false.
Conjectures and Questions from Gerald Sacks’s Degrees of Unsolvability
 Archive for Mathematical Logic
, 1993
"... We describe the important role that the conjectures and questions posed at the end of the two editions of Gerald Sacks's Degrees of Unsolvability have had in the development of recursion theory over the past thirty years. Gerald Sacks has had a major influence on the development of logic, parti ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
We describe the important role that the conjectures and questions posed at the end of the two editions of Gerald Sacks's Degrees of Unsolvability have had in the development of recursion theory over the past thirty years. Gerald Sacks has had a major influence on the development of logic, particularly recursion theory, over the past thirty years through his research, writing and teaching. Here, I would like to concentrate on just one instance of that influence that I feel has been of special significance to the study of the degrees of unsolvability in general and on my own work in particular the conjectures and questions posed at the end of the two editions of Sacks's first book, the classic monograph Degrees of Unsolvability (Annals
Contemporary Mathematics Natural Definability in Degree Structures
"... A major focus of research in computability theory in recent years has involved definability issues in degree structures. There has been much success in getting general results by coding methods that translate first or second order arithmetic into the structures. In this paper we concentrate on the i ..."
Abstract
 Add to MetaCart
A major focus of research in computability theory in recent years has involved definability issues in degree structures. There has been much success in getting general results by coding methods that translate first or second order arithmetic into the structures. In this paper we concentrate on the issues of getting definitions of interesting, apparently external, relations on degrees that are ordertheoretically natural in the structures D and R of all the Turing degrees and of the r.e. Turing degrees, respectively. Of course, we have no formal definition of natural but we offer some guidelines, examples and suggestions for further research.