Voir la notice de l'article dans Library of Science
@article{DMGT_2024_53_2_a0, author = {Sayed Ahmed, Tarek}, title = {Lifting {Results} for {Finite} {Dimensions} to the {Transfinite} in {Systems} of {Varieties} {Using} {Ultraproducts}}, journal = {Discussiones Mathematicae Graph Theory}, publisher = {mathdoc}, volume = {53}, number = {2}, year = {2024}, language = {en}, url = {https://geodesic-test.mathdoc.fr/item/DMGT_2024_53_2_a0/} }
TY - JOUR AU - Sayed Ahmed, Tarek TI - Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts JO - Discussiones Mathematicae Graph Theory PY - 2024 VL - 53 IS - 2 PB - mathdoc UR - https://geodesic-test.mathdoc.fr/item/DMGT_2024_53_2_a0/ LA - en ID - DMGT_2024_53_2_a0 ER -
%0 Journal Article %A Sayed Ahmed, Tarek %T Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts %J Discussiones Mathematicae Graph Theory %D 2024 %V 53 %N 2 %I mathdoc %U https://geodesic-test.mathdoc.fr/item/DMGT_2024_53_2_a0/ %G en %F DMGT_2024_53_2_a0
Sayed Ahmed, Tarek. Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts. Discussiones Mathematicae Graph Theory, Tome 53 (2024) no. 2. https://geodesic-test.mathdoc.fr/item/DMGT_2024_53_2_a0/
L. Henkin, J. Monk, A. Tarski, Cylindric Algebras, Part I, vol. 64 of Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam (1971).
L. Henkin, J. Monk, A. Tarski, Cylindric Algebras, Part II, vol. 115 of Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam (1985), URL: https://www.sciencedirect.com/bookseries/studies-in-logic-and-the-foundations-of-mathematics/vol/115/suppl/C
R. Hirsch, T. S. Ahmed, The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions, Journal of Symbolic Logic, vol. 79(1) (2014), pp. 208–222 | DOI
R. Hirsch, I. Hodkinson, Relation algebras by games, vol. 147 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam (2002), URL: https://www.sciencedirect.com/bookseries/studies-in-logic-and-the-foundations-of-mathematics/vol/147/suppl/C
R. Hirsch, I. Hodkinson, R. Maddux, Relation algebra reducts of cylindric algebras and an application to proof theory, Journal of Symbolic Logic, vol. 67(1) (2002), pp. 197–213 | DOI
I. Sain, R. Thompson, Strictly finite schema axiomatization of quasi-polyadic algebras, [in:] H. Andr'eka, D. Monk, I. N'emeti (eds.), Algebraic Logic, North Holland, Amsterdam (1991), pp. 539–572.