The calculus of partition sequences, changing cofinalities, and a question of Woodin

被引：2

作者：

Apter, AW ^{[1
]}

Henle, JM

Jackson, SC

机构：

[1] CUNY Bernard M Baruch Coll, Dept Math, New York, NY 10010 USA

[2] Smith Coll, Dept Math, Northampton, MA 01060 USA

[3] Univ N Texas, Dept Math, Denton, TX 76203 USA

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 2000年 / 352卷 / 03期

关键词：

D O I：

10.1090/S0002-9947-99-02554-4

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We study in this paper polarized infinite exponent partition relations. We apply our results to constructing a model for the theory "ZF+DC+omega(1) is the only regular, uncountable cardinal less than or equal to omega(omega 1) +1." This gives a partial answer to a question of Woodin.

引用

页码：969 / 1003

页数：35

共 50 条

[11] A partition refinement algorithm for the π-calculus
Pistore, M
Sangiorgi, D
INFORMATION AND COMPUTATION, 2001, 164 (02) : 264 - 321
[12] SOME RESULTS IN PARTITION CALCULUS
MILNER, EC
SIAM REVIEW, 1968, 10 (02) : 274 - &
[13] Calculus on strong partition cardinals
Henle, James M.
MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (06) : 585 - 594
[14] A formalised theorem in the partition calculus
Paulson, Lawrence C.
ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (01)
[15] To Partition, or Not to Partition, That is the Join Question in a Real System
Bandle, Maximilian
Giceva, Jana
Neumann, Thomas
SIGMOD '21: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2021, : 168 - 180
[16] The Calculus of Looping Sequences
Barbuti, Roberto
Caravagna, Giulio
Maggiolo-Schettini, Andrea
Milazzo, Paolo
Pardini, Giovanni
FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY, 2008, 5016 : 387 - 423
[17] The changing calculus of conflict?
Kirshner, Jonathan
SECURITY STUDIES, 2007, 16 (04) : 583 - 597
[18] Countable chain condition in partition calculus
Todorcevic, S
DISCRETE MATHEMATICS, 1998, 188 (1-3) : 205 - 223
[19] Some remarks on the partition calculus of ordinals
Komjáth, P
JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) : 436 - 442
[20] MORE CONSISTENCY RESULTS IN PARTITION CALCULUS
SHELAH, S
STANLEY, L
ISRAEL JOURNAL OF MATHEMATICS, 1993, 81 (1-2) : 97 - 110

← 1 2 3 4 5 →