Results 11  20
of
25
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, particular ..."
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
Minimisation Vs. Recursion on the Partial Continuous Functionals
"... We study the relationship between minimisation and recursion on the partial continuous functionals of nite types. We prove that already at type level two minimisation is weaker than recursion. 1 ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We study the relationship between minimisation and recursion on the partial continuous functionals of nite types. We prove that already at type level two minimisation is weaker than recursion. 1
The theory of the metarecursively enumerable degrees
"... Abstract. Sacks [Sa1966a] asks if the metarecursivley enumerable degrees are elementarily equivalent to the r.e. degrees. In unpublished work, Slaman and Shore proved that they are not. This paper provides a simpler proof of that result and characterizes the degree of the theory as O (ω) or, equival ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. Sacks [Sa1966a] asks if the metarecursivley enumerable degrees are elementarily equivalent to the r.e. degrees. In unpublished work, Slaman and Shore proved that they are not. This paper provides a simpler proof of that result and characterizes the degree of the theory as O (ω) or, equivalently, that of the truth set of L ω CK
Applications of the KleeneKreisel Density Theorem to Theoretical Computer Science
, 2006
"... The KleeneKreisel density theorem is one of the tools used to investigate the denotational semantics of programs involving higher types. We give a brief introduction to the classical density theorem, then show how this may be generalized to set theoretical models for algorithms accepting real numbe ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
The KleeneKreisel density theorem is one of the tools used to investigate the denotational semantics of programs involving higher types. We give a brief introduction to the classical density theorem, then show how this may be generalized to set theoretical models for algorithms accepting real numbers as inputs and finally survey some recent applications of this generalization. 1
Computing with functionals  computability theory or computer science
 Bulletin of Symbolic Logic
, 2006
"... We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject. ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject.
BARWISE: INFINITARY LOGIC AND ADMISSIBLE SETS
"... 1. Background on infinitary logic 2 1.1. Expressive power of Lω1ω 2 1.2. The backandforth construction 3 ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
1. Background on infinitary logic 2 1.1. Expressive power of Lω1ω 2 1.2. The backandforth construction 3
The Analysis of Programming Structure
 ACM SIGACT News
, 1997
"... This paper has explored three examples of good semantical analyses of programming structures. The three examples share two characteristics: the semantic models are abstract enough to be applicable in many situations, and the models lead to proofs of noncomputability. Other examples of programming s ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper has explored three examples of good semantical analyses of programming structures. The three examples share two characteristics: the semantic models are abstract enough to be applicable in many situations, and the models lead to proofs of noncomputability. Other examples of programming structures have been omitted from this short essay: foundations for objectoriented languages, descriptions of languages with local variables, and the theory of database query languages. Each of these examples have corresponding semantical theories that enjoy the two characteristics above. The richness of programming structure suggests a corollary: it is folly to look for one universal model to explain all programming structures. Of course, as a theoretical subject, semantics benefits from the reduction of many concepts to a primitive, common level. Nevertheless, reduction must often be resisted. We have seen how computability theory loses all kinds of relevant distinctions. Another example is the naive semantics of PCF based on dcpos: the model is not abstract enough,
The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
 Memoirs of the American Mathematical Society
"... Abstract. When attempting to generalize recursion theory to admissible ordinals, it may seem as if all classical priority constructions can be lifted to any admissible ordinal satisfying a sufficiently strong fragment of the replacement scheme. We show, however, that this is not always the case. In ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. When attempting to generalize recursion theory to admissible ordinals, it may seem as if all classical priority constructions can be lifted to any admissible ordinal satisfying a sufficiently strong fragment of the replacement scheme. We show, however, that this is not always the case. In fact, there are some constructions which make an essential use of the notion of finiteness which cannot be replaced by the generalized notion of αfiniteness. As examples we discuss both codings of models of arithmetic into the recursively enumerable degrees, and nondistributive lattice embeddings into these degrees. We show that if an admissible ordinal α is effectively close to ω (where this closeness can be measured by size or by cofinality) then such constructions may be performed in the αr.e. degrees, but otherwise they fail. The results of these constructions can be expressed in the firstorder language of partially ordered sets, and so these results also show that there are natural elementary differences between the structures of αr.e. degrees for various classes of admissible ordinals α. Together with coding work which shows that for some α, the theory of the αr.e. degrees is complicated, we get that for every admissible ordinal