Edit Profile (opens in new tab) Andréka, Hajnal Co-Author Distance Author ID: andreka.hajnal Published as: Andréka, Hajnal; Andreka, H.; Andréka, H.; Andreka, Hajnal; Andréka, Hajnalka more...less Homepage: https://www.renyi.hu/~andreka/ External Links: MGP · Wikidata · GND · IdRef Documents Indexed: 142 Publications since 1973, including 4 Books and 9 Additional arXiv Preprints 2 Contributions as Editor · 1 Further Contribution Biographic References: 1 Publication Co-Authors: 37 Co-Authors with 135 Joint Publications 644 Co-Co-Authors all top 5 Co-Authors 9 single-authored 119 Németi, István 16 Givant, Steven R. 15 Madarász, Judit X. 14 Sain, Ildikó 11 Székely, Gergely 7 Gergely, Tamás 5 Mikulás, Szabolcs 5 van Benthem, Johan F. A. K. 3 Düntsch, Ivo 3 Gyenis, Zalán 3 Kurucz, Ágnes 3 Monk, James Donald 3 Sayed Ahmed, Tarek 3 Simon, András 2 Burmeister, Peter 2 Comer, Stephen Daniel 2 Guessarian, Irène 2 Jónsson, Bjarni 2 Maddux, Roger D. 2 Németi, Péter 1 Bezhanishvili, Nick 1 Bredikhin, Dmitriĭ Aleksandrovich 1 Dahn, Bernd Ingo 1 Ferenczi, Miklós 1 Goldblatt, Robert Ian 1 Henkin, Leon Albert 1 Hodkinson, Ian Martin 1 Jipsen, Peter 1 Makai, Endre jun. 1 Márki, László 1 Pasztor, Ana 1 Ryan, Mark Dermot 1 Schobbens, Pierre-Yves 1 Stannett, Mike 1 Šulka, Robert 1 Tarski, Alfred 1 Wüthrich, Christian all top 5 Serials 21 Algebra Universalis 13 The Journal of Symbolic Logic 7 Studia Scientiarum Mathematicarum Hungarica 5 Annals of Pure and Applied Logic 5 Bulletin of the Section of Logic 4 Theoretical Computer Science 3 Kibernetika 3 Transactions of the American Mathematical Society 2 Acta Cybernetica 2 Demonstratio Mathematica 2 Journal of Philosophical Logic 2 Proceedings of the American Mathematical Society 2 Studia Logica 2 Mathematical Logic Quarterly (MLQ) 2 Parallel Processing Letters 1 Classical and Quantum Gravity 1 General Relativity and Gravitation 1 Beiträge zur Algebra und Geometrie 1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Mathematica 1 Commentationes Mathematicae Universitatis Carolinae 1 Dissertationes Mathematicae 1 Matematikai Lapok 1 Mathematica Slovaca 1 Memoirs of the American Mathematical Society 1 Michigan Mathematical Journal 1 Notre Dame Journal of Formal Logic 1 Synthese 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Bulletin of the Section of Logic 1 Information and Computation 1 Journal of Logic and Computation 1 Journal of Logic, Language and Information 1 The Bulletin of Symbolic Logic 1 Journal of the IGPL 1 Logic Journal of the IGPL 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Natural Computing 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Bolyai Society Mathematical Studies 1 Colloquia Mathematica Societatis János Bolyai 1 Lecture Notes in Mathematics 1 The Review of Symbolic Logic 1 Studies in Universal Logic all top 5 Fields 121 Mathematical logic and foundations (03-XX) 41 General algebraic systems (08-XX) 27 Computer science (68-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 12 Relativity and gravitational theory (83-XX) 10 Category theory; homological algebra (18-XX) 8 Group theory and generalizations (20-XX) 2 General and overarching topics; collections (00-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 112 Publications have been cited 937 times in 551 Documents Cited by ▼ Year ▼ Modal languages and bounded fragments of predicate logic. Zbl 0919.03013 Andréka, Hajnal; Németi, István; van Benthem, Johan 130 1998 The equational theory of union-free algebras of relations. Zbl 0826.03013 Andréka, H.; Bredikhin, D. A. 33 1995 Algebraic logic. 2nd ed. Zbl 1003.03536 Andréka, H.; Németi, I.; Sain, I. 30 2001 Representations of distributive lattice-ordered semigroups with binary relations. Zbl 0725.06007 Andréka, H. 30 1991 Operators and laws for combining preference relations. Zbl 1008.91027 Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves 28 2002 Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti. Zbl 0497.03025 Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I. 27 1981 A Stone type representation theorem for algebras of relations of higher rank. Zbl 0707.03053 Andréka, H.; Thompson, R. J. 24 1988 Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003 Andréka, Hajnal; Mikulás, Szabolcs 22 1994 Axiomatizability of positive algebras of binary relations. Zbl 1253.03091 Andréka, Hajnal; Mikulás, Szabolcs 22 2011 Cylindric-like algebras and algebraic logic. Zbl 1258.03003 22 2012 A logic road from special relativity to general relativity. Zbl 1275.03069 Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely 21 2012 Omitting types for finite variable fragments and complete representations of algebras. Zbl 1143.03035 Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek 20 2008 Complexity of equations valid in algebras of relations. I: Strong non-finitizability. Zbl 0898.03023 Andréka, Hajnal 19 1997 Logical analysis of relativity theories. Zbl 1096.03029 Andréka, H.; Madarász, J. X.; Németi, I. 18 2004 A complete logic for reasoning about programs via nonstandard model theory. II. Zbl 0475.68010 Andreka, H.; Nemeti, I.; Sain, I. 17 1982 Logical axiomatizations of space-time. Samples from the literature. Zbl 1102.03037 Andréka, Hajnal; Madarász, Judit X.; Németi, István 16 2006 The generalised completeness of Horn predicate-logic as a programming language. Zbl 0496.68021 Andreka, H.; Nemeti, I. 15 1978 Completeness problems in verification of programs and program schemes. Zbl 0411.03017 Andreka, H.; Nemeti, I.; Sain, I. 14 1979 Axiomatizing relativistic dynamics without conservation postulates. Zbl 1148.03028 Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely 14 2008 Free algebras in discriminator varieties. Zbl 0745.03050 Andréka, H.; Jónsson, B.; Németi, I. 14 1991 On universal algebraic constructions of logics. Zbl 0362.02057 Andreka, H.; Gergely, T.; Nemeti, I. 13 1977 Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020 Andréka, Hajnal; Madarász, Judit X.; Németi, István 13 2005 Epimorphisms in cylindric algebras and definability in finite variable logic. Zbl 1184.03060 Andréka, H.; Comer, S. D.; Madarász, J. X.; Németi, I.; Sayed Ahmed, T. 12 2009 Finite algebras of relations are representable on finite sets. Zbl 0926.03078 Andréka, H.; Hodkinson, I.; Németi, I. 11 1999 Decision problems for equational theories of relation algebras. Zbl 0877.03030 Andréka, Hajnal; Givant, Steven; Németi, István 11 1997 Generalization of the concept of variety and quasivariety to partial algebras through category theory. Zbl 0518.08007 Andreka, H.; Nemeti, I. 11 1983 Algebraic logic. Papers of a colloquium, held in Budapest, Hungary, between August 8-14, 1988. Zbl 0741.00041 11 1991 Back and forth between modal logic and classical logic. Zbl 0840.03010 Andréka, Hajnal; van Benthem, Johan; Németi, Istvan 10 1995 A complete logic for reasoning about programs via nonstandard model theory. I. Zbl 0475.68009 Andreka, H.; Nemeti, I.; Sain, I. 10 1982 A simple, purely algebraic proof of the completeness of some first order logics. Zbl 0306.02059 Andreka, H.; Nemeti, I. 9 1975 Changing a semantics: opportunism or courage? Zbl 1347.03014 Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István 9 2014 Quasivarieties of partial algebras. A unifying approach towards a two- valued model theory for partial algebras. Zbl 0537.08004 Andréka, H.; Burmeister, P.; Németi, I. 9 1981 Splitting in relation algebras. Zbl 0721.03046 Andréka, H.; Maddux, R. D.; Németi, I. 9 1991 An introduction to cylindric set algebras. Zbl 0979.03046 Monk, J. Donald 8 2000 Weakly representable but not representable relation algebras. Zbl 0812.03036 Andréka, H. 8 1994 Notions of density that imply representability in algebraic logic. Zbl 0930.03100 Andréka, Hajnal; Givant, Steven; Mikulás, Szabolcs; Németi, István; Simon, András 8 1998 Completeness of Floyd logic. Zbl 0407.03034 Andreka, Hajnal; Nemeti, Istvan 8 1978 Groups and algebras of binary relations. Zbl 1002.03055 Givant, Steven; Andréka, Hajnal 8 2002 Comparing theories: the dynamics of changing vocabulary. Zbl 1344.03009 Andréka, Hajnal; Németi, István 8 2014 Formulas and ultraproducts in categories. Zbl 0531.03042 Andréka, Hajnalka; Németi, István 8 1979 Injectivity in categories to represent all first order formulas. I. Zbl 0497.03029 Andreka, Hajnal; Nemeti, Istvan 8 1979 A twist in the geometry of rotating black holes: seeking the cause of acausality. Zbl 1152.83331 Andréka, Hajnal; Németi, István; Wüthrich, Christian 7 2008 A finite axiomatization of locally square cylindric-relativized set algebras. Zbl 0997.03052 Andréka, H. 7 2001 Can general relativistic computers break the Turing barrier? Zbl 1145.68419 Németi, István; Andréka, Hajnal 7 2006 A characterization of Floyd-provable programs. Zbl 0481.68035 Andreka, H.; Nemeti, I.; Sain, I. 7 1981 The lattice of varieties of representable relation algebras. Zbl 0815.03039 Andréka, Hajnal; Givant, Steven; Németi, István 6 1994 Henkin-type semantics for program-schemes to turn negative results to positive. Zbl 0418.03028 Andreka, H.; Nemeti, I.; Sain, I. 6 1979 Representations for small relation algebras. Zbl 0830.03033 Andréka, Hajnal; Maddux, Roger D. 6 1994 On the strength of temporal proofs. Zbl 0732.03020 Andréka, Hajnal; Németi, István; Sain, Ildikó 6 1991 Coset relation algebras. Zbl 1522.03337 Andréka, Hajnal; Givant, Steven 6 2018 A note on ‘Einstein’s special relativity beyond the speed of light by James M. Hill and Barry J. Cox’. Zbl 1352.83003 Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely 6 2013 General relativistic hypercomputing and foundation of mathematics. Zbl 1192.68258 Andréka, Hajnal; Németi, István; Németi, Péter 6 2009 A representation theorem for measurable relation algebras. Zbl 1453.03071 Givant, Steven; Andréka, Hajnal 6 2018 Los lemma holds in every category. Zbl 0502.03015 Andreka, Hajnal; Nemeti, Istvan 5 1978 A system of logic for partial functions under existence-dependent Kleene equality. Zbl 0663.08004 Andréka, H.; Craig, W.; Németi, I. 4 1988 General algebraic logic: A perspective on “What is logic”. Zbl 0823.03040 Németi, István; Andréka, Hajnal 4 1994 General algebraic logic including algebraic model theory: An overview. Zbl 0844.03034 Andréka, Hajnal; Németi, István; Sain, Ildikó; Kurucz, Ágnes 4 1995 Axiomatization of identity-free equations valid in relation algebras. Zbl 0852.03024 Andréka, H.; Németi, I. 4 1996 The equational theory of Kleene lattices. Zbl 1234.68273 Andréka, Hajnal; Mikulás, Szabolcs; Németi, István 4 2011 How many varieties of cylindric algebras are there. Zbl 1423.03256 Andréka, H.; Németi, I. 4 2017 A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct. Zbl 1299.03071 Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek 4 2013 Similarity types, pseudosimple algebras, and congruence representations of chains. Zbl 0478.08006 Andreka, Hajnal; Nemeti, Istvan 4 1981 A general axiomatizability theorem formulated in terms of coneinjective subcategories. Zbl 0489.03006 Andreka, Hajnal; Nemeti, Istvan 4 1982 A nonpermutational integral relation algebra. Zbl 0782.03030 Andréka, H.; Düntsch, I.; Németi, I. 3 1992 Causes and remedies for undecidability in arrow logics and in multi-modal logics. Zbl 0874.03023 Andréka, Hajnal; Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András 3 1996 On taking subalgebras of relativized relation algebras. Zbl 0649.03048 Andréka, H. 3 1988 Program verification within and without logic. Zbl 0441.68024 Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko 3 1979 Nonrepresentable relation algebras from groups. Zbl 1477.03262 Andréka, Hajnal; Németi, István; Givant, Steven 3 2020 Injectivity in categories to represent all first order formulas. I. Zbl 0517.03029 Andreka, Hajnal; Nemeti, Istvan 3 1979 Reducing first-order logic to \(\mathsf{Df}_3\), free algebras. Zbl 1284.03272 Andréka, Hajnal; Németi, István 3 2012 Closed timelike curves in relativistic computation. Zbl 1294.68078 Andréka, Hajnal; Németi, István; Székely, Gergely 3 2012 On Jónsson’s clones of operations on binary relations. Zbl 0756.08002 Németi, István; Andréka, Hajnal 3 1991 Some universal algebraic and model theoretic results in computer science. Zbl 0483.68050 Andreka, H.; Nemeti, I. 3 1981 Connections between algebraic logic and initial algebra semantics of CF languages. Zbl 0502.68023 Andreka, H.; Sain, I. 3 1981 Faster than light motion does not imply time travel. Zbl 1291.83035 Andréka, Hajnal; Madarász, Judit X.; Németi, István; Stannett, Mike; Székely, Gergely 3 2014 Relatively free relation algebras. Zbl 0783.03035 Andréka, H.; Jónsson, B.; Németi, I. 2 1990 Decision problems for equational theories of relation algebras. Zbl 0801.03046 Andréka, Hajnal; Givant, Steven; Németi, István 2 1994 New physics and hypercomputation. Zbl 1175.68167 Németi, Istvan; Andreka, Hajnal 2 2006 Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029 Andréka, Hajnal; Goldblatt, Robert; Németi, István 2 1998 Complexity of equations valid in algebras of relations. II: Finite axiomatizations. Zbl 0898.03024 Andréka, Hajnal 2 1997 On the congruence lattice of pseudo-simple algebras. Zbl 0371.08007 Andreka, H.; Nemeti, I. 2 1977 On systems of varieties definable by schemes of equations. Zbl 0387.03025 Andréka, H.; Németi, I. 2 1980 Binary relations and permutation groups. Zbl 0823.03036 Andréka, Hajnal; Düntsch, Ivo; Németi, István 2 1995 Expressibility of properties of relations. Zbl 0842.03045 Andréka, Hajnal; Düntsch, Ivo; Németi, István 2 1995 A unifying theorem for algebraic semantics and dynamic logics. Zbl 0616.03016 Andréka, H.; Guessarian, I.; Németi, I. 2 1987 Simple relation algebras. Zbl 1437.03001 Givant, Steven; Andréka, Hajnal 2 2017 On a new semantics for first-order predicate logic. Zbl 1417.03118 Andréka, Hajnal; van Benthem, Johan; Németi, István 2 2017 The variety of coset relation algebras. Zbl 1477.03263 Givant, Steven; Andréka, Hajnal 2 2018 Importance of universal algebra for computer science. Zbl 0548.68022 Andréka, H.; Németi, I. 2 1984 On the strength of temporal proofs. Zbl 0754.03017 Andréka, Hajnal; Németi, István; Sain, Ildikó 2 1989 Residuated Kleene algebras. Zbl 1354.03096 Andréka, Hajnal; Mikulás, Szabolcs; Németi, István 2 2012 Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent. Zbl 0495.03044 Andreka, H.; Nemeti, I. 2 1981 A representation theorem for measurable relation algebras with cyclic groups. Zbl 07051081 Andréka, Hajnal; Givant, Steven 1 2019 Remarks on free products in regular varieties and sink-complemented subalgebras. Zbl 0366.08001 Andreka, H.; Nemeti, I. 1 1977 Neat reducts of varieties. Zbl 0421.03047 Andreka, H.; Nemeti, I. 1 1978 On a proof of Shelah. Zbl 0339.02046 Andreka, H.; Dahn, B.; Nemeti, I. 1 1976 Perfect extensions and derived algebras. Zbl 0839.03053 Andréka, Hajnal; Givant, Steven; Németi, István 1 1995 A unifying theorem for algebraic semantics and dynamic logics. Zbl 0591.68040 Andreka, H.; Guessarian, I.; Németi, I. 1 1985 On the number of generators of cylindric algebras. Zbl 0614.03059 Andréka, H.; Németi, I. 1 1985 Ultraproducts of continuous posets. Zbl 1397.06007 Andréka, Hajnal; Gyenis, Zalán; Németi, István 1 2016 Universal algebraic logic. Dedicated to the unity of science. Zbl 07613273 Andréka, Hajnal; Gyenis, Zalán; Németi, István; Sain, Ildikó 1 2022 Nonrepresentable relation algebras from groups. Zbl 1477.03262 Andréka, Hajnal; Németi, István; Givant, Steven 3 2020 A representation theorem for measurable relation algebras with cyclic groups. Zbl 07051081 Andréka, Hajnal; Givant, Steven 1 2019 Varieties generated by completions. Zbl 1468.03080 Andréka, Hajnal; Németi, István 1 2019 Coset relation algebras. Zbl 1522.03337 Andréka, Hajnal; Givant, Steven 6 2018 A representation theorem for measurable relation algebras. Zbl 1453.03071 Givant, Steven; Andréka, Hajnal 6 2018 The variety of coset relation algebras. Zbl 1477.03263 Givant, Steven; Andréka, Hajnal 2 2018 How many varieties of cylindric algebras are there. Zbl 1423.03256 Andréka, H.; Németi, I. 4 2017 Simple relation algebras. Zbl 1437.03001 Givant, Steven; Andréka, Hajnal 2 2017 On a new semantics for first-order predicate logic. Zbl 1417.03118 Andréka, Hajnal; van Benthem, Johan; Németi, István 2 2017 On Tarski’s axiomatic foundations of the calculus of relations. Zbl 1422.03133 Andréka, Hajnal; Givant, Steven; Jipsen, Peter; Németi, István 1 2017 Ultraproducts of continuous posets. Zbl 1397.06007 Andréka, Hajnal; Gyenis, Zalán; Németi, István 1 2016 Finite-variable logics do not have weak Beth definability property. Zbl 1371.03042 Andréka, Hajnal; Németi, István 1 2015 Changing a semantics: opportunism or courage? Zbl 1347.03014 Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István 9 2014 Comparing theories: the dynamics of changing vocabulary. Zbl 1344.03009 Andréka, Hajnal; Németi, István 8 2014 Faster than light motion does not imply time travel. Zbl 1291.83035 Andréka, Hajnal; Madarász, Judit X.; Németi, István; Stannett, Mike; Székely, Gergely 3 2014 A note on ‘Einstein’s special relativity beyond the speed of light by James M. Hill and Barry J. Cox’. Zbl 1352.83003 Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely 6 2013 A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct. Zbl 1299.03071 Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek 4 2013 Cylindric-like algebras and algebraic logic. Zbl 1258.03003 22 2012 A logic road from special relativity to general relativity. Zbl 1275.03069 Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely 21 2012 Reducing first-order logic to \(\mathsf{Df}_3\), free algebras. Zbl 1284.03272 Andréka, Hajnal; Németi, István 3 2012 Closed timelike curves in relativistic computation. Zbl 1294.68078 Andréka, Hajnal; Németi, István; Székely, Gergely 3 2012 Residuated Kleene algebras. Zbl 1354.03096 Andréka, Hajnal; Mikulás, Szabolcs; Németi, István 2 2012 Decidability, undecidability, and Gödel’s incompleteness in relativity theories. Zbl 1288.03032 Andréka, Hajnal; Madarász, Judit; Németi, István 1 2012 Functionally dense relation algebras. Zbl 1272.03161 Andréka, Hajnal; Givant, Steven 1 2012 Axiomatizability of positive algebras of binary relations. Zbl 1253.03091 Andréka, Hajnal; Mikulás, Szabolcs 22 2011 The equational theory of Kleene lattices. Zbl 1234.68273 Andréka, Hajnal; Mikulás, Szabolcs; Németi, István 4 2011 Epimorphisms in cylindric algebras and definability in finite variable logic. Zbl 1184.03060 Andréka, H.; Comer, S. D.; Madarász, J. X.; Németi, I.; Sayed Ahmed, T. 12 2009 General relativistic hypercomputing and foundation of mathematics. Zbl 1192.68258 Andréka, Hajnal; Németi, István; Németi, Péter 6 2009 Omitting types for finite variable fragments and complete representations of algebras. Zbl 1143.03035 Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek 20 2008 Axiomatizing relativistic dynamics without conservation postulates. Zbl 1148.03028 Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely 14 2008 A twist in the geometry of rotating black holes: seeking the cause of acausality. Zbl 1152.83331 Andréka, Hajnal; Németi, István; Wüthrich, Christian 7 2008 Logical axiomatizations of space-time. Samples from the literature. Zbl 1102.03037 Andréka, Hajnal; Madarász, Judit X.; Németi, István 16 2006 Can general relativistic computers break the Turing barrier? Zbl 1145.68419 Németi, István; Andréka, Hajnal 7 2006 New physics and hypercomputation. Zbl 1175.68167 Németi, Istvan; Andreka, Hajnal 2 2006 Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020 Andréka, Hajnal; Madarász, Judit X.; Németi, István 13 2005 Logical analysis of relativity theories. Zbl 1096.03029 Andréka, H.; Madarász, J. X.; Németi, I. 18 2004 Operators and laws for combining preference relations. Zbl 1008.91027 Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves 28 2002 Groups and algebras of binary relations. Zbl 1002.03055 Givant, Steven; Andréka, Hajnal 8 2002 Algebraic logic. 2nd ed. Zbl 1003.03536 Andréka, H.; Németi, I.; Sain, I. 30 2001 A finite axiomatization of locally square cylindric-relativized set algebras. Zbl 0997.03052 Andréka, H. 7 2001 An introduction to cylindric set algebras. Zbl 0979.03046 Monk, J. Donald 8 2000 Finite algebras of relations are representable on finite sets. Zbl 0926.03078 Andréka, H.; Hodkinson, I.; Németi, I. 11 1999 Modal languages and bounded fragments of predicate logic. Zbl 0919.03013 Andréka, Hajnal; Németi, István; van Benthem, Johan 130 1998 Notions of density that imply representability in algebraic logic. Zbl 0930.03100 Andréka, Hajnal; Givant, Steven; Mikulás, Szabolcs; Németi, István; Simon, András 8 1998 Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029 Andréka, Hajnal; Goldblatt, Robert; Németi, István 2 1998 Complexity of equations valid in algebras of relations. I: Strong non-finitizability. Zbl 0898.03023 Andréka, Hajnal 19 1997 Decision problems for equational theories of relation algebras. Zbl 0877.03030 Andréka, Hajnal; Givant, Steven; Németi, István 11 1997 Complexity of equations valid in algebras of relations. II: Finite axiomatizations. Zbl 0898.03024 Andréka, Hajnal 2 1997 Axiomatization of identity-free equations valid in relation algebras. Zbl 0852.03024 Andréka, H.; Németi, I. 4 1996 Causes and remedies for undecidability in arrow logics and in multi-modal logics. Zbl 0874.03023 Andréka, Hajnal; Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András 3 1996 The equational theory of union-free algebras of relations. Zbl 0826.03013 Andréka, H.; Bredikhin, D. A. 33 1995 Back and forth between modal logic and classical logic. Zbl 0840.03010 Andréka, Hajnal; van Benthem, Johan; Németi, Istvan 10 1995 General algebraic logic including algebraic model theory: An overview. Zbl 0844.03034 Andréka, Hajnal; Németi, István; Sain, Ildikó; Kurucz, Ágnes 4 1995 Binary relations and permutation groups. Zbl 0823.03036 Andréka, Hajnal; Düntsch, Ivo; Németi, István 2 1995 Expressibility of properties of relations. Zbl 0842.03045 Andréka, Hajnal; Düntsch, Ivo; Németi, István 2 1995 Perfect extensions and derived algebras. Zbl 0839.03053 Andréka, Hajnal; Givant, Steven; Németi, István 1 1995 Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003 Andréka, Hajnal; Mikulás, Szabolcs 22 1994 Weakly representable but not representable relation algebras. Zbl 0812.03036 Andréka, H. 8 1994 The lattice of varieties of representable relation algebras. Zbl 0815.03039 Andréka, Hajnal; Givant, Steven; Németi, István 6 1994 Representations for small relation algebras. Zbl 0830.03033 Andréka, Hajnal; Maddux, Roger D. 6 1994 General algebraic logic: A perspective on “What is logic”. Zbl 0823.03040 Németi, István; Andréka, Hajnal 4 1994 Decision problems for equational theories of relation algebras. Zbl 0801.03046 Andréka, Hajnal; Givant, Steven; Németi, István 2 1994 A nonpermutational integral relation algebra. Zbl 0782.03030 Andréka, H.; Düntsch, I.; Németi, I. 3 1992 Representations of distributive lattice-ordered semigroups with binary relations. Zbl 0725.06007 Andréka, H. 30 1991 Free algebras in discriminator varieties. Zbl 0745.03050 Andréka, H.; Jónsson, B.; Németi, I. 14 1991 Algebraic logic. Papers of a colloquium, held in Budapest, Hungary, between August 8-14, 1988. Zbl 0741.00041 11 1991 Splitting in relation algebras. Zbl 0721.03046 Andréka, H.; Maddux, R. D.; Németi, I. 9 1991 On the strength of temporal proofs. Zbl 0732.03020 Andréka, Hajnal; Németi, István; Sain, Ildikó 6 1991 On Jónsson’s clones of operations on binary relations. Zbl 0756.08002 Németi, István; Andréka, Hajnal 3 1991 One variable is not enough for defining relation algebras, but two are. Zbl 0735.03031 Andréka, H. 1 1991 Relatively free relation algebras. Zbl 0783.03035 Andréka, H.; Jónsson, B.; Németi, I. 2 1990 Weak cylindric set algebras and weak subdirect indecomposability. Zbl 0714.03053 Andréka, H.; Németi, I.; Thompson, R. J. 1 1990 On the strength of temporal proofs. Zbl 0754.03017 Andréka, Hajnal; Németi, István; Sain, Ildikó 2 1989 A Stone type representation theorem for algebras of relations of higher rank. Zbl 0707.03053 Andréka, H.; Thompson, R. J. 24 1988 A system of logic for partial functions under existence-dependent Kleene equality. Zbl 0663.08004 Andréka, H.; Craig, W.; Németi, I. 4 1988 On taking subalgebras of relativized relation algebras. Zbl 0649.03048 Andréka, H. 3 1988 A unifying theorem for algebraic semantics and dynamic logics. Zbl 0616.03016 Andréka, H.; Guessarian, I.; Németi, I. 2 1987 A unifying theorem for algebraic semantics and dynamic logics. Zbl 0591.68040 Andreka, H.; Guessarian, I.; Németi, I. 1 1985 On the number of generators of cylindric algebras. Zbl 0614.03059 Andréka, H.; Németi, I. 1 1985 Clones of operations on relations. Zbl 0568.08005 Andreka, H.; Comer, S. D.; Nemeti, I. 1 1985 Importance of universal algebra for computer science. Zbl 0548.68022 Andréka, H.; Németi, I. 2 1984 Generalization of the concept of variety and quasivariety to partial algebras through category theory. Zbl 0518.08007 Andreka, H.; Nemeti, I. 11 1983 Sharpening the characterization of the power of Floyd method. Zbl 0528.68007 Andreka, H. 1 1983 A complete logic for reasoning about programs via nonstandard model theory. II. Zbl 0475.68010 Andreka, H.; Nemeti, I.; Sain, I. 17 1982 A complete logic for reasoning about programs via nonstandard model theory. I. Zbl 0475.68009 Andreka, H.; Nemeti, I.; Sain, I. 10 1982 A general axiomatizability theorem formulated in terms of coneinjective subcategories. Zbl 0489.03006 Andreka, Hajnal; Nemeti, Istvan 4 1982 Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti. Zbl 0497.03025 Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I. 27 1981 Quasivarieties of partial algebras. A unifying approach towards a two- valued model theory for partial algebras. Zbl 0537.08004 Andréka, H.; Burmeister, P.; Németi, I. 9 1981 A characterization of Floyd-provable programs. Zbl 0481.68035 Andreka, H.; Nemeti, I.; Sain, I. 7 1981 Similarity types, pseudosimple algebras, and congruence representations of chains. Zbl 0478.08006 Andreka, Hajnal; Nemeti, Istvan 4 1981 Some universal algebraic and model theoretic results in computer science. Zbl 0483.68050 Andreka, H.; Nemeti, I. 3 1981 Connections between algebraic logic and initial algebra semantics of CF languages. Zbl 0502.68023 Andreka, H.; Sain, I. 3 1981 Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent. Zbl 0495.03044 Andreka, H.; Nemeti, I. 2 1981 HSP K is equational class, without the axiom of choice. Zbl 0492.03011 Andreka, H.; Nemeti, I. 1 1981 On systems of varieties definable by schemes of equations. Zbl 0387.03025 Andréka, H.; Németi, I. 2 1980 Quasi equational logic of partial algebras. Zbl 0491.08008 Andreka, Hajnal; Burmeister, Peter; Nemeti, Istvan 1 1980 Completeness problems in verification of programs and program schemes. Zbl 0411.03017 Andreka, H.; Nemeti, I.; Sain, I. 14 1979 Formulas and ultraproducts in categories. Zbl 0531.03042 Andréka, Hajnalka; Németi, István 8 1979 Injectivity in categories to represent all first order formulas. I. Zbl 0497.03029 Andreka, Hajnal; Nemeti, Istvan 8 1979 ...and 12 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 495 Authors 39 Andréka, Hajnal 37 Németi, István 27 Sayed Ahmed, Tarek 19 van Benthem, Johan F. A. K. 16 Hodkinson, Ian Martin 15 Bredikhin, Dmitriĭ Aleksandrovich 15 Hirsch, Robin 15 Székely, Gergely 14 Ferenczi, Miklós 14 Mikulás, Szabolcs 12 Sain, Ildikó 11 Maddux, Roger D. 10 Givant, Steven R. 10 Madarász, Judit X. 9 Düntsch, Ivo 7 Pieris, Andreas 7 Stannett, Mike 7 ten Cate, Balder David 6 Jackson, Marcel G. 6 Jipsen, Peter 6 Pasztor, Ana 5 Alm, Jeremy F. 5 Diaconescu, Răzvan 5 Gottlob, Georg 5 Khaled, Mohamed 5 Kuznetsov, Stepan L’vovich 5 Otto, Martin 5 Pous, Damien 5 Venema, Yde 5 Wolter, Frank 4 Bárány, Vince 4 Barrett, Thomas William 4 Benedikt, Michael A. 4 Friend, Michèle 4 Goldblatt, Robert Ian 4 Halvorson, Hans 4 Kieroński, Emanuel 4 Leinders, Dirk 4 Liu, Fenrong 4 Makowsky, Johann-Andreas 4 Marek, V. Wiktor 4 Monk, James Donald 4 Motik, Boris 4 Pratt-Hartmann, Ian 4 Salibra, Antonino 4 Van den Bussche, Jan 4 Zakharyaschev, Michael Viktorovich 3 Bergstra, Jan A. 3 Blair, Howard A. 3 Bonacina, Maria Paola 3 Doumane, Amina 3 Ésik, Zoltán 3 Grädel, Erich 3 Guitart, René 3 Hustadt, Ullrich 3 Jarzembski, Grzegorz 3 Ketland, Jeffrey 3 Litak, Tadeusz 3 Marx, Maarten 3 Orłowska, Ewa S. 3 Pacuit, Eric 3 Padmanabha, Anantha 3 Pinus, Aleksandr Georgievich 3 Ramanujam, R. 3 Remmel, Jeffrey Brian 3 Rodríguez-Artalejo, Mario 3 Schmidt, Renate A. 3 Simon, András 3 Tucker, John V. 3 Vályi, Sándor 3 Viana, Petrucio 3 Wang, Yanjing 3 Wirsing, Martin 2 Abramsky, Samson 2 Alechina, Natasha 2 Antonelli, Gian Aldo 2 Areces, Carlos 2 Bednarczyk, Bartosz 2 Benda, Thomas 2 Berger, Gerald 2 Bezhanishvili, Nick 2 Blumensath, Achim 2 Bodirsky, Manuel 2 Bojańczyk, Mikołaj 2 Broy, Manfred 2 Brunet, Paul 2 Burmeister, Peter 2 Cenzer, Douglas 2 Cristiá, Maximiliano 2 Csirmaz, László 2 de Freitas, Renata P. 2 de Nivelle, Hans 2 de Rijke, Maarten 2 Durand-Lose, Jérôme Olivier 2 Dzik, Wojciech 2 Fernández Duque, David 2 Fontaine, Pascal 2 Girard, Patrick R. 2 Guessarian, Irène 2 Guttmann, Walter ...and 395 more Authors all top 5 Cited in 90 Serials 49 Algebra Universalis 42 Theoretical Computer Science 33 The Journal of Symbolic Logic 25 Annals of Pure and Applied Logic 21 Studia Logica 21 Synthese 17 The Review of Symbolic Logic 14 Journal of Logic, Language and Information 13 Mathematical Logic Quarterly (MLQ) 12 Artificial Intelligence 12 Journal of Philosophical Logic 10 Journal of Logical and Algebraic Methods in Programming 9 Information and Computation 9 Journal of Automated Reasoning 8 Notre Dame Journal of Formal Logic 8 Annals of Mathematics and Artificial Intelligence 6 Information Processing Letters 6 Periodica Mathematica Hungarica 6 Bulletin of the Section of Logic 6 Journal of Applied Non-Classical Logics 6 Natural Computing 6 Logica Universalis 5 Algebra and Logic 5 Cahiers de Topologie et Géométrie Différentielle Catégoriques 5 Journal of Computer and System Sciences 5 Transactions of the American Mathematical Society 4 Journal of Pure and Applied Algebra 4 Journal of Symbolic Computation 4 The Bulletin of Symbolic Logic 4 ACM Transactions on Computational Logic 4 Journal of Applied Logic 3 Acta Informatica 3 Applied Mathematics and Computation 3 Journal of Algebra 3 Erkenntnis 2 Proceedings of the American Mathematical Society 2 Quaestiones Mathematicae 2 Semigroup Forum 2 International Journal of Approximate Reasoning 2 Russian Mathematics 2 The Journal of Artificial Intelligence Research (JAIR) 2 Theory and Practice of Logic Programming 2 Chebyshevskiĭ Sbornik 2 Proceedings of the Steklov Institute of Mathematics 2 Logical Methods in Computer Science 1 Modern Physics Letters A 1 Classical and Quantum Gravity 1 Communications in Algebra 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 General Relativity and Gravitation 1 Indian Journal of Pure & Applied Mathematics 1 International Journal of Theoretical Physics 1 Israel Journal of Mathematics 1 Mathematical Notes 1 Reports on Mathematical Physics 1 The Mathematical Intelligencer 1 Advances in Mathematics 1 Fuzzy Sets and Systems 1 Journal of Soviet Mathematics 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 SIAM Journal on Computing 1 Siberian Mathematical Journal 1 Science of Computer Programming 1 Acta Mathematica Hungarica 1 Annals of Operations Research 1 International Journal of Algebra and Computation 1 Artificial Intelligence Review 1 Aequationes Mathematicae 1 European Journal of Operational Research 1 Applied Categorical Structures 1 Journal of the Egyptian Mathematical Society 1 Journal of the ACM 1 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Foundations of Science 1 Fundamenta Informaticae 1 Lobachevskii Journal of Mathematics 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 The Journal of Logic and Algebraic Programming 1 Logic and Logical Philosophy 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Foundations of Physics 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 European Journal for Philosophy of Science 1 Frontiers of Computer Science 1 Logicheskie Issledovaniya 1 Bollettino dell’Unione Matematica Italiana all top 5 Cited in 26 Fields 405 Mathematical logic and foundations (03-XX) 198 Computer science (68-XX) 66 General algebraic systems (08-XX) 44 Order, lattices, ordered algebraic structures (06-XX) 30 Relativity and gravitational theory (83-XX) 28 Category theory; homological algebra (18-XX) 17 Group theory and generalizations (20-XX) 14 Combinatorics (05-XX) 12 General and overarching topics; collections (00-XX) 9 Quantum theory (81-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 History and biography (01-XX) 8 Associative rings and algebras (16-XX) 4 Geometry (51-XX) 4 General topology (54-XX) 4 Mechanics of particles and systems (70-XX) 2 Topological groups, Lie groups (22-XX) 2 Statistics (62-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Nonassociative rings and algebras (17-XX) 1 Difference and functional equations (39-XX) 1 Functional analysis (46-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.