Generalizing Vaught sentences from ω to strong cofinality ω
M. Makkai (1974)
Fundamenta Mathematicae
Similarity:
M. Makkai (1974)
Fundamenta Mathematicae
Similarity:
John P. Burgess (1977)
Zbornik Radova
Similarity:
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.
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,...
Daniele Mundici (1983)
Fundamenta Mathematicae
Similarity:
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
G. Cherlin (1975)
Fundamenta Mathematicae
Similarity:
Roman Sikorski (1962)
Colloquium Mathematicum
Similarity:
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
Hidemitsu Sayeki (1967)
Fundamenta Mathematicae
Similarity: