| Publication | Date of Publication | Type |
|---|
| Complete Representations and Neat Embeddings | 2024-02-29 | Paper |
| Omitting types algebraically and more about amalgamation for modal cylindric algebras | 2023-09-12 | Paper |
| Notions of representability for cylindric algebras: some algebras are more representable than others | 2023-06-05 | Paper |
| Omitting Types in Fragments and Extensions of First Order Logic | 2023-05-04 | Paper |
| On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results | 2023-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5073942 | 2022-05-06 | Paper |
| DIAGONALIZATION EXHIBITED IN THE LIAR PARADOX, RUSSELL’S PARADOX AND GÖDEL’S INCOMPLETENESS THEOREM | 2022-05-06 | Paper |
| Blow Up and Blur Constructions in Algebraic Logic | 2021-12-10 | Paper |
| Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) | 2021-09-07 | Paper |
| Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic | 2021-06-25 | Paper |
| Atom canonicity and first order definability in classes of algebras of relations | 2021-03-20 | Paper |
| Interpolation and amalgamation in modal cylindric algebras | 2021-02-08 | Paper |
| A brief history of Tarskian algebraic logic with new perspectives and innovations | 2020-08-25 | Paper |
| Space and time via Topological and Tense cylindric algebras | 2020-05-18 | Paper |
| Geometrical representation theorems for cylindric-type algebras | 2020-02-10 | Paper |
| Completely representable neat reducts | 2020-01-28 | Paper |
| An infinite stratum of representability; some cylindric algebras are more representable than others | 2020-01-27 | Paper |
| On the multi-dimensional modal logic of substitutions | 2020-01-17 | Paper |
| A universal approach to Omitting types for various multimodal and quantifier logics | 2019-12-14 | Paper |
| Non elementary classes of relation and cylindric algebras | 2019-12-14 | Paper |
| Various notions of represetability for cylindric and polyadic algebras | 2019-11-21 | Paper |
| Hilbert's tenth problem, G\"odel's incompleteness, Halting problem, a unifying perspective | 2018-12-02 | Paper |
| Varying interpolation and amalgamation in polyadic MV-algebras | 2018-09-12 | Paper |
| Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them | 2017-08-25 | Paper |
| Neat embeddings as adjoint situations | 2017-03-09 | Paper |
| Atom-canonicity in algebraic logic in connection to omitting types in modal fragments of L_{\omega, \omega} | 2016-08-10 | Paper |
| On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality | 2016-01-07 | Paper |
| A brief history of algebraic logic from neat embeddings to rainbow constructions | 2015-08-21 | Paper |
| Finite relation algebras and omitting types in modal fragments of first order logic | 2015-04-22 | Paper |
| Splitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras | 2015-03-07 | Paper |
| A solution to the finitizability problem for quantifier logics with equality | 2015-03-01 | Paper |
| Problems on neat embeddings solved by rainbow constructions and Monk algebras | 2015-02-02 | Paper |
| The class of completely representable polyadic algebras of infinite dimensions is elementary | 2015-01-09 | Paper |
| THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS | 2014-09-30 | Paper |
| Atom-canonicity and complete representations for cylindric-like algebras, and omitting types for the clque guarded fragment of first order logic | 2014-06-25 | Paper |
| A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct | 2014-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411402 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411403 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411422 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411423 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411424 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411428 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411429 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411430 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411447 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411473 | 2014-04-23 | Paper |
| Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras | 2014-02-02 | Paper |
| Amalgamation, interpolation and congruence extension properties in topological cylindric algebras | 2014-01-27 | Paper |
| Algebraisable versions of predicate topological logic | 2014-01-06 | Paper |
| Dedekind completions, neat embeddings and omitting types | 2014-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853710 | 2013-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853711 | 2013-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853715 | 2013-10-16 | Paper |
| Cylindric and polyadic algebras, new perspectives | 2013-08-31 | Paper |
| Atom-canonicity, relativized representations and omitting types for clique guarded semantics and guarded logics | 2013-08-27 | Paper |
| Strongly representable atom structures and neat embeddings | 2013-07-14 | Paper |
| On completions, neat embeddings and omittings types, yet again | 2013-07-02 | Paper |
| For finite n\geq 3, and k\geq 4, the variety SNr_n\CA_{n+k} is not atom canonical | 2013-06-04 | Paper |
| A polyadic algebra of infinite dimension is completely representable if and only if it is atomic and completely additive | 2013-06-04 | Paper |
| There is no finite variable axiomatization for various diagonal free algebras | 2013-05-29 | Paper |
| Blowing up and blurring finite Monk and rainbow algebras | 2013-05-20 | Paper |
| Strongly representable algebras | 2013-04-25 | Paper |
| Various interplays between relation and cylindric algebras | 2013-04-25 | Paper |
| On atomicity of free algebras in Boolean algebras with operators, and a new result on Pinter's free algebras | 2013-04-23 | Paper |
| On neat atom structures for cylindric like algebras | 2013-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4916283 | 2013-04-22 | Paper |
| Strongly representable atom structures | 2013-04-19 | Paper |
| Blow up and Blur constructions in Algebraic Logic | 2013-04-17 | Paper |
| Three interpolation theorems for typeless logics | 2013-04-17 | Paper |
| On completions of algebras in SNr_nCA_{n+k}, n\geq 3, k\geq 1 | 2013-04-11 | Paper |
| The elementary closure of the class Nr_nCA_m for m\geq n+1 is not finitely axiomatizable, futhermore for any finite k\geq 1, there is A\in Nr_{\omega}CA_{\omeg+k}that is not SNr_{\omega}CA_{\omega+k+1} | 2013-04-09 | Paper |
| Logics to which the class of neat reducts is sensitive to | 2013-04-09 | Paper |
| Results on Polyadic Algebras | 2013-04-09 | Paper |
| Building relativized representations using games | 2013-04-04 | Paper |
| Polyadic-like algebras without the amalgamation property | 2013-04-04 | Paper |
| On finitely generated reducts of polyadic equality algebras | 2013-04-04 | Paper |
| Amalgmation in Boolean algebras with operators | 2013-04-04 | Paper |
| Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras | 2013-04-04 | Paper |
| An instance of Vaught's conjecture using algebraic logic | 2013-04-03 | Paper |
| Representation theorems in modal logic using algebraic logic | 2013-04-03 | Paper |
| Free algebras, amalgamation, and a theorem of Vaught for many valued logics | 2013-04-03 | Paper |
| On some open problems in Algebraic logic | 2013-04-03 | Paper |
| Some metalogical properties for infinitary predicate topological logic | 2013-04-03 | Paper |
| Representations of bounded distributive lattices as the continuous sections of Sheaves based on the Priestly and Zarski topologies | 2013-04-02 | Paper |
| On complete representability of Pinter's algebras and related structures | 2013-04-02 | Paper |
| The superamalgamation property for reducts of Heyting polyadic algebras with and without equality | 2013-04-02 | Paper |
| Characterizing amalgmation bases for relation, cylindric and polyadic algebras | 2013-04-02 | Paper |
| Cylindric polyadic algebras have the superamalgamation | 2013-04-02 | Paper |
| Interpolation in many valued predicate logics using algebraic logic | 2013-04-02 | Paper |
| Quasi-projective relation algebras and directed cylindric algebras are categorially equivalent | 2013-04-02 | Paper |
| Neat atom structures | 2013-04-02 | Paper |
| What is the spirit of the cylindric paradigm, as opposed to that of the polyadic one? | 2013-03-29 | Paper |
| On the finitizability problem in algebraic logic; recent results | 2013-02-06 | Paper |
| The class of infinite dimensional quasipolaydic equality algebras is not finitely axiomatizable over its diagonal free reducts | 2013-02-02 | Paper |
| Atomic polyadic algebras of infinite dimension are completely representable | 2013-01-24 | Paper |
| New perspectives in algebraic logic, from neat embeddings to Erdős graphs | 2012-09-13 | Paper |
| Epimorphisms are not surjective, even in simple algebras | 2012-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2889954 | 2012-06-08 | Paper |
| Representability and amalgamation for Heyting polyadic algebras | 2012-04-26 | Paper |
| Amalgamation in universal algebraic logic | 2012-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3104125 | 2011-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3104144 | 2011-12-19 | Paper |
| On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras | 2011-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3091417 | 2011-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3091427 | 2011-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003210 | 2011-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2996969 | 2011-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5393189 | 2011-04-15 | Paper |
| Classes of algebras without the amalgamation property | 2011-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3067980 | 2011-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3064130 | 2010-12-20 | Paper |
| Some results about neat reducts | 2010-09-08 | Paper |
| The class of polyadic algebras has the super amalgamation property | 2010-02-16 | Paper |
| Epimorphisms in cylindric algebras and definability in finite variable logic | 2010-01-04 | Paper |
| Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation | 2009-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3650858 | 2009-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3650859 | 2009-12-15 | Paper |
| On neat embeddings of cylindric algebras | 2009-12-14 | Paper |
| Omitting types for algebraizable extensions of first order logic | 2009-11-30 | Paper |
| On a theorem of Vaught for first order logic with finitely many variables | 2009-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3185015 | 2009-10-23 | Paper |
| Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts | 2009-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192262 | 2009-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192264 | 2009-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192286 | 2009-08-04 | Paper |
| On complete representations of algebras of logic | 2009-06-29 | Paper |
| A simple construction of representable relation algebras with non-representable completions | 2009-06-11 | Paper |
| A note on substitutions in representable cylindric algebras | 2009-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3629232 | 2009-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3629041 | 2009-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3618746 | 2009-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3618753 | 2009-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3618754 | 2009-04-02 | Paper |
| On complete representations of reducts of polyadic algebras | 2009-03-17 | Paper |
| The Class SNr3CAk is Not Closed Under Completions | 2008-12-05 | Paper |
| Weakly representable atom structures that are not strongly representable, with an application to first order logic | 2008-06-12 | Paper |
| Omitting types for finite variable fragments and complete representations of algebras | 2008-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5460161 | 2008-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5460173 | 2008-05-02 | Paper |
| An Omitting Types Theorem for first order logic with infinitary relation symbols | 2008-01-04 | Paper |
| A note on neat reducts | 2007-08-17 | Paper |
| An Interpolation Theorem for First Order Logic with Infinitary Predicates | 2007-05-18 | Paper |
| On Neat Reducts and Amalgamation | 2007-05-18 | Paper |
| A Neat Embedding Theorem for Expansions of Cylindric Algebras | 2007-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3433175 | 2007-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3433178 | 2007-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3435232 | 2007-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3435233 | 2007-04-25 | Paper |
| Some Results on Amalgamation in Algebraic Logic | 2007-04-19 | Paper |
| Amalgamation, interpolation and epimorphisms in algebraic logic | 2007-04-02 | Paper |
| Independence Results in Algebraic Logic | 2006-07-06 | Paper |
| Algebraic Logic, Where Does it Stand Today? | 2006-06-12 | Paper |
| The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable | 2006-03-24 | Paper |
| On amalgamation in algebras of logic | 2006-03-17 | Paper |
| On amalgamation of reducts of polyadic algebras | 2006-01-17 | Paper |
| Amalgamation Theorems in Algebraic Logic, an overview | 2005-10-18 | Paper |
| Neat embeddings, omitting types, and interpolation: an overview | 2005-07-13 | Paper |
| Martin's axiom, omitting types, and complete representations in algebraic logic | 2003-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530145 | 2002-07-24 | Paper |
| The class of neat reducts is not elementary | 2002-07-22 | Paper |
| On neat reducts of algebras of logic | 2002-05-22 | Paper |
| The class of 2-dimensional neat reducts is not elementary | 2002-02-21 | Paper |
