| Publication | Date of Publication | Type |
|---|
König's infinity lemma and Beth's tree theorem
History and Philosophy of Logic | 2017-02-22 | Paper |
| Fraenkel-Carnap questions for equivalence relations | 2016-02-01 | Paper |
| The Fraenkel-Carnap question for limited higher-order languages | 2014-04-23 | Paper |
| scientific article; zbMATH DE number 6287632 (Why is no real title available?) | 2014-04-23 | Paper |
A general setting for Dedekind's axiomatization of the positive integers
History and Philosophy of Logic | 2013-04-18 | Paper |
| Compactness in equational logic | 2006-09-14 | Paper |
From finitary to infinitary second‐order logic
Mathematical Logic Quarterly | 2005-09-26 | Paper |
Fraenkel-Carnap properties
MLQ | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 2015403 (Why is no real title available?) | 2003-12-09 | Paper |
The first-order theories of Dedekind algebras
Studia Logica | 2003-06-09 | Paper |
The Fraenkel‐Carnap question for Dedekind algebras
Mathematical Logic Quarterly | 2003-03-19 | Paper |
Classifying \(\aleph_0\)-categorical theories. II: The existence of finitely axiomatizable proper class II theories
Studia Logica | 2001-01-29 | Paper |
Homogeneous and universal Dedekind algebras
Studia Logica | 2000-04-09 | Paper |
Structuralism and Representation Theorems†
Philosophia Mathematica | 1999-08-17 | Paper |
scientific article; zbMATH DE number 981607 (Why is no real title available?)
Mathematics and its Applications (Dordrecht) | 1997-02-25 | Paper |
A note on definability in equational logic
History and Philosophy of Logic | 1994-11-10 | Paper |
Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems
Studia Logica | 1994-10-17 | Paper |
Unifying some modifications of the Henkin construction
Notre Dame Journal of Formal Logic | 1993-02-22 | Paper |
| scientific article; zbMATH DE number 69316 (Why is no real title available?) | 1992-10-21 | Paper |
| scientific article; zbMATH DE number 31599 (Why is no real title available?) | 1992-06-28 | Paper |
Henkin's completeness proof: Forty years later
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Extending ω-consistent sets to maximally consistent, ω-complete sets
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
Two Definability Results in the Equational Context
Proceedings of the American Mathematical Society | 1989-01-01 | Paper |
Classifying \(\aleph_ 0\)-categorical theories
Studia Logica | 1988-01-01 | Paper |
Reading proofs with understanding
Theoria | 1988-01-01 | Paper |
Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
Journal of Symbolic Logic | 1986-01-01 | Paper |
A Note on the Interpolation Theorem in First Order Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1982-01-01 | Paper |
First Order Properties of Relations with the Monotonic Closure Property
Mathematical Logic Quarterly | 1982-01-01 | Paper |
A Note on the Compactness Theorem in First Order Logic
Mathematical Logic Quarterly | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3588626 (Why is no real title available?) | 1978-01-01 | Paper |
Compactness theorems for finitely-many-valued sentential logics
Studia Logica | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3547256 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3512084 (Why is no real title available?) | 1975-01-01 | Paper |
Finite Partitions and Their Generators
Mathematical Logic Quarterly | 1974-01-01 | Paper |
Logical consequence in modal logic. II: Some semantic systems for S4
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
Logical consequence in modal logic. II: Some semantic systems for S4
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3478865 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3428888 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3428895 (Why is no real title available?) | 1973-01-01 | Paper |
Logical consequence in modal logic: Natural deduction in S5
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
