Form Classes

Statement:

For every \(A\subseteq\Bbb R\) the following are equivalent:

  1. \(A\) is closed and bounded.
  2. Every sequence \(\{x_{n}\}\subseteq A\) has a convergent subsequence with limit in A.
Jech [1973b], p 21.

Howard_Rubin_Number: 74

Parameter(s): This form does not depend on parameters

This form's transferability is: Transferable

This form's negation transferability is: Negation Transferable

Article Citations:

Book references
The Axiom of Choice, Jech, T., 1973b

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 74,

Back