| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3518185 | 2008-08-07 | Paper |
| Computable structures and the hyperarithmetical hierarchy | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249358 | 2000-03-29 | Paper |
| Possible degrees in recursive copies. II | 1997-12-08 | Paper |
| Quasi-simple relations in copies of a given recursive structure | 1997-10-14 | Paper |
| Permitting, forcing, and copying of a given recursive relation | 1997-10-14 | Paper |
| Recursive Structures and Ershov's Hierarchy | 1997-05-27 | Paper |
| Possible degrees in recursive copies | 1996-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4872086 | 1996-04-11 | Paper |
| Ramified systems | 1995-08-27 | Paper |
| Mixed systems | 1995-08-27 | Paper |
| A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas | 1995-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4314795 | 1995-04-03 | Paper |
| Relatively recursive expansions | 1995-03-29 | Paper |
| A Conjecture Concerning the Spectrum of a Sentence | 1995-02-19 | Paper |
| On countable fractions from an elementary class | 1995-02-13 | Paper |
| Recursive expansions | 1994-11-10 | Paper |
| Generalizations of enumeration reducibility using recursive infinitary propositional sentences | 1993-04-01 | Paper |
| A construction for recursive linear orderings | 1992-06-27 | Paper |
| INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES | 1991-01-01 | Paper |
| Pairs of recursive structures | 1990-01-01 | Paper |
| Labelling systems and r.e. structures | 1990-01-01 | Paper |
| Jumps of Orderings | 1990-01-01 | Paper |
| Categoricity in hyperarithmetical degrees | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760746 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772420 | 1987-01-01 | Paper |
| Intersections of algebraically closed fields | 1986-01-01 | Paper |
| Stability of recursive structures in arithmetical degrees | 1986-01-01 | Paper |
| Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees | 1986-01-01 | Paper |
| Pseudovarieties, generalized varieties and similarly described classes | 1985-01-01 | Paper |
| Strong \(\Delta ^ 0_ 2\) categoricity | 1985-01-01 | Paper |
| Decidable subspaces and recursively enumerable subspaces | 1984-01-01 | Paper |
| Persistently Finite, Persistently Arithmetic Theories | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329454 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3913562 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919698 | 1981-01-01 | Paper |
| The lattice of ideals of a semigroup | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693722 | 1980-01-01 | Paper |
| A uniform chain whose inverse semigroup has no chart | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861445 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3876134 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121939 | 1977-01-01 | Paper |
| Reduced Powers and Boolean Extensions | 1975-01-01 | Paper |
| A consequence of the axiom of choice | 1975-01-01 | Paper |
| Sentences with finite models | 1975-01-01 | Paper |
| On countable n-valued Post algebras | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663820 | 1972-01-01 | Paper |
