Titlebook: Cylindric-like Algebras and Algebraic Logic; Hajnal Andréka,Miklós Ferenczi,István Németi Book 2013 Springer-Verlag Berlin Heidelberg 2013

單純

The genetic consequences of dispersalectively. Elaborating this idea, we find that from this modal viewpoint, the standard semantics of first-order logic corresponds to just one of many possible classes of Kripke frames, and that other classes might be of interest as well.

LINES

Culmination

Neat Reducts and Neat Embeddings in Cylindric Algebrashis paper, among other things, surveys the status of these problems 40 years after they first appeared. Long proofs are omitted, except for one, which gives the gist of techniques used to solve such kind of problems.