| Publication | Date of Publication | Type |
|---|
| Boole's Chapter XV: Syllogism Details | 2023-05-23 | Paper |
| Discovering an Algebra of Classes in the Algebra of Numbers -- from George Boole to the Present | 2023-04-24 | Paper |
| George Boole and Boolean algebra | 2016-04-19 | Paper |
| Boole's Principles of Symbolical Reasoning | 2014-12-09 | Paper |
| Boole's Method I. A Modern Version | 2014-04-03 | Paper |
| Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law | 2014-03-25 | Paper |
| The Horn theory of Boole's partial algebras | 2013-07-11 | Paper |
| On the set of zero coefficients of a function satisfying a linear differential equation | 2012-10-31 | Paper |
| Spectra and Systems of Equations | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118382 | 2012-03-02 | Paper |
| Characteristic points of recursive systems | 2010-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5387736 | 2008-05-27 | Paper |
| Counting rooted trees: the universal law \(t(n)\sim C\rho^{-n} n^{-3/2}\) | 2006-08-30 | Paper |
| Partition identities. II: The results of Bateman and Erdős | 2006-04-28 | Paper |
| The saga of the high school identities | 2006-01-06 | Paper |
| The equational theory of a nontrivial discriminator variety is co-NP-hard | 2006-01-06 | Paper |
| Admissible Dirichlet Series | 2005-07-22 | Paper |
| Boolean products of indecomposables. | 2005-04-19 | Paper |
| Partition identities. I: Sandwich theorems and logical 0-1 laws | 2004-10-13 | Paper |
| Asymptotics for logical limit laws: When the growth of the components is in an RT class | 2003-07-28 | Paper |
| ABSTRACT NUMBER SYSTEMS AND LOGICAL LIMIT LAWS | 2002-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4526796 | 2001-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4485829 | 2000-06-19 | Paper |
| Fine Spectra and Limit Laws, II First-Order 0–1 Laws | 1998-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4359310 | 1998-03-23 | Paper |
| Fine Spectra and Limit Laws I. First-Order Laws | 1997-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896521 | 1997-03-16 | Paper |
| A DIRECTLY REPRESENTABLE VARIETY HAS A DISCRETE FIRST-ORDER LAW | 1996-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4888333 | 1996-07-28 | Paper |
| Computers and universal algebra: Some directions | 1996-04-10 | Paper |
| Polynomial Time Uniform Word Problems | 1995-06-06 | Paper |
| Model Companions with Finitely Many Countable Models | 1994-09-08 | Paper |
| Tarski's High School Identities | 1993-06-29 | Paper |
| SMALL MODELS OF THE HIGH SCHOOL IDENTITIES | 1993-06-01 | Paper |
| Discriminator varieties and symbolic computation | 1992-09-26 | Paper |
| Decidable discriminator varieties from unary varieties | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3199467 | 1990-01-01 | Paper |
| Decidable Model Companions | 1989-01-01 | Paper |
| Bounded Obstructions, Model Companions and Amalgamation Bases | 1988-01-01 | Paper |
| A note on algebraically and existentially closed structures | 1987-01-01 | Paper |
| Primitive positive clones which are endomorphism clones | 1987-01-01 | Paper |
| The Model Completion of the Class of ℒ-Structures | 1987-01-01 | Paper |
| Elementary and algebraic properties of the Arens-Kaplansky constructions | 1986-01-01 | Paper |
| Remarks on the Fraser-Horn property | 1986-01-01 | Paper |
| Finite axiomatizations for existentially closed posets and semilattices | 1986-01-01 | Paper |
| A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups | 1985-01-01 | Paper |
| Discriminator polynomials and arithmetical varieties | 1985-01-01 | Paper |
| Iterated discriminator varieties have undecidable theories | 1985-01-01 | Paper |
| Model companions for finitely generated universal Horn classes | 1984-01-01 | Paper |
| Expanding varieties by monoids of endomorphisms | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3665170 | 1983-01-01 | Paper |
| The first order theory of Boolean algebras with a distinguished group of automorphisms | 1982-01-01 | Paper |
| A note on directly indecomposable algebras | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968999 | 1982-01-01 | Paper |
| Decidable varieties with modular congruence lattices | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3934450 | 1981-01-01 | Paper |
| Decidability and Boolean representations | 1981-01-01 | Paper |
| Remarks on Boolean products | 1980-01-01 | Paper |
| Free algebras as subdirect products | 1980-01-01 | Paper |
| On Baker's Finite Basis Theorem for Congruence Distributive Varieties | 1979-01-01 | Paper |
| Sheaf Constructions and Their Elementary Properties | 1979-01-01 | Paper |
| Bounded Boolean powers and \(\equiv_n\) | 1978-01-01 | Paper |
| Rigid Boolean powers | 1978-01-01 | Paper |
| On the simplicity and subdirect irreducibility of Boolean ultrapowers | 1978-01-01 | Paper |
| An example concerning definable principal congruences | 1977-01-01 | Paper |
| Subdirect representations in axiomatic classes | 1976-01-01 | Paper |
| Lattice-theoretic decision problems in universal algebra | 1975-01-01 | Paper |
| Separating sets in modular lattices with applications to congruence lattices | 1975-01-01 | Paper |
| Boolean powers | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141235 | 1975-01-01 | Paper |
| Weights of denumerable topological spaces | 1974-01-01 | Paper |
| Scott sentences and a problem of Vaught for mono-uary algebras | 1973-01-01 | Paper |
| Models in equational theories of unary algebras | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5648405 | 1972-01-01 | Paper |
| On the structure of the lattice of equational classes \({\mathcal L}(\tau)\) | 1971-01-01 | Paper |
| Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups. | 1971-01-01 | Paper |
| Embedding the Dual of Π m in the Lattice of Equational Classes of Commutative Semigroups | 1971-01-01 | Paper |
| The structure of closure congruences | 1971-01-01 | Paper |
| A note on varieties of unary algebras | 1971-01-01 | Paper |
| Closure homomorphisms | 1970-01-01 | Paper |
| Representation theorems for closure spaces | 1968-01-01 | Paper |
