We extend to ordinal numbers the more usual compactness notion defined in terms of cardinal numbers. Definition 1. Suppose that X is a nonempty set and that τ is a nonempty family of subsets of X. If α and β are nonzero ordinal numbers, we say that (X, τ) is [β, α]- compact if and only if the following holds. Whenever (O δ ) δ ∈ α is a sequence of members of τ such that S δ ∈ α O δ = X, then there is H ⊆ α with order type &lt; β and such that S δ ∈ H O δ = X. When α and β are both cardinals, X is a topological space, and τ is the topology on X, we get back the classical cardinal compactness notion. See [1] for references. We show that ordinal compactness is a much more varied notion than cardinal com- pactness. We prove a great deal of results of the form “Every [β, α]-compact space is [β0, α0]-compact”, for various ordinals β, α, β0 and α0. Usually, we are able to furnish counterexamples showing that such results are the best possible ones. [1] J. E. Vaughan, Some properties related to [a,b]-compactness, Fundamenta Mathematicae, vol. 87 (1975), pp. 251-260.

Lipparini, P. (2011). Ordinal compactness. In 2011 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM '11 (pp.304-305). Association for Symbolic Logic.

### Ordinal compactness

#### Abstract

We extend to ordinal numbers the more usual compactness notion defined in terms of cardinal numbers. Definition 1. Suppose that X is a nonempty set and that τ is a nonempty family of subsets of X. If α and β are nonzero ordinal numbers, we say that (X, τ) is [β, α]- compact if and only if the following holds. Whenever (O δ ) δ ∈ α is a sequence of members of τ such that S δ ∈ α O δ = X, then there is H ⊆ α with order type < β and such that S δ ∈ H O δ = X. When α and β are both cardinals, X is a topological space, and τ is the topology on X, we get back the classical cardinal compactness notion. See [1] for references. We show that ordinal compactness is a much more varied notion than cardinal com- pactness. We prove a great deal of results of the form “Every [β, α]-compact space is [β0, α0]-compact”, for various ordinals β, α, β0 and α0. Usually, we are able to furnish counterexamples showing that such results are the best possible ones. [1] J. E. Vaughan, Some properties related to [a,b]-compactness, Fundamenta Mathematicae, vol. 87 (1975), pp. 251-260.
##### Scheda breve Scheda completa Scheda completa (DC)
2011 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
Berkeley, CA, USA
2011
Association for Symbolic logic
Rilevanza internazionale
contributo
mar-2011
2011
Settore MAT/03 - GEOMETRIA
English
ordinal; compactness; topology
Contributo "by title".
Intervento a convegno
Lipparini, P. (2011). Ordinal compactness. In 2011 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM '11 (pp.304-305). Association for Symbolic Logic.
Lipparini, P
File in questo prodotto:
File
lipparini.pdf

accesso aperto

Dimensione 46.78 kB
Utilizza questo identificativo per citare o creare un link a questo documento: `https://hdl.handle.net/2108/10405`