Cırulis, J.
(Algebra and Discrete Mathematics, 2003)
Where U is a structure for a first-order language
L
≈ with equality ≈, a standard construction associates with every
formula f of L
≈ the set kfk of those assignments which fulfill f in
U. These sets make up a (cylindric ...