Publication | Date of Publication | Type |
---|
Some observations on the substructure lattice of a Δ1 ultrapower | 2010-06-10 | Paper |
\(\Delta_{1}\) ultrapowers are totally rigid | 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 | 1999-11-23 | Paper |
Existentially Complete Nerode Semirings | 1995-02-20 | Paper |
Recursive Fibers of RST Isols | 1994-03-20 | Paper |
Eight problems about Nerode semirings (recursive ultrapowers) | 1992-09-27 | Paper |
Sub-arithmetical ultrapowers: A survey | 1990-01-01 | Paper |
Some Extension and Rearrangement Theorems For Nerode Semirings | 1989-01-01 | Paper |
Embeddings of and into Nerode semirings | 1987-01-01 | Paper |
Some Properties of ∀∃ Models in the Isols | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3772202 | 1986-01-01 | Paper |
Some elementary degree-theoretic reasons why structures need similarity types | 1986-01-01 | Paper |
Local analysis of nonstandard $C^∞$ functions of pre-distributional type | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3942950 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3926568 | 1981-01-01 | Paper |
On the Divergence of Extension Procedures in Isol Theory | 1981-01-01 | Paper |
Retraceable homogeneous sets | 1979-01-01 | Paper |
On the intersection of regressive sets | 1978-01-01 | Paper |
On the Relations between Some Rate-of-Growth Conditions | 1978-01-01 | Paper |
Degrees of unsolvability and strong forms of \(\Lambda_R+\Lambda_R\underset\neq\supset\Lambda_R\) | 1977-01-01 | Paper |
A partial comparison of two conditions on the intersections of regressive sets | 1977-01-01 | Paper |
Some uniform pathology for Borel measures | 1976-01-01 | Paper |
Correction to my Paper “Closed Basic Retracing Functions and Hyperimmune Sets” | 1976-01-01 | Paper |
Trees and Isols II | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4112587 | 1976-01-01 | Paper |
Trees and isols. I | 1975-01-01 | Paper |
Martin's Axiom and some classical constructions | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4053637 | 1975-01-01 | Paper |
A note concerning the V* relation on Λr | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3215213 | 1974-01-01 | Paper |
Closed Basic Retracing Functions and Hyperimmune Sets | 1974-01-01 | Paper |
Degrees of unsolvability within a regressive isol | 1974-01-01 | Paper |
On Retractable Sets with Rapid Growth | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5685068 | 1973-01-01 | Paper |
Supersimple sets and the problem of extending a retracing function | 1972-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4063428 | 1972-01-01 | Paper |
The Family of all Recursively Enumerable Classes of Finite Sets | 1971-01-01 | Paper |
Countable retracing functions and \(\Pi_2^0\) predicates | 1969-01-01 | Paper |
A Theorem on Intermediate Reducibilities | 1968-01-01 | Paper |
Some remarks on extensibility, confluence of paths, branching properties, and index sets, for certain recursively enumerable graphs | 1967-01-01 | Paper |
Hereditarily retraceable isols | 1967-01-01 | Paper |
Splitting and Decomposition by Regressive Sets, II | 1967-01-01 | Paper |
Some Counterexamples in the Theory of Regressive Sets | 1967-01-01 | Paper |
Retraceable Sets and Recursive Permutations | 1966-01-01 | Paper |
Two Remarks on Indecomposable Number Sets | 1966-01-01 | Paper |
Strong reductibility on hypersimple sets | 1965-01-01 | Paper |
Splitting and decomposition by regressive sets. I | 1965-01-01 | Paper |
On relative coimmunity | 1965-01-01 | Paper |
On Properties of Regressive Sets | 1965-01-01 | Paper |
On a Class of Complete Simple Sets | 1965-01-01 | Paper |
Co-immune retraceable sets | 1965-01-01 | Paper |
A note on pseudo doubly creative pairs | 1964-01-01 | Paper |
A Note on Product Systems of Sets of Natural Numbers | 1964-01-01 | Paper |
ON CONTRAPRODUCTIVE SETS WHICH ARE NOT PRODUCTIVE | 1964-01-01 | Paper |
A remark on semiproductive sets | 1963-01-01 | Paper |
A Theorem on Productive Functions | 1963-01-01 | Paper |
On an extension of a theorem of Friedberg | 1962-01-01 | Paper |
A Note on Contraproduction Domains. | 1962-01-01 | Paper |
A Muted Variation on a Theme of Mendelson | 1961-01-01 | Paper |