| Publication | Date of Publication | Type |
|---|
Some observations on the substructure lattice of a \(\Delta_1\) ultrapower Mathematical Logic Quarterly | 2010-06-10 | Paper |
\(\Delta_{1}\) ultrapowers are totally rigid Archive for Mathematical Logic | 2007-06-07 | Paper |
| Combinatorial Isols and the Arithmetic of Dekker Semirings | 2002-07-24 | Paper |
Existentially Incomplete Tame Models and a Conjecture of Ellentuck Mathematical Logic Quarterly | 1999-11-23 | Paper |
Existentially Complete Nerode Semirings Mathematical Logic Quarterly | 1995-02-20 | Paper |
| Recursive Fibers of RST Isols | 1994-03-20 | Paper |
Eight problems about Nerode semirings (recursive ultrapowers) Annals of Pure and Applied Logic | 1992-09-27 | Paper |
Sub-arithmetical ultrapowers: A survey Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Some Extension and Rearrangement Theorems For Nerode Semirings Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
Embeddings of and into Nerode semirings Israel Journal of Mathematics | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031664 (Why is no real title available?) | 1986-01-01 | Paper |
Some Properties of ∀∃ Models in the Isols Proceedings of the American Mathematical Society | 1986-01-01 | Paper |
Some elementary degree-theoretic reasons why structures need similarity types Journal of Symbolic Logic | 1986-01-01 | Paper |
Local analysis of nonstandard $C^∞$ functions of pre-distributional type Annales Polonici Mathematici | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3760150 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3739520 (Why is no real title available?) | 1981-01-01 | Paper |
| On the Divergence of Extension Procedures in Isol Theory | 1981-01-01 | Paper |
Retraceable homogeneous sets Fundamenta Mathematicae | 1979-01-01 | Paper |
| On the Relations between Some Rate-of-Growth Conditions | 1978-01-01 | Paper |
On the intersection of regressive sets Pacific Journal of Mathematics | 1978-01-01 | Paper |
Degrees of unsolvability and strong forms of \(\Lambda_R+\Lambda_R\underset\neq\supset\Lambda_R\) Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
A partial comparison of two conditions on the intersections of regressive sets Archiv für Mathematische Logik und Grundlagenforschung | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3535271 (Why is no real title available?) | 1976-01-01 | Paper |
Trees and Isols II Mathematical Logic Quarterly | 1976-01-01 | Paper |
Some uniform pathology for Borel measures Real Analysis Exchange | 1976-01-01 | Paper |
Correction to my Paper “Closed Basic Retracing Functions and Hyperimmune Sets” Mathematical Logic Quarterly | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3468815 (Why is no real title available?) | 1975-01-01 | Paper |
Trees and isols. I Rocky Mountain Journal of Mathematics | 1975-01-01 | Paper |
Martin's Axiom and some classical constructions Bulletin of the Australian Mathematical Society | 1975-01-01 | Paper |
A note concerning the V* relation on Λ<sub>r</sub> Mathematical Logic Quarterly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3425591 (Why is no real title available?) | 1974-01-01 | Paper |
Closed Basic Retracing Functions and Hyperimmune Sets Mathematical Logic Quarterly | 1974-01-01 | Paper |
Degrees of unsolvability within a regressive isol Fundamenta Mathematicae | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3420730 (Why is no real title available?) | 1973-01-01 | Paper |
On Retractable Sets with Rapid Growth Proceedings of the American Mathematical Society | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3478858 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3478858 (Why is no real title available?) | 1972-01-01 | Paper |
Supersimple sets and the problem of extending a retracing function Pacific Journal of Mathematics | 1972-01-01 | Paper |
| The Family of all Recursively Enumerable Classes of Finite Sets | 1971-01-01 | Paper |
Countable retracing functions and _2⁰ predicates Pacific Journal of Mathematics | 1969-01-01 | Paper |
| A Theorem on Intermediate Reducibilities | 1968-01-01 | Paper |
Some Counterexamples in the Theory of Regressive Sets Mathematical Logic Quarterly | 1967-01-01 | Paper |
Some remarks on extensibility, confluence of paths, branching properties, and index sets, for certain recursively enumerable graphs Illinois Journal of Mathematics | 1967-01-01 | Paper |
Hereditarily retraceable isols Bulletin of the American Mathematical Society | 1967-01-01 | Paper |
Splitting and Decomposition by Regressive Sets, II Canadian Journal of Mathematics | 1967-01-01 | Paper |
| Retraceable Sets and Recursive Permutations | 1966-01-01 | Paper |
Two Remarks on Indecomposable Number Sets Mathematical Logic Quarterly | 1966-01-01 | Paper |
| On Properties of Regressive Sets | 1965-01-01 | Paper |
On a Class of Complete Simple Sets Canadian Mathematical Bulletin | 1965-01-01 | Paper |
Strong reductibility on hypersimple sets Notre Dame Journal of Formal Logic | 1965-01-01 | Paper |
Splitting and decomposition by regressive sets. I Michigan Mathematical Journal | 1965-01-01 | Paper |
On relative coimmunity Pacific Journal of Mathematics | 1965-01-01 | Paper |
Co-immune retraceable sets Bulletin of the American Mathematical Society | 1965-01-01 | Paper |
A note on pseudo doubly creative pairs Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
A Note on Product Systems of Sets of Natural Numbers The American Mathematical Monthly | 1964-01-01 | Paper |
ON CONTRAPRODUCTIVE SETS WHICH ARE NOT PRODUCTIVE Mathematical Logic Quarterly | 1964-01-01 | Paper |
| A Theorem on Productive Functions | 1963-01-01 | Paper |
A remark on semiproductive sets Monatshefte für Mathematik | 1963-01-01 | Paper |
On an extension of a theorem of Friedberg Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
A Note on Contraproduction Domains. MATHEMATICA SCANDINAVICA | 1962-01-01 | Paper |
A Muted Variation on a Theme of Mendelson Mathematical Logic Quarterly | 1961-01-01 | Paper |