SOME RAMSEY THEORY IN BOOLEAN-ALGEBRA FOR COMPLEXITY CLASSES

被引:0
|
作者
MCCOLM, GL [1 ]
机构
[1] UNIV S FLORIDA,DEPT MATH,TAMPA,FL 33620
关键词
INFINITE RAMSEY THEOREM; COMPLEXITY CLASSES; PARTITIONS; FINITE CHANGES;
D O I
10.1002/malq.19920380125
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
It is known that for two given countable sets of unary relations A and B on omega there exists an infinite set H superset-or-equal-to omega 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.
引用
收藏
页码:293 / 298
页数:6
相关论文
共 50 条