Hajnal Andréka

Q: What Schools Are Affiliated With Hajnal Andréka

Hajnal Andréka is affiliated with the following schools: University of California, Santa Barbara, University of California, Riverside, Eötvös Loránd University

Hajnal Andréka's AcademicInfluence.com Rankings

Hajnal Andréka

Mathematics

#2488

World Rank

#3839

Historical Rank

Measure Theory

#3318

World Rank

#3921

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Hajnal Andréka's Degrees

PhD Mathematics Eötvös Loránd University

Why Is Hajnal Andréka Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Hajnal Ilona Andréka is a Hungarian mathematician specializing in algebraic logic. She is a research professor emeritus at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences.

(See a Problem?)

Hajnal Andréka's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Modal Languages and Bounded Fragments of Predicate Logic (1998) (637)
Operators and Laws for Combining Preference Relations (2002) (148)
Cylindric Set Algebras (1981) (106)
Cylindric-like algebras and algebraic logic (2013) (85)
Lambek Calculus and its relational semantics: Completeness and incompleteness (1994) (85)
Back and Forth Between Modal Logic and Classical Logic (1995) (78)
Omitting types for finite variable fragments and complete representations of algebras (2008) (77)
Complexity of Equations Valid in Algebras of Relations: Part II: Finite Axiomatizations (1997) (76)
The equational theory of union-free algebras of relations (1995) (74)
The generalized completeness of Horn predicate-logic as a programming language (1978) (63)
A Stone-type representation theorem for algebras of relations of higher rank (1988) (63)
A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I (1982) (60)
Encyclopaedia of Mathematics, Supplement III (2002) (59)
A logic road from special relativity to general relativity (2010) (55)
Finite algebras of relations are representable on finite sets (1999) (53)
Representations of distributive lattice-ordered semigroups with binary relations (1991) (52)
Logic of Space-Time and Relativity Theory (2007) (51)
Decision problems for equational theories of relation algebras (1997) (48)
On universal algebraic constructions of logics (1977) (48)
Mutual definability does not imply definitional equivalence, a simple example (2005) (47)
Complexity of Equations Valid in Algebras of Relations: Part I: Strong Non-Finitizability (1997) (45)
Axiomatizability of positive algebras of binary relations (2011) (44)
General relativistic hypercomputing and foundation of mathematics (2009) (43)
Notions of Density That Imply Representability in Algebraic Logic (1998) (41)
Generalization of the concept of variety and quasivariety to partial algebras through category theory (1983) (40)
Free algebras in discriminator varieties (1991) (40)
Logical Axiomatizations of Space-Time. Samples from the Literature (2006) (35)
Completeness Problems in Verification of Programs and Program Schemes (1979) (34)
Axiomatizing Relativistic Dynamics without Conservation Postulates (2008) (30)
A simple, purely algebraic proof of the completeness of some first order logics (1975) (29)
Can General Relativistic Computers Break the Turing Barrier? (2006) (27)
Splitting in relation algebras (1991) (27)
A twist in the geometry of rotating black holes: seeking the cause of acausality (2007) (26)
Representations for Small Relation Algebras (1994) (23)
The equational theory of Kleene lattices (2011) (22)
General algebraic logic: a perspective on “what is logic” (1994) (21)
On the Strength of Temporal Proofs (1989) (21)
A Characterization of Floyd-Provable Programs (1981) (19)
Henkin-type semantics for program-schemes to turn negative results to positive (1979) (19)
Completeness of Floyd logic (1978) (19)
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I (1979) (18)
Defining new universes in many-sorted logic (2001) (18)
Comparing Theories: The Dynamics of Changing Vocabulary (2013) (18)
A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS (2001) (17)
Applying Algebraic Logic to Logic (1993) (16)
Weakly representable but not representable relation algebras (1994) (15)
On systems of varieties definable by schemes of equations (1980) (15)
The lattice of varieties of representable relation algebras (1994) (15)
Groups and Algebras of Binary Relations (2002) (14)
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct (2013) (14)
Sharpening the characterization of the power of Floyd method (1980) (13)
Submodel Preservation Theorems in Finite-Variable Fragments (1995) (13)
Relativised quantification: Some canonical varieties of sequence-set algebras (1998) (12)
APPLYING ALGEBRAIC LOGIC; A GENERAL METHODOLOGY (1994) (12)
Formulas and ultraproducts in categories (1979) (12)
Visualizing some ideas about Godel-type rotating universes (2008) (11)
A system of logic for partial functions under existence-dependent kleene equality (1988) (11)
Faster than light motion does not imply time travel (2014) (11)
Axiomatization of identity-free equations valid in relation algebras (1996) (11)
Epimorphisms in cylindric algebras and definability in finite variable logic (2009) (11)
Visualizing ideas about Gödel-type rotating universes (2009) (10)
A nonpermutational integral relation algebra. (1992) (10)
A representation theorem for measurable relation algebras (2018) (10)
Expressibility of properties of relations (1995) (10)
On Residuated Approximations (1988) (9)
On cylindric-relativized set algebras (1981) (9)
Binary Relations and Permutation Groups (1995) (9)
Causes and remedies for undecidability in arrow logics and in multi-modal logics (1997) (9)
On A New Semantics for First-Order Predicate Logic (2017) (9)
New Physics and Hypercomputation (2006) (8)
Vienna Circle and Logical Analysis of Relativity Theory (2011) (7)
Closed timelike Curves in relativistic Computation (2011) (7)
Similarity types, pseudosimple algebras, and congruence representations of chains (1981) (7)
Coset relation algebras (2018) (7)
Reducing First-order Logic to Df3, Free Algebras (2013) (7)
On the number of generators of cylindric algebras (1985) (6)
Effective temporal logics of programs (1995) (6)
Program verification within and without logic (1979) (6)
An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds (2013) (6)
Residuated Kleene Algebras (2012) (6)
HSP K is equational class, without the axiom of choice (1981) (6)
Direct limits and filtered colimits are strongly equivalent in all categories (1982) (6)
A Complete Logic for Reasoning about Programs via Nonstandard Model Theory II (1982) (6)
Some new landmarks on the roadmap of two dimensional logics (1994) (5)
A Unifying Theorem for Algebraic Semantics and Dynamic Logics (1985) (5)
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (2020) (5)
Relatively free relation algebras (1988) (5)
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent (1981) (5)
Logical analysis of special relativity theory (1999) (5)
Some Universal Algebraic and Model Theoretic Results in Computer Science (1981) (5)
Algebras of relations of various ranks , some current trends and applications (2001) (4)
On universal algebraic logic and cylindric algebras (1978) (4)
THE VARIETY OF COSET RELATION ALGEBRAS (2018) (4)
Model Theoretic Semantics for Many-Purpose Languages and Language Hierarchies (1980) (4)
Relativistic computation (2017) (4)
Connections between axioms of set theory and basic theorems of universal algebra (1994) (4)
Weak cylindric set algebras and weak subdirect indecomposability (1990) (4)
ON A PROOF OF SHELAH (1976) (3)
Ultraproducts of continuous posets (2015) (3)
Varieties generated by completions (2018) (3)
Clones of operations on relations (1985) (3)
Formalizing set theory in diagonal-free cylindric algebras, searching for the weakest logic with Godel's incompleteness property. Draft version! (2011) (3)
Simple Relation Algebras (2018) (3)
Can new physics challenge “ old ” computational barriers ? (2007) (3)
On taking subalgebras of relativized relation algebras (1988) (3)
Perfect extensions and derived algebras (1995) (3)
ON THE CONGRUENCE LATTICE OF PSEUDO-SIMPLE ALGEBRAS (1977) (3)
Algebraic logic conference, Budapest, 1988 (1989) (2)
Notes on maximal congruence relations, automata and related topics (1973) (2)
On neat reducts of algebras of logic', presented in Logic Colloquium 1996, abstract appeared in the (1997) (2)
Relative epis need not be surjective (1985) (2)
Remark on one-sided $A$-ideals of semigroups (1983) (1)
Formalizing set theory in weak logics, searching for the weakest logic with Godel's incompleteness property. (2011) (1)
Sufficient and Necessary Condition for the Completeness of a Calculus (1974) (1)
Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories (2012) (1)
A logic road from special to general relativity (2010) (1)
Functionally dense relation algebras (2012) (1)
Boolean reducts of relation and cylindric algebras and the cube problem (1987) (1)
Universal Algebraic Logic (2022) (1)
One variable is not enough for defining relation algebras, but two are (1991) (1)
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (2020) (1)
ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (2016) (1)
Persistent properties and an application to algebras of logic (1997) (1)
Conceptual structure of spacetimes, and category of concept algebras (2019) (0)
Quasi-Bijective Relation Algebras (2017) (0)
No Faster-Than-Light Observers (GenRel) (2023) (0)
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS - ADDENDUM (2019) (0)
Ultraproducts of continuous posets (2016) (0)
Definition Theory as Basis for a Creative Problem Solver (1975) (0)
A logic road from special relativity to general relativity (2011) (0)
Term algebras of elementarily equivalent atom structures (2018) (0)
Ultraproducts of complete and continuous posets (2015) (0)
Two-Quasi-Bijective Relation Algebras (2017) (0)
Not all representable cylindric algebras are neat reducts (1979) (0)
Coset relation algebras (2018) (0)
Functionally dense relation algebras (2012) (0)
Term algebras of elementarily equivalent atom structures (2018) (0)
The finite base property for some cylindric-relativized algebras (Abstract) (1997) (0)
ON THE NUMBER OF GENERATORS OF (2016) (0)
Does ${\bf SP}\ K\supseteq \ {\bf PS}\ K$ imply axiom of choice? (1980) (0)
Problem-oriented language hierarchy and the engagement of logic. (1972) (0)
Quotient Relation Algebras and Equijections (2017) (0)
On the Role of Mathematical Language Concept in the Theory of Intelligent Systems (1975) (0)
Group and Geometric Quotient Semiproducts (2017) (0)
On A New Semantics for First-Order Predicate Logic (2017) (0)

This paper list is powered by the following services:

Other Resources About Hajnal Andréka

en.wikipedia.org

What Schools Are Affiliated With Hajnal Andréka?

Hajnal Andréka is affiliated with the following schools:

Hajnal Andréka's Academic­Influence.com Rankings