Countably determined sets and a conjecture of C. W. Henson (Q1907193)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Countably determined sets and a conjecture of C. W. Henson |
scientific article |
Statements
Countably determined sets and a conjecture of C. W. Henson (English)
0 references
3 June 1996
0 references
The author uses the Robinson methods of nonstandard analysis to give further insight into the relationship between the inverse standard part operator \(st^{-1}\) and topological concepts associated with constructive set theory. He develops a considerable amount of machinery associated with the inverse standard part operator and countably many objects. Along the way, the author shows that \(st^{-1} (X)\) is Souslin-derived from the internal subsets of \(^*X\) if and only if \(X\) is Souslin-derived from the zero sets of \(\beta X\). The author presents other equivalent characterizations for \(st^{-1} (X)\) being Souslin-derived in theorem 3.2. I noticed two * (star) symbols missing.
0 references
Robinson methods
0 references
constructive set theory
0 references
Souslin-derived
0 references