Polyadic and cylindric algebras of sentences

Autor:	Mohamed Amer, Tarek Ahmed
Rok vydání:	2006
Předmět:	Quadratic algebra Pure mathematics Jordan algebra Interpretation (logic) Logic Cylindric algebra Polyadic algebra Algebra representation Division algebra Mathematics First-order logic
Zdroj:	MLQ. 52:444-449
ISSN:	1521-3870 0942-5616
DOI:	10.1002/malq.200510039
Popis:	In this note we give an interpretation of cylindric algebras as algebras of sentences (rather than formulas) of first order logic. We show that the isomorphism types of such algebras of sentences coincide with the class of neat reducts of cylindric algebras. Also we show how this interpretation sheds light on some recent results. This is done by likening Henkin's Neat Embedding Theorem to his celebrated completeness proof. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::78da4cd738bb5b875a76a90cc47fce09 https://doi.org/10.1002/malq.200510039 Zobrazit plný text záznamu Plný text ve formátu PDF