this is for holding javascript data
Mikhail Tkachenko edited results.tex
over 8 years ago
Commit id: 3127830ccd293442f88d33f65c17a2f34845d94d
deletions | additions
diff --git a/results.tex b/results.tex
index 2919a9c..70498de 100644
--- a/results.tex
+++ b/results.tex
...
$М_\alpha\cup \{х_\alpha\}\subset М$, система $\lambda_\alpha\restriction M$
тем более не является базой точки $х_\alpha$ в $M$. Противоречие.
Итак, $w(М)\geq\tau$. Пусть теперь $\tau$ -- сингулярный кардинал.
Положим тогда
$$
\mathcal{P} = \{\lambda: \chi(Х)<\lambda<\tau,\ \lambda - \mbox{ регулярный
кардинал}\}$. кардинал} \}$.
$$
Очевидно, $\mathcal{P}\neq\emptyset$ и $|\mathcal{P}|\leq\tau$. Для каждого
$\lambda\in\mathcal{P}$ существует $М_\lambda\subset X$, такое, что
$|М_\lambda|\leq\lambda$ и $w(М_\lambda)\geq\lambda$.
Положим $М=\bigcup \{М_\lambda: \lambda\in\mathcal{P}\}$. Очевидно,
$|М|\leq\tau$ и $w(М)\geq\tau$. Лемма доказана.