@inbook{a05fdb7258e04d42a67c34eb8fe5aa49,
title = "Borel* Sets in the Generalized Baire Space and Infinitary Languages",
abstract = "We start by giving a survey to the theory of Borel∗(κ) sets in the generalized Baire space Baire(κ)=κκ. In particular we look at the relation of this complexity class to other complexity classes which we denote by Borel(κ), Δ11(κ) and Σ11(κ) and the connections between Borel∗(κ) sets and the infinitely deep language Mκ+κ. In the end of the paper we will prove the consistency of Borel∗(κ)≠Σ11(κ).",
keywords = "111 Mathematics",
author = "Tapani Hyttinen and Vadim Kulikov",
year = "2018",
doi = "10.1007/978-3-319-62864-6_16",
language = "English",
isbn = "978-3-319-62863-9",
volume = "12",
series = "Outstanding Contributions to Logic",
publisher = "Springer, Cham",
pages = "395--412 ",
editor = "{van Ditmarsch}, Hans and Gabriel Sandu",
booktitle = "Jaakko Hintikka on Knowledge and Game-Theoretical Semantics",
address = "Switzerland",
}