Complexity of equations valid in algebras of relations part I: Strong non-finitizability-Reference-Cited by-同舟云学术

Complexity of equations valid in algebras of relations part I: Strong non-finitizability

Published:1997-12 Issue:2-3 Volume:89 Page:149-209
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Andréka Hajnal

Publisher

Elsevier BV

Subject

Logic

Reference173 articles.

1. On taking subalgebras of relativized relation algebras;Andréka;Algebra Universalis,1988

2. On the union-relation composition reducts of relation algebras;Andréka;Abstracts Amer. Math. Soc.,1989

3. Preprint of Math. Inst.;Andréka,1988

4. The class of positive reducts of representable relation algebras is not closed under homomorphisms;Andréka,1990

5. The completeness problem of logics with finitely many variables, tools from beyond first-order logic, algebraic logic, Manuscript, 1990;Andréka,1990

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quasi-Polyadic Algebras and Their Dual Position;Notre Dame Journal of Formal Logic;2022-02-01

2. Omitting types algebraically and more about amalgamation for modal cylindric algebras;Mathematical Logic Quarterly;2021-08

3. Atom canonicity and first order definability in classes of algebras of relations;Studia Scientiarum Mathematicarum Hungarica;2020-10-20

4. A brief history of Tarskian algebraic logic with new perspectives and innovations;Bollettino dell'Unione Matematica Italiana;2020-07-06

5. Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic;Journal of Applied Non-Classical Logics;2020-07-02