Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-16T03:19:36.808Z Has data issue: false hasContentIssue false
  • English
  • Français

Some results about (+) proved by iterated forcing

Published online by Cambridge University Press:  12 March 2014

Tetsuya Ishiu  and
Paul B. Larson
Tetsuya Ishiu
Affiliation:
Department of Mathematics, Miami University,Oxford, OH 45056, USA, E-mail: ishiut@muohio.edu, E-mail: larsonpb@muohio.edu
Paul B. Larson
Affiliation:
Department of Mathematics, Miami University,Oxford, OH 45056, USA, E-mail: ishiut@muohio.edu, E-mail: larsonpb@muohio.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We shall show the consistency of CH+⌝(+) and CH+(+)+there are no club guessing sequences on ω1. We shall also prove that ◊+ does not imply the existence of a strong club guessing sequence on ω1.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 77 , Issue 2 , June 2012 , pp. 515 - 531
Copyright
Copyright © Association for Symbolic Logic 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Ishiu, T., Club guessing sequences and filters, this Journal, vol. 70 (2005), no. 4, pp. 1037–1071.Google Scholar
[2] Larson, P., The canonical function game, Archive for Mathematical Logic, vol. 44 (2005), no. 7, pp. 817–827.CrossRefGoogle Scholar
[3] Moore, Justin Tatch, ω1 and −ω1 may be the only minimal uncountable linear orders, Michigan Mathematical Journal, vol. 55 (2007), no. 2, pp. 437–457.CrossRefGoogle Scholar
[4] Shelah, Saharon, Proper and improper forcing, second ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998.CrossRefGoogle Scholar