Robert I. Soare

Bio: Robert I. Soare is an academic researcher from University of Chicago. The author has contributed to research in topics: Recursively enumerable language & Maximal set. The author has an hindex of 27, co-authored 78 publications receiving 4657 citations. Previous affiliations of Robert I. Soare include University of Illinois at Chicago & Cornell University.

Recursively enumerable sets and degrees

Abstract: TABLE OF CONTENTS Introduction Chapter I. The relation of the structure of an r.e. set to its degree. 1. Post's program and simple sets. 2. Dominating functions and quotient lattices. 3. Maximal sets and high degrees. 4. Low degrees, atomless sets, and invariant degree classes. 5. Incompleteness and completeness for noninvariant properties. Chapter II. The structure, automorphisms, and elementary theory of the r.e. sets. 6. Basic facts and splitting theorems. 7. Hh-simple sets. 8. Major subsets and r-maximal sets. 9. Automorphisms of &. 10. The elementary theory of S. Chapter III. The structure of the r.e. degrees. 11. Basic facts. 12. The finite injury priority method. 13. The infinite injury priority method. 14. The minimal pair method and lattice embeddings in R. 15. Cupping and splitting r.e. degrees. 16. Automorphisms and decidability of R.

Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets

Abstract: ..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees...The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness. The book is highly recommended to everyone interested in logic. It also provides a useful background to computer scientists, in particular to theoretical computer scientists." Acta Scientiarum Mathematicarum, Ungarn 1988 ..."The main purpose of this book is to introduce the reader to the main results and to the intricacies of the current theory for the recurseively enumerable sets and degrees. The author has managed to give a coherent exposition of a rather complex and messy area of logic, and with this book degree-theory is far more accessible to students and logicians in other fields than it used to be." Zentralblatt fur Mathematik, 623.1988

Computability and Recursion

Abstract: We consider the informal concept of “computability” or “effective calculability” and two of the formalisms commonly used to define it, “(Turing) computability” and “(general) recursiveness”. We consider their origin, exact technical definition, concepts, history, general English meanings, how they became fixed in their present roles, how they were first and are now used, their impact on nonspecialists, how their use will affect the future content of the subject of computability theory, and its connection to other related areas. After a careful historical and conceptual analysis of computability and recursion we make several recommendations in section §7 about preserving the intensional differences between the concepts of “computability” and “recursion.” Specifically we recommend that: the term “recursive” should no longer carry the additional meaning of “computable” or “decidable;” functions defined using Turing machines, register machines, or their variants should be called “computable” rather than “recursive;” we should distinguish the intensional difference between Church's Thesis and Turing's Thesis, and use the latter particularly in dealing with mechanistic questions; the name of the subject should be “Computability Theory” or simply Computability rather than “Recursive Function Theory.”

Recursively enumerable sets and degrees

Abstract: TABLE OF CONTENTS Introduction Chapter I. The relation of the structure of an r.e. set to its degree. 1. Post's program and simple sets. 2. Dominating functions and quotient lattices. 3. Maximal sets and high degrees. 4. Low degrees, atomless sets, and invariant degree classes. 5. Incompleteness and completeness for noninvariant properties. Chapter II. The structure, automorphisms, and elementary theory of the r.e. sets. 6. Basic facts and splitting theorems. 7. Hh-simple sets. 8. Major subsets and r-maximal sets. 9. Automorphisms of &. 10. The elementary theory of S. Chapter III. The structure of the r.e. degrees. 11. Basic facts. 12. The finite injury priority method. 13. The infinite injury priority method. 14. The minimal pair method and lattice embeddings in R. 15. Cupping and splitting r.e. degrees. 16. Automorphisms and decidability of R.

Dynamic Logic

Abstract: From the Publisher: Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.

Algorithmic Randomness and Complexity

Abstract: Preface- Acknowledgments- Introduction- I Background- Preliminaries- Computability Theory- Kolmogorov Complexity of Finite Strings- Relating Plain and Prefix-Free Complexity- Effective Reals- II Randomness of Sets- Martin-Lof Randomness- Other Notions of Effective Randomness- Algorithmic Randomness and Turing Reducibility- III Relative Randomness- Measures of Relative Randomness- The Quantity of K- and Other Degrees- Randomness-Theoretic Weakness- Lowness for Other Randomness Notions- Effective Hausdorff Dimension- IV Further Topics- Omega as an Operator- Complexity of CE Sets- References- Index

Computability in analysis and physics

Abstract: This book represents the first treatment of computable analysis at the graduate level within the tradition of classical mathematical reasoning. Among the topics dealt with are: classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The book is self-contained, and yet sufficiently detailed to provide an introduction to research in this area.