Cardinality, saturation and finiteness (Q1364727): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2320113468 / rank | |||
Normal rank |
Revision as of 22:35, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cardinality, saturation and finiteness |
scientific article |
Statements
Cardinality, saturation and finiteness (English)
0 references
8 January 1998
0 references
The author uses some results of J. Keisler and M. Benda to investigate relations between such properties of a model as its cardinality and saturation. Let \( {\mathcal M}\) be a model and \( ^{\ast}{ }{\mathcal M} \) be an extension of \({\mathcal M}\). Consistency of ZFC is supposed. Let be \( M\in{\mathcal M} \), \(\alpha\) be a cardinal. Denote by \(F_{\alpha}(M)\) the set of filters in \(M\). The set \(^{\ast}{ }M\) is said to be \({\alpha}\)-regular iff \({\forall}F{\in}F_{\alpha}(M)\:\:\)Monad\((F) \neq \emptyset\). Theorem 1 states that \(^{\ast}{ }M\) is \({\alpha}\)-regular iff \({\alpha}\) belongs to a hyperfinite internal set. The author mentions in the preface Theorem 2 but this is missing in the paper.
0 references
Saturation
0 references
regularity
0 references
ultrapower
0 references
internal
0 references
hyperfinite
0 references