| Publication | Date of Publication | Type |
|---|
| Myhill's work in recursion theory | 1992-09-27 | Paper |
| Isols and the pigeonhole principle | 1989-01-01 | Paper |
| Incompatible extensions of combinatorial functions | 1983-01-01 | Paper |
| RANDOM ISOLS | 1983-01-01 | Paper |
| Galois Theorems for Isolated Fields | 1981-01-01 | Paper |
| Hyper-torre isols | 1981-01-01 | Paper |
| Diagonal Methods in the Theory of Isols | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3884285 | 1979-01-01 | Paper |
| Cardinals, isols, and the growth of functions | 1978-01-01 | Paper |
| Model theoretic methods in the theory of isols | 1978-01-01 | Paper |
| Boolean valued rings | 1977-01-01 | Paper |
| Tarski Semigroups | 1977-01-01 | Paper |
| Free Suslin algebras | 1977-01-01 | Paper |
| The foundations of Suslin logic | 1976-01-01 | Paper |
| Decomposable Isols and Their Degrees | 1976-01-01 | Paper |
| Categoricity regained | 1976-01-01 | Paper |
| Combinatorial Functions and Indecomposable Cardinals | 1976-01-01 | Paper |
| Semigroups, Horn sentences and isolic structures | 1975-01-01 | Paper |
| Gödel's square axioms for the continuum | 1975-01-01 | Paper |
| Hereditarily universal sets | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4074896 | 1975-01-01 | Paper |
| Partition topologies for largo cardinals | 1975-01-01 | Paper |
| A new proof that analytic sets are Ramsey | 1974-01-01 | Paper |
| A Δ02 theory of regressive isols | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053655 | 1974-01-01 | Paper |
| Recursion relative to regressive functions | 1974-01-01 | Paper |
| On the Degrees of Universal Regressive Isols. | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214914 | 1973-01-01 | Paper |
| The Structure of Dedekind Cardinals | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5652666 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686027 | 1973-01-01 | Paper |
| Degrees of isolic theories | 1973-01-01 | Paper |
| Degrees of isolic theories | 1973-01-01 | Paper |
| The decidability of a class of AE sentence in the isols | 1972-01-01 | Paper |
| Universal cosimple isols | 1972-01-01 | Paper |
| An algebraic difference between isols and cosimple isols | 1972-01-01 | Paper |
| Martin's Axiom and Saturated Models | 1972-01-01 | Paper |
| The positive properties of isolic integers | 1972-01-01 | Paper |
| Nonrecursive combinatorial functions | 1972-01-01 | Paper |
| Nonrecursive Relations Among the Isols | 1972-01-01 | Paper |
| Incompleteness via simple sets | 1971-01-01 | Paper |
| A coding theorem for isols | 1971-01-01 | Paper |
| Extensions of Isolic Models | 1971-01-01 | Paper |
| A minimal model for strong analysis | 1971-01-01 | Paper |
| A Non‐Representation Theorem for Gödel‐Bernays Set Theory | 1970-01-01 | Paper |
| Almost combinatorial Skolem functions | 1970-01-01 | Paper |
| Extension Methods in Cardinal Arithmetic | 1970-01-01 | Paper |
| Finitely additive measures and the first digit problem | 1969-01-01 | Paper |
| A choice free theory of Dedekind cardinals | 1969-01-01 | Paper |
| The Representation of Cardinals in Models of Set Theory | 1968-01-01 | Paper |
| The first order properties of Dedekind finite integers | 1968-01-01 | Paper |
| Universal isols | 1967-01-01 | Paper |
| Generalized idempotence in cardinal arithmetic | 1966-01-01 | Paper |
| The universal properties of Dedekind finite cardinals | 1965-01-01 | Paper |
| Infinite products of isols | 1964-01-01 | Paper |
| Solution of a problem of R. Friedberg | 1963-01-01 | Paper |
