Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Rules and reals

Authors: Martin Goldstern and Menachem Kojman
Journal: Proc. Amer. Math. Soc. 127 (1999), 1517-1524
MSC (1991): Primary 03E35; Secondary 03E50, 20B27
Published electronically: January 29, 1999
MathSciNet review: 1473670
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: A ``$k$-rule" is a sequence $\vec A=((A_n,B_n): n<\mathbb N)$ of pairwise disjoint sets $B_n$, each of cardinality $\le k$ and subsets $A_n\subseteq B_n$. A subset $X\subseteq \mathbb N$ (a ``real'') follows a rule $\vec A$ if for infinitely many $n\in \mathbb N$, $X\cap B_n=A_n$.

Two obvious cardinal invariants arise from this definition: the least number of reals needed to follow all $k$-rules, $\mathfrak s_k$, and the least number of $k$-rules with no real that follows all of them, $\mathfrak r_k$.

Call $\vec A$ a bounded rule if $\vec A$ is a $k$-rule for some $k$. Let $\mathfrak r_\infty$ be the least cardinality of a set of bounded rules with no real following all rules in the set.

We prove the following: $\mathfrak r_\infty\ge\max(\operatorname{cov}(\mathbb K),\operatorname{cov}(\mathbb L))$ and $\mathfrak r=\mathfrak r_1\ge \mathfrak r_2=\mathfrak r_k$ for all $k\ge 2$. However, in the Laver model, $\mathfrak r_2<\mathfrak b=\mathfrak r_1$.

An application of $\mathfrak r_\infty$ is in Section 3: we show that below $\mathfrak r_\infty$ one can find proper extensions of dense independent families which preserve a pre-assigned group of automorphisms. The original motivation for discovering rules was an attempt to construct a maximal homogeneous family over $\omega $. The consistency of such a family is still open.

References [Enhancements On Off] (What's this?)

  • 1. Jörg Brendle. Evasion and prediction-the Specker phenomenon and Gross spaces. Forum Math., 7(5):513-541, 1995. MR 96i:03042
  • 2. Martin Goldstern, Rami Grossberg, and Menachem Kojman. Infinite Homogeneous Bipartite Graphs With Unequal Sides. Discrete Mathematics, 149:69-82, 1996. MR 97a:05102
  • 3. Menachem Kojman and Saharon Shelah. Homogeneous families and their automorphism groups. Journal of the London Mathematical Society, 52:303-317, 1995.
  • 4. R. Laver. On the consistency of Borel's conjecture. Acta Math., 137:151-169, 1976. MR 54:10019
  • 5. J. K. Truss. Embeddings of infinite permutation groups. In Proceedings of groups - St Andrews 1985, volume 121 of London Math. Soc. Lecture Series, pages 335-351. Cambridge University Press, 1986. MR 89d:20002
  • 6. J.E. Vaughan. Small uncountable cardinals in topology. In Open problems in topology, pages 217-218. Elsvier Science Publishers, B.V. North Holland, 1990. ed. van Mill, J. and Reed, G.M.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 03E35, 03E50, 20B27

Retrieve articles in all journals with MSC (1991): 03E35, 03E50, 20B27

Additional Information

Martin Goldstern
Affiliation: Institut für Algebra, Technische Universität, Wiedner Hauptstraße 8–10/118.2, A-1040 Wien, Austria

Menachem Kojman
Affiliation: Department of Mathematics, Ben–Gurion University of the Negev, POB 653. Beer-Sheva 84105, Israel
Address at time of publication: Department of Mathematics, Carnegie Mellon University, 5000 Forbes Ave, Pittsburgh, Pennsylvania 15213

Keywords: Cardinal invariants of the continuum
Received by editor(s): February 4, 1997
Received by editor(s) in revised form: July 16, 1997
Published electronically: January 29, 1999
Additional Notes: The first author is supported by an Erwin Schrödinger fellowship from the Austrian Science Foundation (FWF)
The second author was partially supported by NSF grant no. 9622579.
Communicated by: Carl Jockusch
Article copyright: © Copyright 1999 American Mathematical Society

American Mathematical Society