| Publication | Date of Publication | Type |
|---|
| A note on the submodel preservation property in fragments of first-order logic | 2023-03-23 | Paper |
| Testing definitional equivalence of theories via automorphism groups | 2022-11-25 | Paper |
| Universal algebraic logic. Dedicated to the unity of science | 2022-11-08 | Paper |
| Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime | 2022-04-01 | Paper |
| Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime | 2021-12-30 | Paper |
| TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY | 2021-10-27 | Paper |
| NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS | 2021-05-11 | Paper |
| Two-variable logic has weak, but not strong, Beth definability | 2020-10-02 | Paper |
| Atoms in infinite dimensional free sequence-set algebras | 2019-10-09 | Paper |
| Varieties generated by completions | 2019-07-10 | Paper |
| Term algebras of elementarily equivalent atom structures | 2018-10-30 | Paper |
| How many varieties of cylindric algebras are there | 2017-10-12 | Paper |
| ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS | 2017-09-27 | Paper |
| Finite-Variable Logics Do Not Have Weak Beth Definability Property | 2017-08-28 | Paper |
| On a new semantics for first-order predicate logic | 2017-07-19 | Paper |
| A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’ | 2016-11-02 | Paper |
| Ultraproducts of continuous posets | 2016-10-26 | Paper |
| Free algebras of discriminator varieties generated by finite algebras are atomic | 2016-02-21 | Paper |
| Changing a Semantics: Opportunism or Courage? | 2015-11-27 | Paper |
| Using Isabelle/HOL to verify first-order relativity theory | 2015-06-23 | Paper |
| Comparing Theories: The Dynamics of Changing Vocabulary | 2015-05-11 | Paper |
| Faster than light motion does not imply time travel | 2014-06-19 | Paper |
| A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct | 2014-05-05 | Paper |
| A logic road from special relativity to general relativity | 2013-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853707 | 2013-10-16 | Paper |
| An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds | 2013-10-05 | Paper |
| CLOSED TIMELIKE CURVES IN RELATIVISTIC COMPUTATION | 2013-08-16 | Paper |
| DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES | 2013-08-16 | Paper |
| Residuated Kleene Algebras | 2012-07-16 | Paper |
| What are the numbers in which spacetime? | 2012-04-05 | Paper |
| The equational theory of Kleene lattices | 2012-01-04 | Paper |
| Formalizing set theory in weak logics, searching for the weakest logic with G\"odel's incompleteness property | 2011-11-03 | Paper |
| On Logical Analysis of Relativity Theories | 2011-05-04 | Paper |
| Vienna Circle and Logical Analysis of Relativity Theory | 2011-01-31 | Paper |
| Epimorphisms in cylindric algebras and definability in finite variable logic | 2010-01-04 | Paper |
| General relativistic hypercomputing and foundation of mathematics | 2009-10-19 | Paper |
| Weakly higher order cylindric algebras and finite axiomatization of the representables | 2009-03-17 | Paper |
| A twist in the geometry of rotating black holes: seeking the cause of acausality | 2008-12-16 | Paper |
| Axiomatizing relativistic dynamics without conservation postulates | 2008-09-02 | Paper |
| Omitting types for finite variable fragments and complete representations of algebras | 2008-05-08 | Paper |
| A Logical Analysis of the Time-Warp Effect of General Relativity | 2007-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3447200 | 2007-06-28 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| SOFSEM 2006: Theory and Practice of Computer Science | 2006-11-14 | Paper |
| Twin paradox and the logical foundation of relativity theory | 2006-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482812 | 2006-08-15 | Paper |
| Relativistic computers and the Turing barrier | 2006-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367316 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367329 | 2006-01-24 | Paper |
| Mutual definability does not imply definitional equivalence, a simple example | 2005-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789455 | 2003-01-29 | Paper |
| Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski | 2002-10-20 | Paper |
| On neat reducts of algebras of logic | 2002-05-22 | Paper |
| Non-Turing computations via Malament--Hogarth space-times | 2002-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2708315 | 2001-04-17 | Paper |
| On the equational theory of representable polyadic equality algebras | 2001-01-29 | Paper |
| Notions of density that imply representability in algebraic logic | 2000-02-15 | Paper |
| Finite algebras of relations are representable on finite sets | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250071 | 1999-10-28 | Paper |
| Persistent properties and an application to algebras of logic | 1998-11-23 | Paper |
| Modal languages and bounded fragments of predicate logic | 1998-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4390777 | 1998-10-19 | Paper |
| Relativised quantification: Some canonical varieties of sequence-set algebras | 1998-06-02 | Paper |
| Relation algebras from cylindric and polyadic algebras | 1998-05-10 | Paper |
| On the equational theory of representable polyadic equality algebras (extended abstract) | 1998-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349288 | 1997-12-22 | Paper |
| Decision problems for equational theories of relation algebras | 1997-12-07 | Paper |
| Strong representability of fork algebras, a set theoretic foundation | 1997-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349281 | 1997-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349280 | 1997-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4887108 | 1997-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873975 | 1996-12-05 | Paper |
| Taming logic | 1996-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873967 | 1996-08-22 | Paper |
| Expressibility of properties of relations | 1996-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4860647 | 1996-07-01 | Paper |
| Decidable and undecidable logics with a binary modality | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873974 | 1996-06-23 | Paper |
| Perfect extensions and derived algebras | 1996-06-19 | Paper |
| Axiomatization of identity-free equations valid in relation algebras | 1996-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870556 | 1996-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870570 | 1996-03-26 | Paper |
| Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators | 1996-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698615 | 1995-06-11 | Paper |
| Binary Relations and Permutation Groups | 1995-06-06 | Paper |
| Connections between axioms of set theory and basic theorems of universal algebra | 1995-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4305489 | 1994-09-13 | Paper |
| The lattice of varieties of representable relation algebras | 1994-08-15 | Paper |
| Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus | 1994-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273473 | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273476 | 1994-01-13 | Paper |
| A nonpermutational integral relation algebra | 1993-06-29 | Paper |
| Algebraization of quantifier logics, an introductory overview | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011726 | 1992-09-27 | Paper |
| Free algebras in discriminator varieties | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975138 | 1992-06-26 | Paper |
| Splitting in Relation Algebras | 1991-01-01 | Paper |
| On the strength of temporal proofs | 1991-01-01 | Paper |
| On varieties of cylindric algebras with applications to logic | 1987-01-01 | Paper |
| A unifying theorem for algebraic semantics and dynamic logics | 1987-01-01 | Paper |
| Decidability of Relation Algebras with Weakened Associativity | 1987-01-01 | Paper |
| A non-representable cylindric algebra with pairing functions | 1986-01-01 | Paper |
| On the number of generators of cylindric algebras | 1985-01-01 | Paper |
| Cylindric-relativised set algebras have strong amalgamation | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3684178 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719823 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340129 | 1984-01-01 | Paper |
| The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666908 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667088 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668824 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4748322 | 1982-01-01 | Paper |
| On notions of factorization systems and their applications to cone- injective subcategories | 1982-01-01 | Paper |
| A complete logic for reasoning about programs via nonstandard model theory. I | 1982-01-01 | Paper |
| A complete logic for reasoning about programs via nonstandard model theory. II | 1982-01-01 | Paper |
| Every free algebra in the variety generated by the representable dynamic algebras is separable and representable | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3317106 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3950541 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956390 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3958640 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749182 | 1981-01-01 | Paper |
| Similarity types, pseudosimple algebras, and congruence representations of chains | 1981-01-01 | Paper |
| HSP K is equational class, without the axiom of choice | 1981-01-01 | Paper |
| Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent | 1981-01-01 | Paper |
| Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3322163 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329462 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939224 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942401 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3950560 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968474 | 1981-01-01 | Paper |
| On systems of varieties definable by schemes of equations | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674662 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900070 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3923627 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3952160 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196574 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198727 | 1979-01-01 | Paper |
| INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I | 1979-01-01 | Paper |
| INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I | 1979-01-01 | Paper |
| Formulas and ultraproducts in categories | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208642 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883472 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890690 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3891754 | 1979-01-01 | Paper |
| From hereditary classes to varieties in abstract model theory and partial algebra | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853624 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3872454 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960112 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967519 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193440 | 1978-01-01 | Paper |
| On universal algebraic constructions of logics | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141882 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146772 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106191 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193529 | 1976-01-01 | Paper |
| A simple, purely algebraic proof of the completeness of some first order logics | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3215278 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875892 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101662 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4158868 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170719 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4049060 | 1974-01-01 | Paper |
| Sufficient and Necessary Condition for the Completeness of a Calculus | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4069802 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4077470 | 1974-01-01 | Paper |
