Borel* sets in the generalized Baire space and infinitary languages

DOI10.1007/978-3-319-62864-6_16zbMATH Open1437.03143arXiv1209.3933OpenAlexW2789902044MaRDI QIDQ3299585FDOQ3299585

Authors: Tapani Hyttinen, Vadim Kulikov 

Publication date: 24 July 2020

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}).

Full work available at URL: https://arxiv.org/abs/1209.3933

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

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)

Cites Work

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

Cited In (6)

• On generators for Borel sets
• Some results about Borel sets in descriptive set theory of hyperfinite sets
• BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
• Inclusion modulo nonstationary
• 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)