| Publication | Date of Publication | Type |
|---|
| On a fat small object argument | 2014-04-15 | Paper |
| Cellular categories | 2014-04-07 | Paper |
| Addendum to ``Recursively defined metric spaces without contraction | 2014-01-10 | Paper |
| A note on the Penon definition of $n$-category | 2011-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5193041 | 2009-08-10 | Paper |
| Computads and Multitopic Sets | 2008-11-20 | Paper |
| The category of 3-computads is not cartesian closed | 2008-09-04 | Paper |
| Recursively defined metric spaces without contraction | 2007-07-16 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| On weak higher-dimensional categories. I: Part 3 | 2002-09-06 | Paper |
| On weak higher-dimensional categories. I. 2 | 2002-05-22 | Paper |
| On weak higher dimensional categories. I: Part 1 | 2001-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709207 | 2001-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936142 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222894 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381416 | 1998-09-21 | Paper |
| Generalized sketches as a framework for completeness theorems. I-III | 1997-04-24 | Paper |
| Avoiding the axiom of choice in general category theory | 1997-04-09 | Paper |
| On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic | 1996-02-04 | Paper |
| Completeness results for intuitionistic and modal logic in a categorical setting | 1995-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4300696 | 1994-08-23 | Paper |
| The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2 | 1994-04-24 | Paper |
| The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1 | 1994-04-21 | Paper |
| Duality and definability in first order logic | 1993-10-13 | Paper |
| Lambek's categorical proof theory and Läuchli's abstract realizability | 1992-09-27 | Paper |
| Accessible Categories: The Foundations of Categorical Model Theory | 1992-09-17 | Paper |
| Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal | 1990-01-01 | Paper |
| A theorem on Barr-exact categories, with an infinitary generalization | 1990-01-01 | Paper |
| Strong conceptual completeness for first-order logic | 1988-01-01 | Paper |
| Stone duality for first order logic | 1987-01-01 | Paper |
| On Representations of Grothendieck Toposes | 1987-01-01 | Paper |
| Some Results on Locally Finitely Presentable Categories | 1987-01-01 | Paper |
| An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705457 | 1985-01-01 | Paper |
| A survey of basic stability theory, with particular emphasis on orthogonality and regular types | 1984-01-01 | Paper |
| A proof of Vaught's conjecture for \(\omega\)-stable theories | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184905 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671937 | 1982-01-01 | Paper |
| Full Continuous Embeddings of Toposes | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043147 | 1981-01-01 | Paper |
| A correction to “stationary logic” | 1981-01-01 | Paper |
| An example concerning Scott heights | 1981-01-01 | Paper |
| On full embeddings. I | 1980-01-01 | Paper |
| New axiomatizations for logics with generalized quantifiers | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853604 | 1979-01-01 | Paper |
| Stationary logic | 1978-01-01 | Paper |
| A Tree Argument in Infinitary Model Theory | 1978-01-01 | Paper |
| First order categorical logic. Model-theoretical methods in the theory of topoi and related categories | 1977-01-01 | Paper |
| Universal Horn axiom systems for lattices of submodules | 1977-01-01 | Paper |
| An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications | 1977-01-01 | Paper |
| An L ω 1 ω Complete and Consistent Theory Without Models | 1977-01-01 | Paper |
| Applications of vaught sentences and the covering theorem | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103720 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103721 | 1976-01-01 | Paper |
| A remark on a paper of J.-P. Ressayre | 1974-01-01 | Paper |
| Generalizing Vaught sentences from ω to strong cofinality ω | 1974-01-01 | Paper |
| A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4401931 | 1973-01-01 | Paper |
| Global definability theory in 𝐿_{𝜔₁𝜔} | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5684641 | 1973-01-01 | Paper |
| Svenonius sentences and Lindström's theory on preservation theorems | 1972-01-01 | Paper |
| On the Lattice of Subalgebras of a Boolean Algebra | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5623684 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654039 | 1971-01-01 | Paper |
| Structures elementarily equivalent relative to infinitary languages to models of higher power | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585396 | 1969-01-01 | Paper |
| On the model theory of denumerably long formulas with finite strings of quantifiers | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596773 | 1966-01-01 | Paper |
| A compactness result concerning direct products of models | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343324 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5518331 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541313 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343323 | 1964-01-01 | Paper |
| Solution of a problem of G. Grätzer concerning endomorphism semigroups | 1964-01-01 | Paper |
| On a generalization of a theorem of E. W. Beth | 1964-01-01 | Paper |
