On finite axiomatizability of expansions of cylindric algebras
type: Item
instance of: scholarly article
zbMATH Open document ID: 1258.03088
author: Tarek Sayed Ahmed
publication date: 2012-06-08T00:00:00Z
full work available at URL: journals4P5.htm
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 6044080
zbMATH Keywords: finitization problem
zbMATH Keywords: cylindric algebras
MaRDI profile type: Publication
title: On finite axiomatizability of expansions of cylindric algebras
published in: Journal of Algebra, Number Theory: Advances and Applications
review text: The paper contains a new proof and a supplement of a result due to Sain concerning a cylindric reduct. This result is a solution for an instance of the finitization problem of algebraic logic. The author discusses the result in question, and he shows that it cannot be generalized in a sense.
reviewed by: Miklós Ferenczi
description: scientific article; zbMATH DE number 6044080