| Publication | Date of Publication | Type |
|---|
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
| 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 |
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 |
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 |
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 |
Blow up and Blur constructions in Algebraic Logic
| 2013-04-17 | Paper |
Three interpolation theorems for typeless logics
Logic Journal of the IGPL | 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 |
scientific article; zbMATH DE number 5270675 (Why is no real title available?)
| 2008-05-02 | Paper |
Algebras of sentences
| 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 |
