Invariant sets in topology and logic
From MaRDI portal
Publication:4067103
DOI10.4064/fm-82-3-269-294zbMath0309.02068OpenAlexW1180449143MaRDI QIDQ4067103
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214667
Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Other infinitary logic (03C75) Topological and differentiable algebraic systems (22A99) Hierarchies of computability and definability (03D55)
Related Items
Baire Category Quantifier in Monadic Second Order Logic ⋮ The Mackey-Glimm dichotomy for foliations and other Polish groupoids ⋮ Borel Measurable Images of Polish Spaces ⋮ Borel globalizations of partial actions of Polish groups ⋮ Borel Parametrizations ⋮ Metric Scott analysis ⋮ Borel ideals vs. Borel sets of countable relations and trees ⋮ Can we classify complete metric spaces up to isometry? ⋮ The query topology in logic programming ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ Strong computable type ⋮ On Borel equivalence relations in generalized Baire space ⋮ The conjugacy problem for automorphism groups of countable homogeneous structures ⋮ Notes on overt choice ⋮ Classes of algebraic structures ⋮ Describing groups ⋮ Two undecidable questions about group actions ⋮ Measuring the classification difficulty of countable torsion-free Abelian groups. ⋮ Parametrizations of Borel Sets with Large Sections ⋮ Polish group actions, nice topologies, and admissible sets ⋮ Fine hierarchies and m-reducibilities in theoretical computer science ⋮ Polish \(G\)-spaces and continuous logic ⋮ Polish Group Actions and the Vaught Conjecture ⋮ Cocycles and continuity ⋮ A generalized Borel-reducibility counterpart of Shelah's main gap theorem ⋮ Selectors for Borel Sets with Large Sections ⋮ Topics in invariant descriptive set theory ⋮ Borel actions of Polish groups ⋮ On Mycielski Ideals ⋮ Generalized Descriptive Set Theory and Classification Theory ⋮ Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\) ⋮ Does a typical ℓ_{𝑝}-space contraction have a non-trivial invariant subspace? ⋮ Some applications of positive formulas in descriptive set theory and logic ⋮ Scott sentences for equivalence structures ⋮ Questions on generalised Baire spaces ⋮ Non-isomorphism invariant Borel quantifiers ⋮ A descriptive Main Gap Theorem ⋮ Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} ⋮ Borel equivalence relations induced by actions of the symmetric group ⋮ THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS ⋮ On the Measurability of Orbits in Borel Actions ⋮ On Extending Actions ⋮ SCOTT COMPLEXITY OF COUNTABLE STRUCTURES ⋮ Polish groupoids and functorial complexity ⋮ Vaught’s conjecture and the Glimm-Effros property for Polish transformation groups ⋮ Borel Games and the Baire Property ⋮ Vaught’s conjecture on analytic sets
