Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Problems on neat embeddings solved by rainbow constructions and Monk
  algebras   This paper is a survey of recent results and methods in (Tarskian) algebraic
logic. We focus on cylindric algebras. Fix 2<n<\omega. Rainbow constructions
are used to solve problems on classes consisting of algebras having a neat
embedding property substantially generalizing seminal results of Hodkinson as
well as Hirsch and Hodkinson on atom-canonicity and complete representations,
respectively. For proving non-atom-canonicity of infinitely many varieties
approximating the variety of representable algebras of dimension n, so-called
blow up and blur constructions are used. Rainbow constructions are compared to
constructions using Monk-like algebras and cases where both constructions work
are given. When splitting methods fail. rainbow constructions are used to show
that diagonal free varieties of representable diagonal free algebras of finite
dimension n, do no admit universal axiomatizations containing only finitely
many variables. Notions of representability, like complete, weak and strong are
lifted from atom structures to atomic algebras and investigated in terms of
neat embedding properties. The classical results of Monk and Maddux on
non-finite axiomatizability of the classes of representable relation and
cylindric algebras of finite dimension n are reproved using also a blow up and
blur construction. Applications to n-variable fragments of first order logic
are given. The main results of the paper are summarized in tabular form at the
end of the paper.

14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an