Epimorphisms in cylindric algebras and definability in finite variable logic-Reference-Cited by-同舟云学术

Epimorphisms in cylindric algebras and definability in finite variable logic

Published:2009-10-16 Issue:3-4 Volume:61 Page:261-282
ISSN:0002-5240
Container-title:Algebra universalis
language:en
Short-container-title:Algebra Univers.

Author:

Andréka H.,Comer S. D.,Madarász J. X.,Németi I.,Sayed Ahmed T.

Publisher

Springer Science and Business Media LLC

Subject

Algebra and Number Theory

Link

http://link.springer.com/content/pdf/10.1007/s00012-009-0022-2.pdf

Reference71 articles.

1. Adámek, J., Herrlich, H., Strecker, G.: Abstract and concrete categories. John Wiley and Sons (1990)

2. Andréka, H.: Atomic representable relation and cylindric algebras with nonrepresentable completions. Mathematical Institute of the Hungarian Academy of Sciences, Budapest, manuscript (1997)

3. Andréka H.: Complexity of equations valid in algebras of relations, Parts I-II. Annals of Pure and Applied Logic 89, 149–229 (1997)

4. Andréka, H., Comer, S.D., Németi, I.: Epimorphisms of cylindric algebras. Mathematical Institute of the Hungarian Academy of Sciences, Budapest (1982)

5. Andréka, H., Comer, S.D., Németi, I.: Surjectiveness of cylindric algebras. Abstracts of Amer. Math. Soc. 4,3 293, *83T-08-186 (1983)

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

1. A Version of Predicate Logic with Two Variables That has an Incompleteness Property;Studia Logica;2024-07-15

2. Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29

3. TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY;The Journal of Symbolic Logic;2021-02-01

4. DISTANCES BETWEEN FORMAL THEORIES;The Review of Symbolic Logic;2019-10-04

5. How many varieties of cylindric algebras are there;Transactions of the American Mathematical Society;2017-08-22