contact us

Rules and Reals

Proceedings of the American Mathematical Society / v.127 no.5. 1999, pp.1517-1524

Author : Goldstern, Martin ; Kojman, Menachem

Abstract : A k-rule is a sequence $\vec{A}$ = ((Alt;LAT ((A $_{n}$ , B $_{n}$ ): n ${\Bbb N}$ ) of pairwise disjoint sets B $_{n}$ , each of cardinality $\leq $ k and subsets A $_{n}\subseteq $ B $_{n}$ . A subset X $\subseteq {\Bbb N}$ (a real) follows a rule $\vec{A}$ if for infinitely many n $\in {\Bbb N}$ , X $\cap $ B $_{n}$ = Alt;LA A $_{n}$ . Two obvious cardinal invariants arise from this definition: the least number of reals needed to follow all k-rules, $\germ{s}_{k}$ , and the least number of k-rules with no real that follows all of them, $\germ{r}_{k}$ . Call $\vec{A}$ a bounded rule if $\vec{A}$ is a k-rule for some k. Let $\germ{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: $\germ{r}_{\infty}\geq $ max(cov( ${\Bbb K}$ ), cov( ${\Bbb L}$ )) and $\germ{r}=\germ{r}_{1}\geq \germ{r}_{2}=\germ{r}_{k}$ for all k $\geq 2$ . However, in the Laver model, $\germ{r}_{2} . An application of $\germ{r}_{\infty}$ is in Section 3: we show that below $\germ{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.

Keyword : Primary 03E35 . Secondary 03E50, 20B27 . Cardinal invariants of the continuum

Hamiltonian Stationary Normal Bundles of Surfaces in R<LATEX><TEX>$..

A surface in ${\bf R}^{3}$ has Hamiltonian stationary normal bundle if and only if it is ei..

The Location of the Zeros of the Higher Order Derivatives of a Polynomial

Let p(z) be a complex polynomial of degree n having k zeros in a disk D. We deal with the pro..

Composition Operators on Hardy Spaces of a Half-Plane

We consider composition operators on Hardy spaces of a half-plane. We mainly study boundednes..

Completeness of Eigenvectors of Group Representations of Operators Whose Arveso..

We establish the following result. Theorem. Let $\alpha $ : G $\rightarrow {\cal L}$ (X) ..

Weighted Integrability of Double Trigonometric Series

We study the double trigonometric series whose coefficients c $_{jk}$ are such that $\sum_..

On the Structure of the Set of Bounded Solutions on a Periodic Lienard Equation

We describe the dynamics of a class of second order periodic differential equations whose mai..

The Holomorphic Extension of H<LATEX><TEX>$^{p}$</TEX></LA..

We consider the set of CR functions on a connected tube submanifold of C $^{n}$ satisfying ..

Estimates for the Green Function of a General Sturm-Liouville Operator and Thei..

For a general Sturm-Liouville operator with nonnegative coefficients, we obtain two-sided est..

An Elementary Proof of the Principle of Local Reflexivity

We give an elementary proof of the principle of local reflexivity.

A Dauns-Hofmann Theorem for Taf-Algebras

Let A be a TAF-algebra, Z(A) the centre of A, Id(A) the ideal lattice of A, and Mir(A) the sp..