| 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 |
Omitting Types in Fragments and Extensions of First Order Logic
Bulletin of the Section of Logic | 2023-05-04 | 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 |
| 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 |
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 |
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 |
Completely representable neat reducts
(available as arXiv preprint) | 2020-01-01 | Paper |
An infinite stratum of representability; some cylindric algebras are more representable than others
(available as arXiv preprint) | 2020-01-01 | Paper |
Space and time via Topological and Tense cylindric algebras
(available as arXiv preprint) | 2020-01-01 | 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 |
A universal approach to Omitting types for various multimodal and quantifier logics
(available as arXiv preprint) | 2019-01-01 | Paper |
Non elementary classes of relation and cylindric algebras
(available as arXiv preprint) | 2019-01-01 | 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 |
Hilbert's tenth problem, Gödel's incompleteness, Halting problem, a unifying perspective
(available as arXiv preprint) | 2018-01-01 | 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 |
Atom-canonicity in algebraic logic in connection to omitting types in modal fragments of L_{\omega, \omega}
(available as arXiv preprint) | 2016-01-01 | 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 |
Problems on neat embeddings solved by rainbow constructions and Monk algebras
(available as arXiv preprint) | 2015-01-01 | 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
(available as arXiv preprint) | 2015-01-01 | Paper |
Finite relation algebras and omitting types in modal fragments of first order logic
(available as arXiv preprint) | 2015-01-01 | Paper |
A brief history of algebraic logic from neat embeddings to rainbow constructions
(available as arXiv preprint) | 2015-01-01 | 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 |
| A non-finitizability result in algebraic logic | 2014-04-23 | Paper |
| scientific article; zbMATH DE number 6287557 (Why is no real title available?) | 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 |
| Variations on Martin's axiom and omitting types from algebraic logic, lattice theory and topology | 2014-04-23 | Paper |
| Classes of representable algebras with the amalgamation property | 2014-04-23 | Paper |
| \(\mathfrak{Ra}\mathrm{CA}_{n}\) is not elementary, for \(n\geq 5\) | 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 |
| 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 |
Dedekind completions, neat embeddings and omitting types
(available as arXiv preprint) | 2014-01-01 | Paper |
Algebraisable versions of predicate topological logic
(available as arXiv preprint) | 2014-01-01 | Paper |
Amalgamation, interpolation and congruence extension properties in topological cylindric algebras
(available as arXiv preprint) | 2014-01-01 | Paper |
Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras
(available as arXiv preprint) | 2014-01-01 | Paper |
Atom-canonicity and complete representations for cylindric-like algebras, and omitting types for the clque guarded fragment of first order logic
(available as arXiv preprint) | 2014-01-01 | Paper |
| Amalgamation, interpolation and epimorphisms in algebraic logic | 2013-10-16 | Paper |
| Neat reducts and neat embeddings in cylindric algebras | 2013-10-16 | Paper |
| Completions, complete representations and omitting types | 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 |
