Forcing with adequate sets of models as side conditions

被引：3
|
作者：
Krueger, John [1 ]
机构：
[1] Univ North Texas, Dept Math, 1155 Union Circle 311430, Denton, TX 76203 USA
来源：
MATHEMATICAL LOGIC QUARTERLY | 2017年 / 63卷 / 1-2期
关键词：
FINITE CONDITIONS; CLUB; SEQUENCES;
D O I：
10.1002/malq.201400022
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We present a general framework for forcing on (2) with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial segment. We give several examples of this type of forcing, including adding a function on (2), adding a nonreflecting stationary subset of 2 cof (), and adding an (1)-Kurepa tree.
引用
收藏
页码：124 / 149
页数：26
相关论文
共 50 条
  • [41] On minimum rank and zero forcing sets of a graph
    Huang, Liang-Hao
    Chang, Gerard J.
    Yeh, Hong-Gwa
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2010, 432 (11) : 2961 - 2973
  • [42] Vertex Cover Zero Forcing Sets in Graphs
    Hassan, Javier A.
    Laja, Ladznar S.
    INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE, 2024, 19 (04): : 999 - 1003
  • [43] Stationary sets added when forcing squares
    Maxwell Levine
    Archive for Mathematical Logic, 2018, 57 : 909 - 916
  • [44] Stationary sets added when forcing squares
    Levine, Maxwell
    ARCHIVE FOR MATHEMATICAL LOGIC, 2018, 57 (7-8) : 909 - 916
  • [45] Grundy dominating sequences and zero forcing sets
    Bresar, Bogtjan
    Bujtas, Csilla
    Gologranc, Tanja
    Klavzar, Sandi
    Kosmrlj, Gasper
    Patkos, Balazs
    Tuza, Zsolt
    Vizer, Mate
    DISCRETE OPTIMIZATION, 2017, 26 : 66 - 77
  • [46] Matching, path covers, and total forcing sets
    Davila, Randy
    Henning, Michael A.
    QUAESTIONES MATHEMATICAE, 2020, 43 (01) : 131 - 147
  • [47] Making ecological models adequate
    Getz, Wayne M.
    Marshall, Charles R.
    Carlson, Colin J.
    Giuggioli, Luca
    Ryan, Sadie J.
    Romanach, Stephanie S.
    Boettiger, Carl
    Chamberlain, Samuel D.
    Larsen, Laurel
    D'Odorico, Paolo
    O'Sullivan, David
    ECOLOGY LETTERS, 2018, 21 (02) : 153 - 166
  • [48] Forcing □ω1 with finite conditions
    Dolinar, Gregor
    Dzamonja, Mirna
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (01) : 49 - 64
  • [49] FORCING WITH PROPER CLASS OF CONDITIONS
    ARCHER, JC
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 280 (22): : 1475 - 1477
  • [50] COMPACT SPACES THAT RESULT FROM ADEQUATE FAMILIES OF SETS
    PLEBANEK, G
    TOPOLOGY AND ITS APPLICATIONS, 1995, 65 (03) : 257 - 270
12345