# Rules and Reals

## Proceedings of the American Mathematical Society / v.127 no.5. 1999, pp.1517-1524 window.___gcfg = {lang: 'ko'}; (function() { var po = document.createElement('script'); po.type = 'text/javascript'; po.async = true; po.src = 'https://apis.google.com/js/platform.js'; var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(po, s); })();

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) ..

## 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..