Countably determined sets and a conjecture of C. W. Henson
type: Item
instance of: scholarly article
title: Countably determined sets and a conjecture of C. W. Henson
zbMATH Open document ID: 0838.54029
DOI: 10.1007/BF01460992
author: Hermann Render
published in: Mathematische Annalen
publication date: 1996-06-03T00:00:00Z
full work available at URL: https://eudml.org/doc/165370
review text: 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.
Mathematics Subject Classification ID: 54J05
Mathematics Subject Classification ID: 54H05
zbMATH DE Number: 840187
zbMATH Keywords: Robinson methods
zbMATH Keywords: constructive set theory
zbMATH Keywords: Souslin-derived
MaRDI profile type: Publication
Wikidata QID: Q123226458
cites work: Analytic Sets, Baire Sets and the Standard Part Map
cites work: Egoroff's Theorem and the Distribution of Standard Points in a Nonstandard Model
cites work: Q3708229
cites work: Descriptive set theory over hyperfinite sets
cites work: Borel and projective sets from the point of view of compact sets
cites work: Topological properties of spaces of continuous functions
cites work: Q4122490
cites work: Nonstandard Topology on Function Spaces with Applications to Hyperspaces
cites work: Pushing down Loeb measures.
cites work: Some results about Borel sets in descriptive set theory of hyperfinite sets
cites work: Every Borel function is monotone Borel
cites work: The structure of graphs all of whose Y-sections are internal sets
cites work: Lusin-Sierpiński index for the internal sets
cites work: Hyperfinite Transversal Theory
cites work: Graphs with \(\boldsymbol\Pi^ 0_ 1(\kappa)\) \(Y\)-sections
OpenAlex ID: W2087994974
description: scientific article; zbMATH DE number 840187