Repository | Series | Book | Chapter
Borel$$^{*}$$ sets in the generalized baire space and infinitary languages
pp. 395-412
Abstract
We start by giving a survey to the theory of ({ ext {Borel}}^{*}(kappa )) sets in the generalized Baire space ({ ext {Baire}}(kappa )=kappa ^{kappa }). In particular we look at the relation of this complexity class to other complexity classes which we denote by ({ ext {Borel}}(kappa )), ({Delta _1^1}(kappa )) and ({Sigma _1^1}(kappa )) and the connections between ({ ext {Borel}}^*(kappa )) sets and the infinitely deep language id="IEq8">(M_{kappa ^+kappa }). In the end of the paper we will prove the consistency of ({ ext {Borel}}^{*}(kappa ) e Sigma ^{1}_{1}(kappa )).
Publication details
Published in:
van Ditmarsch Hans, Sandu Paul-Gabriel (2018) Jaakko Hintikka on knowledge and game-theoretical semantics. Dordrecht, Springer.
Pages: 395-412
DOI: 10.1007/978-3-319-62864-6_16
Full citation:
Hyttinen Tapani, Kulikov Vadim (2018) „Borel$$^{*}$$ sets in the generalized baire space and infinitary languages“, In: H. Van Ditmarsch & P.-G. Sandu (eds.), Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer, 395–412.