Borel* Sets in the Generalised Baire Space
Tapani Hyttinen, Vadim Kulikov
Abstract
Open-access reader
Tapani Hyttinen, Vadim Kulikov
Abstract
Open-access reader
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(κ), Δ^1_1(κ) and Σ^1_1(κ) and the connections between Borel*(κ)-sets and the infinitely deep language M_{κ^+κ}. In the end of the paper we prove the consistency of Borel*(κ) \ne Σ^1_1(κ).
OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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(κ), Δ^1_1(κ) and Σ^1_1(κ) and the connections between Borel*(κ)-sets and the infinitely deep language M_{κ^+κ}. In the end of the paper we prove the consistency of Borel*(κ) \ne Σ^1_1(κ).
Key concepts: Kappa, Baire space, Mathematics, Baire measure, Polish space, Class (philosophy), Space (punctuation), Consistency (knowledge bases)