| Publication | Date of Publication | Type |
|---|
| König's Infinity Lemma and Beth's Tree Theorem | 2017-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3466609 | 2016-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411463 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411479 | 2014-04-23 | Paper |
| A General Setting for Dedekind's Axiomatization of the Positive Integers | 2013-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5488258 | 2006-09-14 | Paper |
| From finitary to infinitary second‐order logic | 2005-09-26 | Paper |
| Fraenkel-Carnap properties | 2005-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438234 | 2003-12-09 | Paper |
| The first-order theories of Dedekind algebras | 2003-06-09 | Paper |
| The Fraenkel‐Carnap question for Dedekind algebras | 2003-03-19 | Paper |
| Classifying \(\aleph_0\)-categorical theories. II: The existence of finitely axiomatizable proper class II theories | 2001-01-29 | Paper |
| Homogeneous and universal Dedekind algebras | 2000-04-09 | Paper |
| Structuralism and Representation Theorems† | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2785552 | 1997-02-25 | Paper |
| A note on definability in equational logic | 1994-11-10 | Paper |
| Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems | 1994-10-17 | Paper |
| Unifying some modifications of the Henkin construction | 1993-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4014784 | 1992-10-21 | Paper |
| Henkin's completeness proof: Forty years later | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3987714 | 1992-06-28 | Paper |
| Extending ω-consistent sets to maximally consistent, ω-complete sets | 1990-01-01 | Paper |
| Two Definability Results in the Equational Context | 1989-01-01 | Paper |
| Classifying \(\aleph_ 0\)-categorical theories | 1988-01-01 | Paper |
| Reading proofs with understanding | 1988-01-01 | Paper |
| Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics | 1986-01-01 | Paper |
| A Note on the Interpolation Theorem in First Order Logic | 1982-01-01 | Paper |
| First Order Properties of Relations with the Monotonic Closure Property | 1982-01-01 | Paper |
| A Note on the Compactness Theorem in First Order Logic | 1980-01-01 | Paper |
| Compactness theorems for finitely-many-valued sentential logics | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156409 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091919 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121875 | 1975-01-01 | Paper |
| Logical consequence in modal logic. II: Some semantic systems for S4 | 1974-01-01 | Paper |
| Logical consequence in modal logic. II: Some semantic systems for \(S4\) | 1974-01-01 | Paper |
| Finite Partitions and Their Generators | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063435 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181660 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181666 | 1973-01-01 | Paper |
| Logical consequence in modal logic: Natural deduction in S5 | 1969-01-01 | Paper |
