Displaying similar documents to “Mostowski's collapsing function and the closed unbounded filter”

Finite models and finitely many variables

Anuj Dawar (1999)

Banach Center Publications

Similarity:

This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results.

Logics for stable and unstable mereological relations

Vladislav Nenchev (2011)

Open Mathematics

Similarity:

In this paper we present logics about stable and unstable versions of several well-known relations from mereology: part-of, overlap and underlap. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereological relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations,...