SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FO
✍
Gregory L. McColm
📂
Article
📅
1992
🏛
John Wiley and Sons
🌐
English
⚖ 367 KB
## Abstract It is known that for two given countable sets of unary relations __A__ and __B__ on ω there exists an infinite set __H__ ⫅ ω on which __A__ and __B__ are the same. This result can be used to generate counterexamples in expressibility theory. We examine the sharpness of this result.