| Publication | Date of Publication | Type |
|---|
| Cantor-Bendixson Properties of the Assembly of a Frame | 2015-06-19 | Paper |
| An Introduction to Category Theory | 2012-04-04 | Paper |
| A decomposition theory for complete modular meet-continuous lattices | 2011-05-11 | Paper |
| A curious nucleus | 2010-06-25 | Paper |
| The Ackermann functions are not optimal, but by how much? | 2010-03-15 | Paper |
| Fruitful and helpful ordinal functions | 2008-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3503668 | 2008-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5442083 | 2008-02-15 | Paper |
| A coverage construction of the reals and the irrationals | 2007-02-14 | Paper |
| Point-sensitive and point-free patch constructions | 2006-09-25 | Paper |
| Regularity, fitness, and the block structure of frames | 2006-09-12 | Paper |
| Tiering as a Recursion Technique | 2006-02-08 | Paper |
| The extended Cantor-Bendixson analysis of trees | 2006-01-06 | Paper |
| A comparison of two systems of ordinal notations | 2004-09-22 | Paper |
| Monoid based semantics for linear formulas (corrected republication) | 2003-09-07 | Paper |
| Monoid based semantics for linear formulas | 2002-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4488199 | 2000-07-04 | Paper |
| The glueing construction and lax limits | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325547 | 1995-03-12 | Paper |
| The Monotonous Elimination of Predicate Variables | 1994-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3994431 | 1992-09-17 | Paper |
| Generalized deviations of posets | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5751923 | 1990-01-01 | Paper |
| Compact representations - the lattice theory of compact ringed spaces | 1989-01-01 | Paper |
| Near-discreteness of modules and spaces as measured by Gabriel and Cantor | 1989-01-01 | Paper |
| An escalator characterization of finite uniform dimensionality | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206792 | 1989-01-01 | Paper |
| The semiring of topologizing filters of a ring | 1988-01-01 | Paper |
| The realm of primitive recursion | 1988-01-01 | Paper |
| The Gabriel Dimension and Cantor-Bendixson Rank of a Ring | 1988-01-01 | Paper |
| Large discrete parts of the E-tree | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791136 | 1987-01-01 | Paper |
| Sheaf representations of strongly harmonic rings | 1985-01-01 | Paper |
| A Sheaf Representation for Modules with Applications to Gelfand Rings | 1984-01-01 | Paper |
| Torsion theoretic points and spaces | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3697187 | 1984-01-01 | Paper |
| Erratum to: Reticulated rings | 1982-01-01 | Paper |
| A couple of triples | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3958510 | 1982-01-01 | Paper |
| Reticulated rings | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869335 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3905341 | 1980-01-01 | Paper |
| Spaces with Boolean assemblies | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3924174 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3955404 | 1978-01-01 | Paper |
| The lattice theoretic part of topological separation properties | 1978-01-01 | Paper |
| Correction to: Each regular number structure is biregular | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3870874 | 1977-01-01 | Paper |
| Each regular number structure is biregular | 1976-01-01 | Paper |
| Large and small existentially closed structures | 1976-01-01 | Paper |
| Algebraic properties of number theories | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081237 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083416 | 1975-01-01 | Paper |
| Topological aspects of suitable theories | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041568 | 1974-01-01 | Paper |
| The forcing companions of number theories | 1973-01-01 | Paper |
| An Omitting Types Theorem with an Application to the Construction of Generic Structures. | 1973-01-01 | Paper |
| Gödel's diagonalization technique and related properties of theories | 1973-01-01 | Paper |
| The Word Problem for Absolute Presentations | 1973-01-01 | Paper |
| A Possible Characterization of Generic Structures. | 1973-01-01 | Paper |
| Existentially closed structures | 1972-01-01 | Paper |
| The solution of a decision problem for several classes of rings | 1970-01-01 | Paper |
