Description:
Definitions for forms [1 AK], [1 AL], [1 AM] from Truss [1973a]
Content:
Definitions for forms [1 AK], [1 AL], [1 AM] from Truss [1973a]
Definition: Assume \(x\) and \(y\) are cardinal numbers
- \(\aleph(x)\) is the least well ordered cardinal \(\aleph\) such
that \(\aleph \not \le x\).
- \(\alpha(x,y)\) is the least ordinal \(\alpha\) such that whenever
\(\left\{z_{\gamma} : \gamma < \beta \right\}\) is a sequence of
cardinals satisfying \(x < z_{\gamma} < y\) for all \(\gamma < \beta\) and
\(\gamma < \delta \to z_{\gamma} < z_{\delta}\) then \(\beta < \alpha\).
Howard-Rubin number:
98
Type:
Definitions
Back