Skip to main content Accessibility help
×
Home

Jensen's ⃞ principles and the Novák number of partially ordered sets

  • Boban Veličković (a1)

Extract

In this paper we consider various properties of Jensen's □ principles and use them to construct several examples concerning the so-called Novák number of partially ordered sets.

In §1 we give the relevant definitions and review some facts about □ principles. Apart from some simple observations most of the results in this section are known.

In §2 we consider the Novák number of partially ordered sets and, using □ principles, give counterexamples to the productivity of this cardinal function. We also formulate a principle, show by forcing that it is consistent and use it to construct an ℵ2-Suslin tree T such that forcing with T × T collapses ℵ1.

In §3 we briefly consider games played on partially ordered sets and relate them to the problems of the previous section. Using a version of □ we give an example of a proper partial order such that the game of length ω played on is undetermined.

In §4 we raise the question of whether the Novák number of a homogenous partial order can be singular, and show that in some cases the answer is no.

We assume familiarity with the basic techniques of forcing. In §1 some facts about large cardinals (e.g. weakly compact cardinals are -indescribable) and elementary properties of the constructible hierarchy are used. For this and all undefined terms we refer the reader to Jech [10].

Copyright

References

Hide All
[1]Abraham, U. and Shelah, S., Forcing closed unbounded sets, this Journal, vol. 48 (1983), pp. 643657.
[2]Balcar, B., Pelant, J. and Simon, P., The space of ultrafilters on N covered by nowhere dense sets, Fundamenta Mathematicae, vol. 110 (1980), pp. 1124.
[3]Baumgartner, J., A new class of order types, Annals of Mathematical Logic, vol. 9 (1976), pp. 187222.
[4]Baumgartner, J., Applications of the proper forcing axiom, Handbook of set-theoretic topology (Kunen, K. and Vaughan, J., editors), North-Holland, Amsterdam, 1984, pp. 913959.
[5]Beller, A. and Litman, A., A strengthening of Jensen's □ principles, this Journal, vol. 45 (1980), pp. 251264.
[6]Burgess, J., Forcing, Handbook of mathematical logic (Barwise, J., editor), North-Holland, Amsterdam, 1977, pp. 403452.
[7]Fleissner, W. and Kunen, K., Barely Baire spaces, Fundamenta Mathematicae, vol. 101 (1978), pp. 229240.
[8]Foreman, M., Games played on Boolean algebras, this Journal, vol. 48 (1983), pp. 714723.
[9]Jech, T., A game theoretic property of Boolean algebras, Logic Colloquium '77 (Macintyre, A., Pacholski, L. and Paris, J., editors), North-Holland, Amsterdam, 1978, pp. 135144.
[10]Jech, T., Set theory, Academic Press, New York, 1978.
[11]Jensen, R., The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229308.
[12]Kanamori, A. and Magidor, M., The evolution of large cardinal axioms in set theory, Higher set theory (Müller, G. and Scott, D., editors), Lecture Notes in Mathematics, vol. 669, Springer-Verlag, Berlin, 1978, pp. 99275.
[13]Kunen, K., Saturated ideals, this Journal, vol. 43 (1978), pp. 6576.
[14]Magidor, M., Reflecting stationary sets, this Journal, vol. 47 (1982), pp. 755771.
[15]Todorčević, S., A note on the proper forcing axiom, Axiomatic set theory (Baumgartner, J.et al., editors), Contemporary Mathematics, vol. 31, American Mathematical Society, Providence, Rhode Island, 1984, pp. 209218.
[16]Velleman, D., Morasses, diamonds, and forcing, Ph.D. Thesis, University of Wisconsin, Madison, Wisconsin, 1980.
[17]Velleman, D., On a generalization of Jensen's □κ and strategic closure of partial orders, this Journal, vol. 48 (1983), pp. 10461053.

Jensen's ⃞ principles and the Novák number of partially ordered sets

  • Boban Veličković (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.