SOME RAMSEY THEORY IN BOOLEAN-ALGEBRA FOR COMPLEXITY CLASSES

被引：0

作者：

MCCOLM, GL ^{[1
]}

机构：

[1] UNIV S FLORIDA,DEPT MATH,TAMPA,FL 33620

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1992年 / 38卷 / 03期

关键词：

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 条

[31] ON EXPANDING BOOLEAN-ALGEBRA INTO A NEW DUAL-BIFORM LOGIC ALGEBRA
ALESSO, HP
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1990, 28 (02) : 255 - 263
[32] BOOLEAN-ALGEBRA ADMITS NO CONVERGENT TERM REWRITING SYSTEM
SOCHERAMBROSIUS, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 264 - 274
[33] A BOOLEAN-ALGEBRA WITH FEW SUBALGEBRAS, INTERVAL BOOLEAN-ALGEBRAS AND RETRACTIVENESS
RUBIN, M
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1983, 278 (01) : 65 - 89
[34] A BOOLEAN-ALGEBRA APPROACH TO MULTIPLE SENSOR VOTING FUSION
KLEIN, LA
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 1993, 29 (02) : 317 - 327
[35] MONOGRAPH ON LATTICE AND BOOLEAN-ALGEBRA - FRENCH - CARBALLO,M
FORTET, R
ECONOMETRICA, 1965, 33 (02) : 470 - 471
[36] AN IMPROVED BOOLEAN-ALGEBRA METHOD FOR COMPUTING THE NETWORK RELIABILITY
LIU, HH
YANG, WT
LIU, CC
MICROELECTRONICS AND RELIABILITY, 1992, 32 (10): : 1401 - 1419
[37] IRREDUCIBLE DISJOINT COVERING SYSTEMS (WITH AN APPLICATION TO BOOLEAN-ALGEBRA)
BERGER, MA
FELZENBAUM, A
FRAENKEL, AS
DISCRETE APPLIED MATHEMATICS, 1990, 29 (2-3) : 143 - 164
[38] ON BOOLEAN-ALGEBRA AND ITS IMPORTANCE FOR THE COMPUTER-SCIENCES
LOWDIN, PO
INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY, 1992, 42 (04) : 719 - 726
[39] EVERY LOW BOOLEAN-ALGEBRA IS ISOMORPHIC TO A RECURSIVE ONE
DOWNEY, R
JOCKUSCH, CG
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1994, 122 (03) : 871 - 880
[40] BOOLEAN-ALGEBRA FROM THE LATTICE POINT-OF-VIEW
LEE, ET
KYBERNETES, 1994, 23 (03) : 59 - 64

← 1 2 3 4 5 →