| Publication | Date of Publication | Type |
|---|
Lifting results for finite dimensions to the transfinite in systems of varieties using ultraproducts
Bulletin of the Section of Logic | 2025-10-06 | Paper |
Complete Representations and Neat Embeddings
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Omitting types algebraically and more about amalgamation for modal cylindric algebras
Mathematical Logic Quarterly | 2023-09-12 | Paper |
Notions of representability for cylindric algebras: some algebras are more representable than others
Periodica Mathematica Hungarica | 2023-06-05 | Paper |
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
Bulletin of the Section of Logic | 2023-05-04 | Paper |
Omitting Types in Fragments and Extensions of First Order Logic
Bulletin of the Section of Logic | 2023-05-04 | Paper |
DIAGONALIZATION EXHIBITED IN THE LIAR PARADOX, RUSSELL’S PARADOX AND GÖDEL’S INCOMPLETENESS THEOREM
JP Journal of Algebra, Number Theory and Applications | 2022-05-06 | Paper |
| On non-finite axiomatization of \(n\)-modal logics between \(\mathbf{K}^n\) and \(\mathbf{S}5^n\) for finite \(n \geq 3\) | 2022-05-06 | Paper |
Blow Up and Blur Constructions in Algebraic Logic
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
Journal of Applied Non-Classical Logics | 2021-06-25 | Paper |
Atom canonicity and first order definability in classes of algebras of relations
Studia Scientiarum Mathematicarum Hungarica | 2021-03-20 | Paper |
Interpolation and amalgamation in modal cylindric algebras
Quaestiones Mathematicae | 2021-02-08 | Paper |
A brief history of Tarskian algebraic logic with new perspectives and innovations
Bollettino dell'Unione Matematica Italiana | 2020-08-25 | Paper |
| Space and time via Topological and Tense cylindric algebras | 2020-05-18 | Paper |
Geometrical representation theorems for cylindric-type algebras
Quaestiones Mathematicae | 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
Studia Scientiarum Mathematicarum Hungarica | 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
Studia Scientiarum Mathematicarum Hungarica | 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
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them
Studia Scientiarum Mathematicarum Hungarica | 2017-08-25 | Paper |
Neat embeddings as adjoint situations
Synthese | 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
Mathematical Logic Quarterly | 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
(available as arXiv preprint) | 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
Algebra Universalis | 2015-01-09 | Paper |
The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
The Journal of Symbolic Logic | 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
Studia Scientiarum Mathematicarum Hungarica | 2014-05-05 | Paper |
| scientific article; zbMATH DE number 6287557 (Why is no real title available?) | 2014-04-23 | Paper |
| Variations on Martin's axiom and omitting types from algebraic logic, lattice theory and topology | 2014-04-23 | Paper |
| Classes of algebras that are not closed under completions | 2014-04-23 | Paper |
| Vaught's theorem holds for \(L_{2}\) but fails for \(L_{n}\) when \(n > 2\) | 2014-04-23 | Paper |
| A note on atom structures of relation and cylindric algebras | 2014-04-23 | Paper |
| Amalgamation for reducts of polyadic equality algebras, a negative result | 2014-04-23 | Paper |
| The class of neat reducts is not Boolean closed | 2014-04-23 | Paper |
| Classes of representable algebras with the amalgamation property | 2014-04-23 | Paper |
| A non-finitizability result in algebraic logic | 2014-04-23 | Paper |
| \(\mathfrak{Ra}\mathrm{CA}_{n}\) is not elementary, for \(n\geq 5\) | 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 |
| Neat reducts and neat embeddings in cylindric algebras | 2013-10-16 | Paper |
| Completions, complete representations and omitting types | 2013-10-16 | Paper |
| Amalgamation, interpolation and epimorphisms in algebraic logic | 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 |
| The class of representable cylindric algebras has no canonical axiomatization | 2013-04-22 | Paper |
| Strongly representable atom structures | 2013-04-19 | Paper |
Three interpolation theorems for typeless logics
Logic Journal of the IGPL | 2013-04-17 | Paper |
Blow up and Blur constructions in Algebraic Logic
(available as arXiv preprint) | 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
Journal of the Egyptian Mathematical Society | 2012-09-13 | Paper |
Epimorphisms are not surjective, even in simple algebras
Logic Journal of the IGPL | 2012-08-01 | Paper |
On finite axiomatizability of expansions of cylindric algebras
Journal of Algebra, Number Theory: Advances and Applications | 2012-06-08 | Paper |
Representability and amalgamation for Heyting polyadic algebras
Studia Scientiarum Mathematicarum Hungarica | 2012-04-26 | Paper |
Amalgamation in universal algebraic logic
Studia Scientiarum Mathematicarum Hungarica | 2012-04-26 | Paper |
| Varieties of algebras without the amalgamation property | 2011-12-19 | Paper |
| Free representable cylindric algebras have the strong restricted interpolation property | 2011-12-19 | Paper |
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
Mathematical Logic Quarterly | 2011-09-27 | Paper |
| An omitting types theorem in finite schematizable algebraic logic | 2011-09-09 | Paper |
| Not all epimorphisms are surjective in the class of diagonal cylindric algebras | 2011-09-09 | Paper |
| A note on cylindric algebras | 2011-05-25 | Paper |
| scientific article; zbMATH DE number 5883874 (Why is no real title available?) | 2011-05-04 | Paper |
| On neat reducts of reducts of cylindric algebras | 2011-04-15 | Paper |
Classes of algebras without the amalgamation property
Logic Journal of the IGPL | 2011-03-07 | Paper |
| scientific article; zbMATH DE number 5836013 (Why is no real title available?) | 2011-01-13 | Paper |
| On neatly atomic cylindric set algebras | 2010-12-20 | Paper |
Some results about neat reducts
Algebra Universalis | 2010-09-08 | Paper |
The class of polyadic algebras has the super amalgamation property
MLQ | 2010-02-16 | Paper |
Epimorphisms in cylindric algebras and definability in finite variable logic
Algebra Universalis | 2010-01-04 | Paper |
Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
Logic Journal of the IGPL | 2009-12-18 | Paper |
| The amalgamation property and a problem of Henkin, Monk and Tarski | 2009-12-15 | Paper |
| On neat embeddings of algebraisations of first order logic | 2009-12-15 | Paper |
On neat embeddings of cylindric algebras
Mathematical Logic Quarterly | 2009-12-14 | Paper |
Omitting types for algebraizable extensions of first order logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
On a theorem of Vaught for first order logic with finitely many variables
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
| Omitting types algebraically via cylindric algebras | 2009-10-23 | Paper |
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
Logic Journal of the IGPL | 2009-08-12 | Paper |
| scientific article; zbMATH DE number 5590138 (Why is no real title available?) | 2009-08-04 | Paper |
| Amalgamation for reducts of polyadic equality algebras, both a negative result and a positive result | 2009-08-04 | Paper |
| On the amalgamation base of cylindric algebras | 2009-08-04 | Paper |
On complete representations of algebras of logic
Logic Journal of the IGPL | 2009-06-29 | Paper |
A note on substitutions in representable cylindric algebras
Mathematical Logic Quarterly | 2009-06-11 | Paper |
A simple construction of representable relation algebras with non-representable completions
Mathematical Logic Quarterly | 2009-06-11 | Paper |
| scientific article; zbMATH DE number 5558172 (Why is no real title available?) | 2009-05-27 | Paper |
| scientific article; zbMATH DE number 5557947 (Why is no real title available?) | 2009-05-26 | Paper |
| The super amalgamation property via neat embeddings, and a problem of Henkin and Monk | 2009-04-02 | Paper |
| scientific article; zbMATH DE number 5539272 (Why is no real title available?) | 2009-04-02 | Paper |
| Reducts of polyadic equality algebras without the amalgamation property | 2009-04-02 | Paper |
On complete representations of reducts of polyadic algebras
Studia Logica | 2009-03-17 | Paper |
The Class SNr3CAk is Not Closed Under Completions
Logic Journal of the IGPL | 2008-12-05 | Paper |
Weakly representable atom structures that are not strongly representable, with an application to first order logic
MLQ | 2008-06-12 | Paper |
Omitting types for finite variable fragments and complete representations of algebras
Journal of Symbolic Logic | 2008-05-08 | Paper |
| Algebras of sentences | 2008-05-02 | Paper |
| scientific article; zbMATH DE number 5270675 (Why is no real title available?) | 2008-05-02 | Paper |
An Omitting Types Theorem for first order logic with infinitary relation symbols
Mathematical Logic Quarterly | 2008-01-04 | Paper |
A note on neat reducts
Studia Logica | 2007-08-17 | Paper |
An Interpolation Theorem for First Order Logic with Infinitary Predicates
Logic Journal of the IGPL | 2007-05-18 | Paper |
A Neat Embedding Theorem for Expansions of Cylindric Algebras
Logic Journal of the IGPL | 2007-05-18 | Paper |
On Neat Reducts and Amalgamation
Logic Journal of the IGPL | 2007-05-18 | Paper |
| A confirmation of a conjecture of Tarski | 2007-04-27 | Paper |
| Omitting types for finite variable fragments of first order logic | 2007-04-27 | Paper |
| A sufficient and necessary condition for omitting types | 2007-04-25 | Paper |
| scientific article; zbMATH DE number 5145992 (Why is no real title available?) | 2007-04-25 | Paper |
Some Results on Amalgamation in Algebraic Logic
Logic Journal of the IGPL | 2007-04-19 | Paper |
Amalgamation, interpolation and epimorphisms in algebraic logic
Algebra Universalis | 2007-04-02 | Paper |
Independence Results in Algebraic Logic
Logic Journal of the IGPL | 2006-07-06 | Paper |
Algebraic Logic, Where Does it Stand Today?
The Bulletin of Symbolic Logic | 2006-06-12 | Paper |
The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
MLQ | 2006-03-24 | Paper |
On amalgamation in algebras of logic
Studia Logica | 2006-03-17 | Paper |
On amalgamation of reducts of polyadic algebras
Algebra Universalis | 2006-01-17 | Paper |
Amalgamation Theorems in Algebraic Logic, an overview
Logic Journal of the IGPL | 2005-10-18 | Paper |
Neat embeddings, omitting types, and interpolation: an overview
Notre Dame Journal of Formal Logic | 2005-07-13 | Paper |
Martin's axiom, omitting types, and complete representations in algebraic logic
Studia Logica | 2003-03-12 | Paper |
| scientific article; zbMATH DE number 1747697 (Why is no real title available?) | 2002-07-24 | Paper |
The class of neat reducts is not elementary
Logic Journal of the IGPL | 2002-07-22 | Paper |
On neat reducts of algebras of logic
Studia Logica | 2002-05-22 | Paper |
The class of 2-dimensional neat reducts is not elementary
Fundamenta Mathematicae | 2002-02-21 | Paper |
