Topology and descriptive set theory

DOI10.1016/0166-8641(94)00146-4zbMath0805.54035OpenAlexW1972874778MaRDI QIDQ1332843

Publication date: 5 September 1994

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0166-8641(94)00146-4

zbMATH Keywords

analytic sets Borel sets Borel equivalence relations Polish spaces Polish groups Borel actions

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Research exposition (monographs, survey articles) pertaining to general topology (54-02)

Related Items (95)

Differential Game Logic ⋮ Measure Quantifier in Monadic Second Order Logic ⋮ Graev metric groups and Polishable subgroups ⋮ The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator ⋮ On the complete metrisability of spaces of contractive semigroups ⋮ Baire Category Quantifier in Monadic Second Order Logic ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ Proper forcing and rectangular Ramsey theorems ⋮ Measured creatures ⋮ Borel classification via quasi-metrics ⋮ Towards a descriptive set theory for domain-like structures ⋮ Unnamed Item ⋮ New metrics on free groups ⋮ Some applications of illfoundedness ⋮ Graev metrics on free products and HNN extensions ⋮ The complement of a $\sigma$-compact subset of a space with a $\pi$-tree also has a $\pi$-tree ⋮ More on products of Baire spaces ⋮ On Souslin sets and embeddings in integer-valued function spaces on $\omega_1$ ⋮ On the scope of the Effros theorem ⋮ On infinite-dimensional Cantor manifolds ⋮ The Vietoris hyperspace of finite sets of Erdős space ⋮ Effros, Baire, Steinhaus and non-separability ⋮ Automatic continuity of $\aleph_1$-free groups ⋮ Algebraic properties of stochastic effectivity functions ⋮ Revisiting the fundamental theorem of calculus ⋮ Reconstruction of a coloring from its homogeneous sets ⋮ Flexible Hilbert-Schmidt stability versus hyperlinearity for property (T) groups ⋮ Krull dimension in set theory ⋮ Analytically heavy spaces: analytic Cantor and analytic Baire theorems ⋮ A hierarchy of deterministic context-free $\omega$-languages. ⋮ The Shrinking Property for NP and coNP ⋮ A gap property of deterministic tree languages. ⋮ The shrinking property for NP and coNP ⋮ THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES ⋮ Logic vs topology on regular $\omega $-languages ⋮ Fine hierarchies via Priestley duality ⋮ Eventually different functions and inaccessible cardinals ⋮ The Polish Lie ring of vector fields on a smooth manifold is algebraically determined ⋮ The natural semidirect product ${\mathbb{R}^n \rtimes G(n)}$ is algebraically determined ⋮ Unitary representations of groups, continuity and spectrum ⋮ Complexity of Ramsey null sets ⋮ Kuratowski reduction in a $\sigma $-frame ⋮ A nodec regular analytic topology ⋮ Lindelöf spaces which are Menger, Hurewicz, Alster, productive, or $D$ ⋮ Lindelöf spaces which are indestructible, productive, or $D$ ⋮ Cohomological obstructions to lifting properties for full C*-algebras of property (T) groups ⋮ Symmetric products of Erdős space and complete Erdős space ⋮ Dimension theory and forcing ⋮ FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES ⋮ Measurable versions of the LS category on laminations ⋮ Covering a Polish group by translates of a nowhere dense set ⋮ BASES AND BOREL SELECTORS FOR TALL FAMILIES ⋮ Hierarchies and reducibilities on regular languages related to modulo counting ⋮ Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages ⋮ Fréchet Borel ideals with Borel orthogonal ⋮ Separating sets by Darboux Baire 1 and approximately continuous functions ⋮ Cross-sections of solution funnels ⋮ A stochastic interpretation of game logic ⋮ A localization of $\varGamma $-measurability ⋮ Polish group actions: Dichotomies and generalized elementary embeddings ⋮ A universal coanalytic linear ordering ⋮ On the Difference Hierarchy in Countably Based T0-Spaces ⋮ On the Wadge Reducibility of k-Partitions ⋮ Analytic topologies over countable sets ⋮ Spectral properties of continuous representations of topological groups ⋮ The converse of a stochastic relation ⋮ Vietoris topology on partial maps with compact domains ⋮ On a $\sigma $-ideal of compact sets ⋮ More $\sigma $-ideals with the Laczkovich-Komjáth property ⋮ Unprovability of the logical characterization of bisimulation ⋮ On hereditarily Baire spaces, $\sigma$-fragmentability of mappings and Namioka property ⋮ Bisimilarity is not Borel ⋮ Four and more ⋮ On (strong) $\alpha $-favorability of the Wijsman hyperspace ⋮ On hereditary Baireness of the Vietoris topology ⋮ An example of a capacity for which all positive Borel sets are thick ⋮ On surjectively universal Polish groups ⋮ (Non-)distributivity of the product for $\sigma$-algebras with respect to the intersection ⋮ Selective separability on spaces with an analytic topology ⋮ On a Theorem of Holický and Zelený Concerning Borel Maps Without σ-Compact Fibers ⋮ Combinatorial properties on nodec countable spaces with analytic topology ⋮ Projectively universal countable metrizable groups ⋮ Hypergraphs and proper forcing ⋮ A Fine Hierarchy of ω-Regular k-Partitions ⋮ Coalgebraic logic for stochastic right coalgebras ⋮ The space of contractive $C_0$-semigroups is a Baire space ⋮ Around Taylor's theorem on the convergence of sequences of functions ⋮ Banach spaces containing $c_0$ and elements in the fourth dual ⋮ Monadic Second Order Logic with Measure and Category Quantifiers ⋮ On the Wadge reducibility of $k$-partitions ⋮ On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone ⋮ SEPARATION PROBLEMS AND FORCING ⋮ Polar forcings and measured extensions ⋮ Unifying logic, topology and learning in parametric logic ⋮ Games with winning conditions of high Borel complexity

Cites Work

This page was built for publication: Topology and descriptive set theory