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
关键词
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 条
  • [31] Some algebraic hyperstructures related to zero forcing sets and forcing digraphs
    Golmohamadian, M.
    Zahedi, M. M.
    Soltankhah, N.
    JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2019, 18 (10)
  • [32] FORCING IN THEORY ON MODELS
    CUSIN, R
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (13): : 845 - &
  • [33] FORCING AND MODELS OF ARITHMETIC
    SIMPSON, SG
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 43 (01) : 193 - 194
  • [34] On adequate sets of multi-valued logic *
    Cheng, Daizhan
    Feng, Jun-E
    Zhao, Jianli
    Fu, Shihua
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2021, 358 (13): : 6705 - 6722
  • [35] DEVELOPMENT OF LEARNING SETS IN ADEQUATE AND RETARDED READERS
    WIRTENBERG, TJ
    FAW, TT
    JOURNAL OF LEARNING DISABILITIES, 1975, 8 (05) : 304 - 307
  • [36] Assessment of radiation forcing data sets for large-scale sea ice models in the Southern Ocean
    Vancoppenolle, Martin
    Timmermann, Ralph
    Ackley, Stephen F.
    Fichefet, Thierry
    Goosse, Hugues
    Heil, Petra
    Leonard, Katherine C.
    Lieser, Jan
    Nicolaus, Marcel
    Papakyriakou, Tim
    Tison, Jean-Louis
    DEEP-SEA RESEARCH PART II-TOPICAL STUDIES IN OCEANOGRAPHY, 2011, 58 (9-10) : 1237 - 1249
  • [37] Uniform forcing and immune sets in graphs and hypergraphs
    Fabrega, Josep
    Marti-Farre, Jaume
    Munoz, Xavier
    DISCRETE APPLIED MATHEMATICS, 2021, 305 : 23 - 33
  • [38] Zero forcing sets and the minimum rank of graphs
    Barioli, Francesco
    Barrett, Wayne
    Butler, Steve
    Cioaba, Sebastian M.
    Cvetkovic, Dragos
    Fallat, Shaun M.
    Godsil, Chris
    Haemers, Willem
    Hogben, Leslie
    Mikkelson, Rana
    Narayan, Sivaram
    Pryporova, Olga
    Sciriha, Irene
    So, Wasin
    Stevanovic, Dragan
    van der Holst, Hein
    Vander Meulen, Kevin N.
    Wehe, Amy Wangsness
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2008, 428 (07) : 1628 - 1648
  • [39] Definable maximal discrete sets in forcing extensions
    Schrittesser, David
    Tornquist, Asger
    MATHEMATICAL RESEARCH LETTERS, 2018, 25 (05) : 1591 - 1612
  • [40] POWER OF NEW SUBSETS OF SETS INTRODUCED BY FORCING
    COHEN, PE
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1974, 22 (03): : 213 - 214