| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 5308747 (Why is no real title available?) | 2008-08-07 | Paper |
Computable structures and the hyperarithmetical hierarchy
Studies in Logic and the Foundations of Mathematics | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1302872 (Why is no real title available?) | 2000-03-29 | Paper |
Possible degrees in recursive copies. II
Annals of Pure and Applied Logic | 1997-12-08 | Paper |
Quasi-simple relations in copies of a given recursive structure
Annals of Pure and Applied Logic | 1997-10-14 | Paper |
Permitting, forcing, and copying of a given recursive relation
Annals of Pure and Applied Logic | 1997-10-14 | Paper |
Recursive Structures and Ershov's Hierarchy
Mathematical Logic Quarterly | 1997-05-27 | Paper |
Possible degrees in recursive copies
Annals of Pure and Applied Logic | 1996-05-13 | Paper |
| scientific article; zbMATH DE number 864845 (Why is no real title available?) | 1996-04-11 | Paper |
Ramified systems
Annals of Pure and Applied Logic | 1995-08-27 | Paper |
Mixed systems
Journal of Symbolic Logic | 1995-08-27 | Paper |
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
Mathematical Logic Quarterly | 1995-04-20 | Paper |
| scientific article; zbMATH DE number 695580 (Why is no real title available?) | 1995-04-03 | Paper |
Relatively recursive expansions
Fundamenta Mathematicae | 1995-03-29 | Paper |
Relatively recursive expansions
Fundamenta Mathematicae | 1995-03-29 | Paper |
A Conjecture Concerning the Spectrum of a Sentence
Mathematical Logic Quarterly | 1995-02-19 | Paper |
On countable fractions from an elementary class
Journal of Symbolic Logic | 1995-02-13 | Paper |
Recursive expansions
Fundamenta Mathematicae | 1994-11-10 | Paper |
Generalizations of enumeration reducibility using recursive infinitary propositional sentences
Annals of Pure and Applied Logic | 1993-04-01 | Paper |
A construction for recursive linear orderings
Journal of Symbolic Logic | 1992-06-27 | Paper |
INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
International Journal of Algebra and Computation | 1991-01-01 | Paper |
| Jumps of Orderings | 1990-01-01 | Paper |
Pairs of recursive structures
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Labelling systems and r.e. structures
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Categoricity in hyperarithmetical degrees
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4010791 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031970 (Why is no real title available?) | 1987-01-01 | Paper |
| Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees | 1986-01-01 | Paper |
Intersections of algebraically closed fields
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Stability of recursive structures in arithmetical degrees
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Pseudovarieties, generalized varieties and similarly described classes
Journal of Algebra | 1985-01-01 | Paper |
Strong \(\Delta ^ 0_ 2\) categoricity
Algebra and Logic | 1985-01-01 | Paper |
Decidable subspaces and recursively enumerable subspaces
Journal of Symbolic Logic | 1984-01-01 | Paper |
| Persistently Finite, Persistently Arithmetic Theories | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3861140 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3732033 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3724664 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3916586 (Why is no real title available?) | 1980-01-01 | Paper |
The lattice of ideals of a semigroup
Algebra Universalis | 1980-01-01 | Paper |
A uniform chain whose inverse semigroup has no chart
Semigroup Forum | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3680093 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3663195 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3547345 (Why is no real title available?) | 1977-01-01 | Paper |
A consequence of the axiom of choice
Journal of the Australian Mathematical Society | 1975-01-01 | Paper |
Reduced Powers and Boolean Extensions
Journal of the London Mathematical Society | 1975-01-01 | Paper |
Sentences with finite models
Mathematical Logic Quarterly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3395834 (Why is no real title available?) | 1972-01-01 | Paper |
On countable n-valued Post algebras
Algebra Universalis | 1972-01-01 | Paper |
