Invariant sets in topology and logic

DOI10.4064/FM-82-3-269-294zbMATH Open0309.02068OpenAlexW1180449143MaRDI QIDQ4067103FDOQ4067103

Authors: R. Vaught 

Publication date: 1974

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214667

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) 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)

Cited In (46)

• Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
• On Borel equivalence relations in generalized Baire space
• Borel Parametrizations
• Notes on overt choice
• Classes of algebraic structures
• Polish Group Actions and the Vaught Conjecture
• Borel Measurable Images of Polish Spaces
• Polish groupoids and functorial complexity
• Metric Scott analysis
• A descriptive Main Gap Theorem
• Parametrizations of Borel Sets with Large Sections
• Non-isomorphism invariant Borel quantifiers
• Fine hierarchies and m-reducibilities in theoretical computer science
• Souslin quasi-orders and bi-embeddability of uncountable structures
• Strong computable type
• THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS
• Borel Games and the Baire Property
• Describing groups
• Borel globalizations of partial actions of Polish groups
• Baire category quantifier in monadic second order logic
• Vaught’s conjecture and the Glimm-Effros property for Polish transformation groups
• Borel ideals vs. Borel sets of countable relations and trees
• Vaught’s conjecture on analytic sets
• 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\)
• On Extending Actions
• The query topology in logic programming
• Selectors for Borel Sets with Large Sections
• Can we classify complete metric spaces up to isometry?
• Polish group actions, nice topologies, and admissible sets
• Borel equivalence relations induced by actions of the symmetric group
• Measuring the classification difficulty of countable torsion-free Abelian groups.
• Some applications of positive formulas in descriptive set theory and logic
• Questions on generalised Baire spaces
• The Mackey-Glimm dichotomy for foliations and other Polish groupoids
• Cocycles and continuity
• Polish \(G\)-spaces and continuous logic
• Scott sentences for equivalence structures
• SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
• Topics in invariant descriptive set theory
• On Mycielski Ideals
• Borel actions of Polish groups
• Does a typical ℓ_{𝑝}-space contraction have a non-trivial invariant subspace?
• Two undecidable questions about group actions
• On the Measurability of Orbits in Borel Actions
• A generalized Borel-reducibility counterpart of Shelah's main gap theorem

This page was built for publication: Invariant sets in topology and logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4067103)