| Publication | Date of Publication | Type |
|---|
| How did Avicenna understand the Barcan formulas? | 2024-02-20 | Paper |
| A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS | 2023-05-26 | Paper |
| Medieval Arabic Notions of Algorithm: Some Further Raw Evidence | 2022-11-09 | Paper |
| A Strongly Differing Opinion on Proof-Theoretic Semantics? | 2022-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141781 | 2020-12-18 | Paper |
| Naturality and definability II | 2020-06-18 | Paper |
| From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory | 2020-02-05 | Paper |
| Remarks on Compositionality | 2020-02-04 | Paper |
| Notes on the History of Scope | 2020-02-03 | Paper |
| Andrzej Mostowski and the Notion of a Model | 2019-01-21 | Paper |
| Two early Arabic applications of model-theoretic consequence | 2018-08-06 | Paper |
| IBN SĪNĀ ON REDUCTIO AD ABSURDUM | 2017-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5271408 | 2017-07-11 | Paper |
| The Move from One to Two Quantifiers | 2015-06-24 | Paper |
| A Visit to Tarski’s Seminar on Elimination of Quantifiers | 2015-04-17 | Paper |
| From Sentence Meanings to Full Semantics | 2015-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939744 | 2015-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851809 | 2013-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925874 | 2013-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4912868 | 2013-03-27 | Paper |
| Ibn Sīnā and Conflict in Logic | 2012-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3102665 | 2011-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3098780 | 2011-11-18 | Paper |
| Dependence of variables construed as an atomic formula | 2011-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3016125 | 2011-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012525 | 2011-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3000101 | 2011-05-18 | Paper |
| Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic | 2010-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3574468 | 2010-07-09 | Paper |
| Traditional logic, modern logic and natural language | 2010-01-15 | Paper |
| Relative categoricity in abelian groups. II | 2009-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509723 | 2008-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5443132 | 2008-02-19 | Paper |
| Logic for Mathematical Writing | 2007-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3444707 | 2007-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483301 | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477949 | 2006-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367324 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711929 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671130 | 2005-04-23 | Paper |
| What languages have Tarski truth definitions? | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474359 | 2004-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789458 | 2003-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781770 | 2002-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4541509 | 2002-08-01 | Paper |
| Some combinatorics of imperfect information | 2002-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532187 | 2002-06-04 | Paper |
| An Editor Recalls Some Hopeless Papers | 2002-02-14 | Paper |
| Compositionality is not the problem | 2001-07-23 | Paper |
| The laws of distribution for syllogisms | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938555 | 2001-03-19 | Paper |
| Formal features of compositionality | 2001-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381411 | 1998-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4356357 | 1998-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362727 | 1998-03-23 | Paper |
| Compositional semantics for a language of imperfect information | 1997-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342087 | 1997-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4336034 | 1997-05-06 | Paper |
| The meaning of specifications I: Domains and initial models | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4309354 | 1995-06-13 | Paper |
| Cohomology of Structures and Some Problems of Ahlbrandt and Ziegler | 1994-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4288283 | 1994-11-03 | Paper |
| The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph | 1994-04-27 | Paper |
| Existentially closed groups and determinacy | 1993-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003410 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4004803 | 1992-09-27 | Paper |
| Automorphisms of Bounded Abelian Groups | 1992-06-28 | Paper |
| There are reasonably nice logics | 1992-06-26 | Paper |
| Omega-categoricity, relative categoricity and coordinatisation | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735178 | 1989-01-01 | Paper |
| Alfred Tarski and decidable theories | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804676 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832546 | 1988-01-01 | Paper |
| What is a Structure Theory? | 1987-01-01 | Paper |
| Naturality and Definability, I | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686704 | 1985-01-01 | Paper |
| Errata to ``In singular cardinality, locally free algebras are free | 1984-01-01 | Paper |
| Groupes nilpotents existentiellement clos de classe fixée | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3335764 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3344182 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346292 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703879 | 1984-01-01 | Paper |
| A combinatorial fact about free algebras | 1982-01-01 | Paper |
| In singular cardinality, locally free algebras are free | 1981-01-01 | Paper |
| Encoding orders and trees in binary relations | 1981-01-01 | Paper |
| Infinite games and reduced products | 1981-01-01 | Paper |
| Constructing pure injective hulls | 1980-01-01 | Paper |
| Interpreting number theory in nilpotent groups | 1980-01-01 | Paper |
| Functorial uniform reducibility | 1980-01-01 | Paper |
| Krull Implies Zorn | 1979-01-01 | Paper |
| Possible Orderings of an Indiscernible Sequence | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182717 | 1977-01-01 | Paper |
| Läuchli's algebraic closure of Q | 1976-01-01 | Paper |
| On the Effectivity of Some Field Constructions | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4115145 | 1975-01-01 | Paper |
| Six impossible rings | 1974-01-01 | Paper |
| A Normal Form for Algebraic Constructions | 1974-01-01 | Paper |
| Models in which all long indiscernible sequences are indiscernible sets | 1973-01-01 | Paper |
| On order-types of models | 1972-01-01 | Paper |
