Borel* sets in the generalized Baire space and infinitary languages

DOI10.1007/978-3-319-62864-6_16MaRDI QIDQ3299585zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen, Vadim Kulikov

Publication date 24 July 2020

Full work available at URL https://arxiv.org/abs/1209.3933, http://hdl.handle.net/10138/310819

zbMATH Keywords

descriptive complexityinfinitary languagesgeneralized Baire space

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Descriptive set theory (03E15) Other infinitary logic (03C75)

Abstract: We start by giving a survey to the theory of Borel*(kappa) sets in the generalized Baire space Baire({kappa}) = {kappa}^{kappa}. In particular we look at the relation of this complexity class to other complexity classes which we denote by Borel({kappa}), Delta^1_1({kappa}) and {Sigma}^1_1({kappa}) and the connections between Borel*(kappa)-sets and the infinitely deep language M_{{kappa}^+{kappa}}. In the end of the paper we prove the consistency of Borel*(kappa) e {Sigma}^1_1({kappa}).

Recommendations

• On Borel reducibility in generalized Baire space
• On Borel equivalence relations in generalized Baire space
• Borel reductions and cub games in generalised descriptive set theory
• Consistency of the Silver dichotomy in generalised Baire space
• scientific article; zbMATH DE number 17558

Cites work

• scientific article; zbMATH DE number 3906482 (Why is no real title available?)
• scientific article; zbMATH DE number 936680 (Why is no real title available?)
• A complicated \(\omega \)-stable depth 2 theory
• A generalized Borel-reducibility counterpart of Shelah's main gap theorem
• A new approach to infinitary languages
• Applications of vaught sentences and the covering theorem
• Borel sets via games
• Constructing strongly equivalent nonisomorphic models for unstable theories
• Generalized descriptive set theory and classification theory
• Generalizing Vaught sentences from ω to strong cofinality ω
• On ‐complete equivalence relations on the generalized Baire space
• Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
• Set theory. An introduction to independence proofs
• Topology and descriptive set theory
• Trees and -subsets of ^ω1ω₁

Cited in

(6)

• On generators for Borel sets
• Some results about Borel sets in descriptive set theory of hyperfinite sets
• Inclusion modulo nonstationary
• BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
• On \(\Sigma_1^1\)-completeness of quasi-orders on \(\kappa^\kappa\)
• A generalized Borel-reducibility counterpart of Shelah's main gap theorem

This page was built for publication: Borel* sets in the generalized Baire space and infinitary languages

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