2012arXiv (Cornell University)Open access

Borel* Sets in the Generalised Baire Space

Tapani Hyttinen, Vadim Kulikov

Open full text 3 citations

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(κ), Δ^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(κ).

Open-access reader

About this research paper

What this paper is about

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(κ).

Why it matters

OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available 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(κ), Δ^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)

Related papers

Back to paper searchBrowse research topicsOriginal source
Borel* Sets in the Generalised Baire Space — Research Paper | ScholarLens