|
|||||
|
|
SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES |
|
| Authors: | Gregory L. McColm |
| 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. |
| Keywords: | Infinite Ramsey theorem complexity classes partitions finite changes |