In this dissertation we study closure properties of pointclasses, scales on sets of reals and the models L[T2n], which are very natural canonical inner models of ZFC. We first characterize projective-like hierarchies by their associated ordinals. This solves a conjecture of Steel and a conjecture of Kechris, Solovay, and Steel. The solution to the first conjecture allows us in particular to reprove a strong partition property result on the ordinal of a Steel pointclass and derive a new boundedness principle which could be useful in the study of the cardinal structure of L(R). We then develop new methods which produce lightface scales on certain sets of reals. The methods are inspired by Jackson’s proof of the Kechris-Martin theorem. We then generalize the Kechris-Martin Theorem to all the Π12n+1 pointclasses using Jackson’s theory of descriptions. This in turns allows us to characterize the sets of reals of a certain initial segment of the models L[T2n]. We then use this characterization and the generalization of Kechris-Martin theorem to show that the L[T2n] are unique. This generalizes previous work of Hjorth. We then characterize the L[T2n] in term of inner models theory, showing that they actually are constructible models over direct limit of mice with Woodin cardinals, a counterpart to Steel’s result that the L[T2n+1] are extender models, and finally show that the generalized contiuum hypothesis holds in these models, solving a conjecture of Woodin.

1 Title: Collections of compact sets in descriptive set theory Author: Václav Vlasák Department: Department of Mathematical Analysis Supervisor: Doc. RNDr. Miroslav Zelený, Ph.D. Author's e-mail address: vlasakmm@volny.cz Abstract: This work consists of three articles. In Chapter 2, we dissert on the connections between complexity of a function f from a Polish space X to a Polish space Y and complexity of the set C(f) = {K ∈ K(X); f K is continuous}, where K(X) denotes the space of all compact subsets of X equipped with the Vietoris topology. We prove that if C(f) is analytic, then f is Borel; and assuming ∆1 2-Determinacy we show that f is Borel if and only if C(f) is coanalytic. Similar results for projective classes are also presented. In Chapter 3, we continue in our investigation of collection C(f) and also study its restriction on convergent sequences (C(f)). We prove that C(f) is Borel if and only if f is Borel. Similar results for projective classes are also presented. The Chapter 4 disserts on HN -sets, which form an important subclass of the class of sets of uniqueness for trigonometric series. We investigate the size of these classes which is reflected by the family of measures called polar which annihilate all the sets belonging to the given class. The main aim of this chapter is to answer in...

The dissertation thesis consists of two thematic parts. The first part, i.e. chapters 2, 3 and 4, contains results concerning the topic of a new book of the supervisor and coauthors V. Kanovei and M. Sabok "Canonical Ramsey Theory on Polish Spaces". In Chapter 2, there is proved a canonization of all equivalence relations Borel reducible to equivalences definable by analytic P-ideals for the Silver ideal. Moreover, it investigates and classifies sube- quivalences of the equivalence relation E0. In Chapter 3, there is proved a canonization of all equivalence relations Borel reducible to equivalences de- finable by Fσ P-ideals for the Laver ideal and in Chapter 4, we prove the canonization for all analytic equivalence relations for the ideal derived from the Carlson-Simpson (Dual Ramsey) theorem. The second part, consisting of Chapter 5, deals with the existence of universal and ultrahomogeneous Polish metric structures. For instance, we construct a universal Polish metric space which is moreover equipped with countably many closed relations or with a Lipschitz function to an arbitrarily chosen Polish metric space. This work can be considered as an extension of the result of P. Urysohn who constructed a universal and ultrahomogeneous Polish metric space.

In this work, we concern ourselves with particular topics in Polish space theory. We first consider the space A(U) of complex-analytic functions on an open set U endowed with the usual topology of uniform convergence on compact subsets. With the operations of point-wise addition and point-wise multiplication, A(U) is a Polish ring. Inspired by L. Bers' algebraic characterization of the relation of conformality, we show that the topology on A(U) is the only Polish topology for which A(U) is a Polish ring for a large class of U. This class of U includes simply connected regions, simply connected regions excluding a relatively discrete set of points, and other domains of usual interest. One thing that we deduce from this is that, even though C has many different Polish field topologies, as long as it sits inside another Polish ring with enough complex-analytic functions, it must have its usual topology. In a different direction, we show that the bounded complex-analytic functions on the unit disk admits no Polish topology for which it is a Polish ring. We also study the Lie ring structure on A(U) which turns out to be a Polish Lie ring with the usual topology. In this case, we restrict our attention to those domains U that are connected. We extend a result of I. Amemiya to see that the Lie ring structure is determined by the conformal structure of U. In a similar vein to our ring considerations, we see that, again for certain domains U of usual interest, the Lie ring A(U) has a unique Polish topology for which it is a Polish Lie ring. Again, the Lie ring A(U) imposes topological restrictions on C. That is, C must have its usual topology when sitting inside any Polish Lie ring isomorphic to A(U). In the last chapter, we introduce a new ideal of subsets of Polish spaces consisting of what we call residually null sets. From this ideal, we introduce an algebra consisting of what we call R-sets which is consistently a strict extension of the algebra of Baire property sets. We show that the algebra of R-sets is closed under the Alexandrov-Suslin operation and generalize Pettis' Theorem. From this, we provide new automatic continuity results and give a generalization of a result of D. Montgomery which shows that minimal assumptions on the continuity of group operations of an abstract group G with a Polish topology imply that G is actually a Polish group. We also see that many results pertaining to the algebra of Baire property sets generalize to the context of R-sets.