| Publication | Date of Publication | Type |
|---|
On truth-table reducibility to SAT
Information and Computation | 1992-06-25 | Paper |
Bounded query classes and the difference hierarchy
Archive for Mathematical Logic | 1989-01-01 | Paper |
On the recursion-theoretic complexity of relative succinctness of representations of languages
Information and Control | 1982-01-01 | Paper |
A topological analog to the Rice-Shapiro index theorem
Journal of Symbolic Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3829891 (Why is no real title available?) | 1982-01-01 | Paper |
Extensional Characterization of Index Sets
Mathematical Logic Quarterly | 1979-01-01 | Paper |
Convex subsets of \(2^n\) and bounded truth-table reducibility
Discrete Mathematics | 1978-01-01 | Paper |
Concerning partial recursive similarity transformations of linearly ordered sets
Pacific Journal of Mathematics | 1977-01-01 | Paper |
Boolean combinations of r.e. open sets
Journal of Symbolic Logic | 1976-01-01 | Paper |
Rice Theorems For D.R.E. Sets
Canadian Journal of Mathematics | 1975-01-01 | Paper |
Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy
Annals of Mathematical Logic | 1975-01-01 | Paper |
Index sets in 0'
Algebra and Logic | 1975-01-01 | Paper |
Spectra and halting problems
Mathematical Logic Quarterly | 1975-01-01 | Paper |
Index Sets Universal for Differences of Arithmetic Sets
Mathematical Logic Quarterly | 1974-01-01 | Paper |
A noninitial segment of index sets
Journal of Symbolic Logic | 1974-01-01 | Paper |
The class of recursively enumerable subsets of a recursively enumerabl e set
Pacific Journal of Mathematics | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3451840 (Why is no real title available?) | 1973-01-01 | Paper |
Discrete ω-Sequences of Index Sets
Transactions of the American Mathematical Society | 1973-01-01 | Paper |
| The Halting Problem Relativized to Complements | 1973-01-01 | Paper |
A discrete chain of degrees of index sets
Journal of Symbolic Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358463 (Why is no real title available?) | 1972-01-01 | Paper |
A note on frame extensions
Journal of Symbolic Logic | 1972-01-01 | Paper |
Index sets of finite classes of recursively enumerable sets
Journal of Symbolic Logic | 1969-01-01 | Paper |
| Elementary Differences Between the Isols and the Co-Simple Isols | 1967-01-01 | Paper |
The co-simple isols
Annals of Mathematics. Second Series | 1966-01-01 | Paper |
| Isomorphism Types of Index Sets of Partial Recursive Functions | 1966-01-01 | Paper |
| On Creative Sets and Indices of Partial Recursive Functions | 1965-01-01 | Paper |
Axiomatization of the infinite-valued predicate calculus
Journal of Symbolic Logic | 1964-01-01 | Paper |
