Some results about neat reducts
type: Item
instance of: scholarly article
title: Some results about neat reducts
zbMATH Open document ID: 1204.03057
author: Tarek Sayed Ahmed
published in: Algebra Universalis
publication date: 2010-09-08T00:00:00Z
review text: This is a survey article on the concept of neat reduct of a cylindric algebra, but it contains also several new results. One of these concerns the characterization problem of the class of neat reducts \(\mathfrak{Nr}_\alpha\)\textbf{CA}\(_\beta\). The author has proved in [``The class of neat reducts is not elementary'', Log. J. IGPL 9, No.~4, 593--628 (2001; Zbl 0988.03098)] that the class is not elementary for \(1 < \alpha < \beta\); now, it is shown that no \(L_{\infty\omega}\)-sentence characterizes this class. Neat reducts are discussed also in connection with the amalgamation property (in particular, two open questions are answered) and complete representations. Reviewer's remark: For neat reducts and amalgamation see also the recent paper [\textit{J. Madarász} and \textit{T. Sayed Ahmed}, ``Neat reducts and amalgamation in retrospect, a survey of results and some methods. I: Results on neat reducts'', Log. J. IGPL 17, No. 4, 429--483 (2009; Zbl 1174.03029)].
reviewed by: Jānis Cīrulis
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 5781184
zbMATH Keywords: algebraic logic
zbMATH Keywords: amalgamation
zbMATH Keywords: cylindric algebra
zbMATH Keywords: complete representation
zbMATH Keywords: neat reduct
zbMATH Keywords: polyadic algebra
zbMATH Keywords: survey paper
MaRDI profile type: MaRDI publication profile
full work available at URL: s00012-010-0062-7
OpenAlex ID: W1997288099
cites work: The class of neat reducts is not elementary
cites work: The class of 2-dimensional neat reducts is not elementary
cites work: Q4530145
cites work: Martin's axiom, omitting types, and complete representations in algebraic logic
cites work: Neat embeddings, omitting types, and interpolation: an overview
cites work: On amalgamation of reducts of polyadic algebras
cites work: Algebraic Logic, Where Does it Stand Today?
cites work: The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
cites work: An Interpolation Theorem for First Order Logic with Infinitary Predicates
cites work: A note on neat reducts
cites work: Q5411403
cites work: Q3618746
cites work: On complete representations of reducts of polyadic algebras
cites work: Q3185015
cites work: Omitting types for finite variable fragments and complete representations of algebras
cites work: A Neat Embedding Theorem for Expansions of Cylindric Algebras
cites work: An Omitting Types Theorem for first order logic with infinitary relation symbols
cites work: Complexity of equations valid in algebras of relations. I: Strong non-finitizability
cites work: Epimorphisms in cylindric algebras and definability in finite variable logic
cites work: Q3998034
cites work: A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
cites work: Polyadic and cylindric algebras of sentences
cites work: Classes without the amalgamation property
cites work: Representation theory for polyadic algebras
cites work: Categoricity regained
cites work: Q3344197
cites work: Relation algebra reducts of cylindric algebras and complete representations
cites work: Complete representations in algebraic logic
cites work: Relation algebra reducts of cylindric algebras and an application to proof theory
cites work: Q5616133
cites work: Cylindric algebras. Part II
cites work: Erdős Graphs Resolve Fine's Canonicity Problem
cites work: Amalgamation, interpolation and epimorphisms in algebraic logic
cites work: Interpolation and amalgamation; pushing the limits. I
cites work: Amalgamation and interpolation in normal modal logics
cites work: Internal cohen extensions
cites work: A Characterization of the Least Cardinal for which the Baire Category Theorem Fails
cites work: Amalgamation, congruence-extension, and interpolation properties in algebras
cites work: On weak and strong interpolation in algebraic logics
cites work: On some developments in the representation theory of cylindric-like algebras
cites work: Connections between quasi-projective relation algebras and cylindric algebras
cites work: Q4040000
DOI: 10.1007/S00012-010-0062-7
description: scientific article; zbMATH DE number 5781184