The Normed Induction Theorem

Total Page:16

File Type:pdf, Size:1020Kb

The Normed Induction Theorem The Normed Induction Theorem Yiannis N. Moschovakis UCLA and University of Athens The Soskov meeting, Gjuletchica, 20 September, 2014 and the meeting in honor of Costas Dimitracopoulos, Athens, 3 October, 2014 What it is about ² An operator © : P(X ) !P(X ) on the powerset of a set X is monotone if S ⊆ T =) ©(S) ⊆ ©(T )(S ⊆ T ⊆ X ); and every monotone © has a least ¯xed point © characterized by ©(©) = ©; (8S ⊆ X )[©(S) ⊆ S =) © ⊆ S] ² This set © built up by © is de¯ned explicitly by T © = fS ⊆ X j ©(S) ⊆ Sg; (Exp) and inductively by the ordinal recursion S S © = » ©»; where ©» = ©( ´<» ©´): (Ind) ² The Normed Induction Theorem gives simple|often best possible|classi¯cations of ©, especially in Descriptive Set Theory Yiannis N. Moschovakis: The Normed Induction Theorem 1/16 Outline ² The arithmetical and analytical hierarchies on ! and N (3 slides) ² Borel sets and their codings (2 slides) ² Norms and the prewellordering property (2 slides) ² The main result and some of its consequences (5 slides) ² The story of O (2 slides) ² Results by several people will be discussed ² The basic references for proofs are the Second Edition of my Descriptive Set Theory book and the article Kleene's amazing 2nd Recursion Theorem, both posted on www.math.ucla.edu/»ynm Yiannis N. Moschovakis: The Normed Induction Theorem 2/16 Notation and terminology ² ! = f0; 1;:::; g; s; t 2 !, N = (! ! !), the Baire space, ®; ¯ 2 N ² A space is a product X = X1 £ ¢ ¢ ¢ £ Xk where each Xi is ! or N ² A pointset is any P ⊆ X = X1 £ ¢ ¢ ¢ £ Xk and we write synonymously x 2 P () P(x) () P(x1;:::; xk ) ² A pointclass is any collection ¡ of pointsets ² Restriction: For each X ,¡¹X = fP ⊆ X j P 2 ¡g ² Relativization: ¡(®) = fP® j P 2 ¡g where P®(x) () P(®; x) t0+1 t1+1 tn¡1+1 ht0;:::; tn¡1i = 2 3 ¢ ¢ ¢ pn¡1 ®(t) = h®(0); : : : ®(t ¡ 1)i; n(t) = n if x = (x1;:::; xk ) 2 X ; then x(t) = hx1(t);:::; xk (t)i 0 ® = ¸t®(t + 1) (®)i = ¸s®(hi; si) ² The results we will discuss hold for all recursive Polish spaces |and \boldface versions" of them hold for all Polish spaces Yiannis N. Moschovakis: The Normed Induction Theorem 3/16 The arithmetical and analytical pointclasses 0 0 0 §1 §2 §3 ( ( ( ( ( ( 0 0 0 ¢1 ¢2 ¢3 ¢ ¢ ¢ ( ( ( ( ( ( 0 0 0 ¦1 ¦2 ¦3 1 1 1 §1 §2 §3 ( ( ( ( ( ( 1 1 1 ¢ ¢ ¢ ½ ¢1 ¢2 ¢3 ¢ ¢ ¢ ( ( ( ( ( ( 1 1 1 ¦1 ¦2 ¦3 0 k ² §1, semirecursive: P(x) () (9s)R(x(s)) with recursive R ⊆ ! 1 0 ² ¦1 : P(x) () (8®)Q(x; ®) with Q in §1 () (8®)(9t)R(x(t); ®(t)) with recursive R ⊆ !k+1 1 1 ² §2 : P(x) () (9®)Q(x; ®) with Q in ¦1 () (9®)(8¯)(9)R(x(t); ®1(t); ®2(t)) with recursive R 1 1 1 1 1 ² The relativized pointclasses:§n(®); ¦n(®); ¢n(®) = §n(®) \ ¦n(®) S ² The boldface pointclasses: §1 = §1(®), etc. e n ® n Yiannis N. Moschovakis: The Normed Induction Theorem 4/16 Closure properties and !-parametrization 0 ² A function f : X ! ! is recursive if f(x; w) j f (x) = wg is §1 ² f : X !N is recursive if f (x) = ¸tg(x; t) with a recursive g ² f : X ! Y1 £ ¢ ¢ ¢ £ Yl is recursive if f (x) = (f1(x);:::; fl (x)) with recursive components f1;:::; fl ² The sequence-coding and projection functions are recursive i i i ? All §n; ¦n; ¢n are closed under recursive substitutions &; _ and bounded number quanti¯cation (9s · t); (8s · t) 0 0 §n is closed under (9s 2 !); ¦n is closed under (8s 2 !) 1 1 §n; ¦n are closed under (9s 2 !), (8s 2 !) 1 1 §n is closed under (9y 2 Y ); ¦n is closed under (8y 2 Y ) i i ² The pointclasses §n; ¦n are not closed under : ? ¡ is !-parametrized if for each X , there is a G ⊆ ! £ X in ¡ such that ¡¹X = fGe j G(e; x)g, where Ge (x) () G(e; x) 0 0 1 1 ² Theorem A.§n; ¦n; §n; ¦n are all !-parametrized Yiannis N. Moschovakis: The Normed Induction Theorem 5/16 The Borel pointsets ² B¹X = the smallest σ-algebra of subsets of X which includes §0 ¹X e 1 S ² Codes for Borel sets: B = » B», where by ordinal recursion, 0 ® 2 B» () ®(0) = 0 _ [®(0) 6= 0 & (8i)[(® )i 2 [´<»B´]] i.e., B is the least ¯xed point of the monotone operator 0 ©(S) = f® j ®(0) = 0 _ [®(0) 6= 0 & (8i)[(® )i 2 S]]g (S ⊆ N ) ² For each space X and each ® 2 B we de¯ne B(®) = BX (®) by an (easy) ordinal recursion, so that if ®(0) = 0; B(®) = fx 2 X j (9t)[®0(x; t) = 0]g; S 0 if ®(0) 6= 0; B(®) = i (X n B((® )i )) Basic (easy) fact. For each X , B¹X = fBX (®) j ® 2 Bg Yiannis N. Moschovakis: The Normed Induction Theorem 6/16 How complex are B and the operation ® 7! BX (®)? ² The explicit de¯nition of B = © gives no useful complexity bound 1 ² The inductive de¯nition of B = © gives (easily) that B is §2 1 Theorem 1. B is ¦1 Theorem 2. For each X , the relation MX (®; x; w) () ® 2 B ³ ´ & [w = 1 & x 2 BX (®)] _ [w = 0 & x 2= BX (®)] 1 X 1 is ¦1; and so each B (®) is uniformly ¢1(®) ² Theorem 2 is old (not trivial) but Theorem 1 had not been noticed ² Getting (easy) proofs of these was a motivation for this work Yiannis N. Moschovakis: The Normed Induction Theorem 7/16 Norms and the prewellordering property ² A norm on a pointset P ⊆ X is any function σ : P ! Ordinals and it is a ¡-norm if the following two relations on X £ X are in ¡: ³ ´ ¤ x ·σ y () P(x)& :P(y) _ σ(x) · σ(y) ³ ´ ¤ x <σ y () P(x)& :P(y) _ σ(x) < σ(y) ? A pointclass ¡ is normed (or has the prewellordering property) if every pointset in ¡ admits a ¡-norm 0 ² §1 is normed: if P(x) () (9t)R(x(t)), put σ(x) = ¹tR(x(t)) 1 1 ² ¦1 and §2 are normed |and various versions of this fact were used in the early 20th century to derive much of the structure theory for these pointclasses Yiannis N. Moschovakis: The Normed Induction Theorem 8/16 Normed pointclasses 0 0 ² §n is normed for every n (same proof as for §1) 1 ² If the Axiom of Costructibility holds, then every §n+1 is normed ² If the Axiom of Projective Determinacy holds, then 1 1 ¦2n+1 and §2n are normed for every n Fact: If ¡ is closed under recursive substitutions, !-parametrized and normed, then the dual pointclass :¡ is not normed This is proved by Kleene's construction of recursively inseparable disjoint r.e. sets and implies that the three results above identify all the arithmetical and analytical pointclasses which are normed, under either of the conflicting hypotheses of constructibility or projective determinacy ² There are many interesting pointclasses which are closed under recursive substitutions, !-parametrized and normed Yiannis N. Moschovakis: The Normed Induction Theorem 9/16 ? The main result ² Let ¡ be a pointclass. An operator © : P(X ) !P(X ) is ¡ on ¡, if for every relation P ⊆ Y £ X in ¡, the relation Q(x; y) () x 2 ©(fx0 j P(y; x0)g) is also in ¡. Theorem (The Normed Induction Theorem, ynm 1974) Suppose ¡ is closed under recursive substitutions, !-parametrized and normed: If © : P(X ) !P(X ) is monotone and ¡ on ¡, then © is in ¡ ² In most applications, the hypotheses are either known or trivial ² The theorem is proved by a simple 2nd Recursion Theorem argument ? Once you prove it, you almost never need to use again the 2nd Recursion Theorem in Descriptive Set Theory Yiannis N. Moschovakis: The Normed Induction Theorem 10/16 Borel sets and their codes The set B of Borel codes is the least ¯xed point of 0 ©(S) = f® j ®(0) = 0 _ [®(0) 6= 0 & (8i)[(® )i 2 S]]g (S ⊆ N ) 1 Theorem 1. B is ¦1 1 Proof. Since ¦1 is closed under recursive substitutions, 1 !-parametrized and normed, it is enough to prove that © is ¦1 on 1 1 ¦1, i.e., to verify that if P(y; ®) is ¦1 and 0 Q(®; y) () ®(0) = 0 _ [®(0) 6= 0 & (8i)P(y; (® )i )]; 1 then Q(®; y) is also ¦1; but this is obvious from the closure 1 properties of ¦1 ² The NIT gives an equally trivial proof of Theorem 2, that every 1 B(®) is ¢1(®), uniformly for ® 2 B ² The Suslin-Kleene Theorem. Every ¢1 pointset is uniformly Borel e 1 0 This can also be proved using NIT on §1, but not quite trivially Yiannis N. Moschovakis: The Normed Induction Theorem 11/16 The original motivation for the theorem ² ¡ is a Spector pointclass if it is !-parametrized, normed and closed under recursive substitutions, &; _; (9s 2 !) and (8s 2 !) 1 ² ¦1 is the smallest Spector pointclass 1 ² §2 is the smallest Spector pointclass closed under (9® 2 N ) ² The pointclass IND of all (positive, elementary) inductive pointsets is the smallest Spector pointclass closed under both (8® 2 N ) and (9® 2 N ) ² The pointclass Envelope(3E) of all sets Kleene-semirecursive in the type-3 object which embodies existential quanti¯er 3E over N is the smallest Spector pointclass which is closed under 3E ² A pointset is inductive if it is §1-de¯nable over the smallest admissible set which contains N ² Envelope(3E) is closed under (8® 2 N ), but it is not closed S 1 3 under (9® 2 N ), and so n §n ( Envelope( E) ( IND Yiannis N.
Recommended publications
  • Calibrating Determinacy Strength in Levels of the Borel Hierarchy
    CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY SHERWOOD J. HACHTMAN Abstract. We analyze the set-theoretic strength of determinacy for levels of the Borel 0 hierarchy of the form Σ1+α+3, for α < !1. Well-known results of H. Friedman and D.A. Martin have shown this determinacy to require α+1 iterations of the Power Set Axiom, but we ask what additional ambient set theory is strictly necessary. To this end, we isolate a family of Π1-reflection principles, Π1-RAPα, whose consistency strength corresponds 0 CK exactly to that of Σ1+α+3-Determinacy, for α < !1 . This yields a characterization of the levels of L by or at which winning strategies in these games must be constructed. When α = 0, we have the following concise result: the least θ so that all winning strategies 0 in Σ4 games belong to Lθ+1 is the least so that Lθ j= \P(!) exists + all wellfounded trees are ranked". x1. Introduction. Given a set A ⊆ !! of sequences of natural numbers, consider a game, G(A), where two players, I and II, take turns picking elements of a sequence hx0; x1; x2;::: i of naturals. Player I wins the game if the sequence obtained belongs to A; otherwise, II wins. For a collection Γ of subsets of !!, Γ determinacy, which we abbreviate Γ-DET, is the statement that for every A 2 Γ, one of the players has a winning strategy in G(A). It is a much-studied phenomenon that Γ -DET has mathematical strength: the bigger the pointclass Γ, the stronger the theory required to prove Γ -DET.
    [Show full text]
  • Effective Cardinals of Boldface Pointclasses
    EFFECTIVE CARDINALS OF BOLDFACE POINTCLASSES ALESSANDRO ANDRETTA, GREG HJORTH, AND ITAY NEEMAN Abstract. Assuming AD + DC(R), we characterize the self-dual boldface point- classes which are strictly larger (in terms of cardinality) than the pointclasses contained in them: these are exactly the clopen sets, the collections of all sets of ξ ξ Wadge rank ≤ ω1, and those of Wadge rank < ω1 when ξ is limit. 1. Introduction A boldface pointclass (for short: a pointclass) is a non-empty collection Γ of subsets of R such that Γ is closed under continuous pre-images and Γ 6= P(R). 0 0 0 Examples of pointclasses are the levels Σα, Πα, ∆α of the Borel hierarchy and the 1 1 1 levels Σn, Πn, ∆n of the projective hierarchy. In this paper we address the following Question 1. What is the cardinality of a pointclass? Assuming AC, the Axiom of Choice, Question 1 becomes trivial for all pointclasses Γ which admit a complete set. These pointclasses all have size 2ℵ0 under AC. On the other hand there is no obvious, natural way to associate, in a one-to-one way, 0 an open set (or for that matter: a closed set, or a real number) to any Σ2 set. This 0 0 suggests that in the realm of definable sets and functions already Σ1 and Σ2 may have different sizes. Indeed the second author in [Hjo98] and [Hjo02] showed that AD + V = L(R) actually implies 0 0 (a) 1 ≤ α < β < ω1 =⇒ |Σα| < |Σβ|, and 1 1 1 (b) |∆1| < |Σ1| < |Σ2| < .
    [Show full text]
  • The Envelope of a Pointclass Under a Local Determinacy Hypothesis
    THE ENVELOPE OF A POINTCLASS UNDER A LOCAL DETERMINACY HYPOTHESIS TREVOR M. WILSON Abstract. Given an inductive-like pointclass Γ and assuming the Ax- iom of Determinacy, Martin identified and analyzede the pointclass con- taining the norm relations of the next semiscale beyond Γ, if one exists. We show that much of Martin's analysis can be carriede out assuming only ZF + DCR + Det(∆Γ). This generalization requires arguments from Kechris{Woodin [10] ande e Martin [13]. The results of [10] and [13] can then be recovered as immediate corollaries of the general analysis. We also obtain a new proof of a theorem of Woodin on divergent models of AD+, as well as a new result regarding the derived model at an inde- structibly weakly compact limit of Woodin cardinals. Introduction Given an inductive-like pointclass Γ, Martin introduced a pointclass (which we call the envelope of Γ, following [22])e whose main feature is that it con- tains the prewellorderingse of the next scale (or semiscale) beyond Γ, if such a (semi)scale exists. This work was distributed as \Notes on the nexte Suslin cardinal," as cited in Jackson [3]. It is unpublished, so we use [3] as our reference instead for several of Martin's arguments. Martin's analysis used the assumption of the Axiom of Determinacy. We reformulate the notion of the envelope in such a way that many of its essen- tial properties can by derived without assuming AD. Instead we will work in the base theory ZF+DCR for the duration of the paper, stating determinacy hypotheses only when necessary.
    [Show full text]
  • The Realm of Ordinal Analysis
    The Realm of Ordinal Analysis Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Denn die Pioniere der Mathematik hatten sich von gewissen Grundlagen brauchbare Vorstellungen gemacht, aus denen sich Schl¨usse,Rechnungsarten, Resultate ergaben, deren bem¨achtigten sich die Physiker, um neue Ergebnisse zu erhalten, und endlich kamen die Techniker, nahmen oft bloß die Resultate, setzten neue Rechnungen darauf und es entstanden Maschinen. Und pl¨otzlich, nachdem alles in sch¨onste Existenz gebracht war, kamen die Mathematiker - jene, die ganz innen herumgr¨ubeln, - darauf, daß etwas in den Grundlagen der ganzen Sache absolut nicht in Ordnung zu bringen sei; tats¨achlich, sie sahen zuunterst nach und fanden, daß das ganze Geb¨audein der Luft stehe. Aber die Maschinen liefen! Man muß daraufhin annehmen, daß unser Dasein bleicher Spuk ist; wir leben es, aber eigentlich nur auf Grund eines Irrtums, ohne den es nicht entstanden w¨are. ROBERT MUSIL: Der mathematische Mensch (1913) 1 Introduction A central theme running through all the main areas of Mathematical Logic is the classification of sets, functions or theories, by means of transfinite hierarchies whose ordinal levels measure their ‘rank’ or ‘complexity’ in some sense appropriate to the underlying context. In Proof Theory this is manifest in the assignment of ‘proof the- oretic ordinals’ to theories, gauging their ‘consistency strength’ and ‘computational power’. Ordinal-theoretic proof theory came into existence in 1936, springing forth from Gentzen’s head in the course of his consistency proof of arithmetic. To put it roughly, ordinal analyses attach ordinals in a given representation system to formal theories.
    [Show full text]
  • Determinacy and Large Cardinals
    Determinacy and Large Cardinals Itay Neeman∗ Abstract. The principle of determinacy has been crucial to the study of definable sets of real numbers. This paper surveys some of the uses of determinacy, concentrating specifically on the connection between determinacy and large cardinals, and takes this connection further, to the level of games of length ω1. Mathematics Subject Classification (2000). 03E55; 03E60; 03E45; 03E15. Keywords. Determinacy, iteration trees, large cardinals, long games, Woodin cardinals. 1. Determinacy Let ωω denote the set of infinite sequences of natural numbers. For A ⊂ ωω let Gω(A) denote the length ω game with payoff A. The format of Gω(A) is displayed in Diagram 1. Two players, denoted I and II, alternate playing natural numbers forming together a sequence x = hx(n) | n < ωi in ωω called a run of the game. The run is won by player I if x ∈ A, and otherwise the run is won by player II. I x(0) x(2) ...... II x(1) x(3) ...... Diagram 1. The game Gω(A). A game is determined if one of the players has a winning strategy. The set A is ω determined if Gω(A) is determined. For Γ ⊂ P(ω ), det(Γ) denotes the statement that all sets in Γ are determined. Using the axiom of choice, or more specifically using a wellordering of the reals, it is easy to construct a non-determined set A. det(P(ωω)) is therefore false. On the other hand it has become clear through research over the years that det(Γ) is true if all the sets in Γ are definable by some concrete means.
    [Show full text]
  • Effective Descriptive Set Theory
    Effective Descriptive Set Theory Andrew Marks December 14, 2019 1 1 These notes introduce the effective (lightface) Borel, Σ1 and Π1 sets. This study uses ideas and tools from descriptive set theory and computability theory. Our central motivation is in applications of the effective theory to theorems of classical (boldface) descriptive set theory, especially techniques which have no classical analogues. These notes have many errors and are very incomplete. Some important topics not covered include: • The Harrington-Shore-Slaman theorem [HSS] which implies many of the theorems of Section 3. • Steel forcing (see [BD, N, Mo, St78]) • Nonstandard model arguments • Barwise compactness, Jensen's model existence theorem • α-recursion theory • Recent beautiful work of the \French School": Debs, Saint-Raymond, Lecompte, Louveau, etc. These notes are from a class I taught in spring 2019. Thanks to Adam Day, Thomas Gilton, Kirill Gura, Alexander Kastner, Alexander Kechris, Derek Levinson, Antonio Montalb´an,Dean Menezes and Riley Thornton, for helpful conversations and comments on earlier versions of these notes. 1 Contents 1 1 1 1 Characterizing Σ1, ∆1, and Π1 sets 4 1 1.1 Σn formulas, closure properties, and universal sets . .4 1.2 Boldface vs lightface sets and relativization . .5 1 1.3 Normal forms for Σ1 formulas . .5 1.4 Ranking trees and Spector boundedness . .7 1 1.5 ∆1 = effectively Borel . .9 1.6 Computable ordinals, hyperarithmetic sets . 11 1 1.7 ∆1 = hyperarithmetic . 14 x 1 1.8 The hyperjump, !1 , and the analogy between c.e. and Π1 .... 15 2 Basic tools 18 2.1 Existence proofs via completeness results .
    [Show full text]
  • A Classification of Projective-Like Hierarchies in L(R)
    A classification of projective-like hierarchies in L(R) Rachid Atmai Universit¨atWien Kurt G¨odelResearch Center W¨ahringerStraße 25 1090 Vienna [email protected] Steve Jackson Dept. of Mathematics General Academics Building 435 1155 Union Circle 311430 University of North Texas Denton, TX 76203-5017 [email protected] October 10, 2016 Abstract We provide a characterization of projective-like hierarchies in L(R) in the context of AD by combinatorial properties of their associated Wadge ordinal. In the second chapter we concentrate on the type III case of the analysis. In the last chapter, we provide a characterization of type IV projective-like hierarchies by their associated Wadge ordinal. 1 Introduction 1.1 Outline The paper is roughly organized as follows. We first review basic definitions of the abstract theory of pointclasses. In the second section we study the type III pointclasses and the clo- sure properties of the Steel pointclass generated by a projective algebra Λ in the case where cof(o(Λ)) > !. In particular we show that Steel's conjecture is false. This leads to isolat- ing a combinatorial property of the Wadge ordinal of the projective algebra generating the 1 Steel pointclass. This combinatorial property ensures closure of the Steel pointclass under dis- junctions. Therefore it is still possible to have κ regular, where κ is the Wadge ordinal for a projective algebra Λ generating the next Steel pointclass and yet the Steel pointclass is not closed under disjunction. In the third section, we look at the type IV projective-like hierarchies, that is the pointclass which starts the new hierarchy is closed under quantifiers.
    [Show full text]
  • Souslin Quasi-Orders and Bi-Embeddability of Uncountable
    Souslin quasi-orders and bi-embeddability of uncountable structures Alessandro Andretta Luca Motto Ros Author address: Universita` di Torino, Dipartimento di Matematica, Via Carlo Alberto, 10, 10123 Torino, Italy E-mail address: [email protected] Universita` di Torino, Dipartimento di Matematica, Via Carlo Alberto, 10, 10123 Torino, Italy E-mail address: [email protected] arXiv:1609.09292v2 [math.LO] 18 Mar 2019 Contents 1. Introduction 1 2. Preliminaries and notation 14 3. The generalized Cantor space 22 4. Generalized Borel sets 30 5. Generalized Borel functions 37 6. The generalized Baire space and Baire category 41 7. Standard Borel κ-spaces, κ-analyticquasi-orders,andspacesofcodes 47 8. Infinitary logics and models 55 9. κ-Souslin sets 65 10. The main construction 76 11. Completeness 85 12. Invariant universality 91 13. An alternative approach 106 14. Definable cardinality and reducibility 115 15. Some applications 126 16. Further completeness results 132 Indexes 147 Concepts 147 Symbols 148 Bibliography 151 iii Abstract We provide analogues of the results from [FMR11, CMMR13] (which correspond to the case κ = ω) for arbitrary κ-Souslin quasi-orders on any Polish space, for κ an infinite cardinal smaller than the cardinality of R. These generalizations yield a variety of results concerning the complexity of the embeddability relation between graphs or lattices of size κ, the isometric embeddability relation between complete metric spaces of density character κ, and the linear isometric embeddability relation between (real or complex) Banach spaces of density κ. Received by the editor March 19, 2019. 2010 Mathematics Subject Classification. 03E15, 03E60, 03E45, 03E10, 03E47.
    [Show full text]
  • Homogeneous Spaces and Wadge Theory
    Homogeneous spaces and Wadge theory Sandra M¨uller Universit¨atWien January 2019 joint work with Rapha¨elCarroy and Andrea Medini Arctic Set Theory Workshop 4 Sandra M¨uller (Universit¨atWien) Homogeneous spaces and Wadge theory January 2019 1 How I got interested in general topology Our main tool: Wadge theory The beauty of Hausdorff operations Putting everything together Open questions and future goals Sandra M¨uller (Universit¨atWien) Homogeneous spaces and Wadge theory January 2019 2 How I got interested in general topology Our main tool: Wadge theory The beauty of Hausdorff operations Putting everything together Open questions and future goals Sandra M¨uller (Universit¨atWien) Homogeneous spaces and Wadge theory January 2019 3 X X h x y ! Examples of homogeneous spaces: all discrete spaces, Q, 2 , ! ! ≈ R n Q, all topological groups. We will focus on zero-dimensional homogeneous spaces, i.e. topological spaces which have a base of clopen sets. Fact X is a locally compact zero-dimensional homogeneous space iff X is discrete, X ≈ 2!, or X ≈ ! × 2!. We will therefore focus on non-locally compact (equivalently, nowhere compact) zero-dimensional homogeneous spaces. Homogeneous spaces All our topological spaces will be separable and metrizable. A homeomorphism between two spaces X and Y is a bijective continuous function f such that the inverse f −1 is continuous as well. Definition A space X is homogeneous if for every x; y 2 X there exists a homeomorphism h: X ! X such that h(x) = y. Sandra M¨uller (Universit¨atWien) Homogeneous spaces and Wadge theory January 2019 4 ! Examples of homogeneous spaces: all discrete spaces, Q, 2 , ! ! ≈ R n Q, all topological groups.
    [Show full text]
  • Structural Dichotomy Theorems in Descriptive Set Theory
    Structural dichotomy theorems in descriptive set theory Benjamin Miller Universit¨atWien Winter Semester, 2019 Introduction The goal of these notes is to provide a succinct introduction to the primary structural dichotomy theorems of descriptive set theory. The only prerequisites are a rudimentary knowledge of point-set topology and set theory. Working in the base theory ZF + DC, we first discuss trees, the corresponding representations of closed, Borel, and Souslin sets, and Baire category. We then consider consequences of the open dihypergraph dichotomy and variants of the G0 dichotomy. While pri- marily focused upon Borel structures, we also note that minimal modi- fications of our arguments can be combined with well-known structural consequences of determinacy (which we take as a black box) to yield generalizations into the projective hierarchy and beyond. iii Contents Introduction iii Chapter 1. Preliminaries 1 1. Closed sets 1 2. Ranks 2 3. Borel sets 3 4. Souslin sets 4 5. Baire category 9 6. Canonical objects 13 Chapter 2. The box-open dihypergraph dichotomy 27 1. Colorings of box-open dihypergraphs 27 2. Partial compactifications 31 3. Separation by unions of closed hyperrectangles 34 Chapter 3. The G0 dichotomy, I: Abstract colorings 39 1. Colorings within cliques 39 2. Discrete perfect sets within cliques 42 3. Scrambled sets 45 Chapter 4. The G0 dichotomy, II: Borel colorings 49 1. Borel colorings 49 2. Index two subequivalence relations 52 3. Perfect antichains 54 4. Parametrization and uniformization 56 Chapter 5. The (G0; H0) dichotomy 61 1. Borel local colorings 61 2. Linearizability of quasi-orders 67 Bibliography 71 Index 73 v CHAPTER 1 Preliminaries 1.
    [Show full text]
  • Incompatible Ω-Complete Theories∗
    Incompatible Ω-Complete Theories∗ Peter Koellner and W. Hugh Woodin July 25, 2009 Abstract In 1985 the second author showed that if there is a proper class of mea- surable Woodin cardinals and V B1 and V B2 are generic extensions of V B1 B2 2 satisfying CH then V and V agree on all Σ1-statements. In terms of the strong logic Ω-logic this can be reformulated by saying that un- der the above large cardinal assumption ZFC + CH is Ω-complete for 2 2 Σ1. Moreover, CH is the unique Σ1-statement with this feature in the 2 sense that any other Σ1-statement with this feature is Ω-equivalent to CH over ZFC. It is natural to look for other strengthenings of ZFC that have an even greater degree of Ω-completeness. For example, one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for all of third-order arithmetic. Going further, for each specifiable segment Vλ of the uni- verse of sets (for example, one might take Vλ to be the least level that satisfies there is a proper class of huge cardinals), one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for the theory of Vλ. If such theories exist, extend one another, and are unique in the sense that any other such theory B with the same level of Ω-completeness as A is actually Ω-equivalent to A over ZFC, then this would show that there is a unique Ω-complete picture of the successive fragments of the universe of sets and it would make for a very strong case for axioms comple- menting large cardinal axioms.
    [Show full text]
  • AN Ω-LOGIC PRIMER Introduction One Family of Results in Modern Set
    AN ­-LOGIC PRIMER JOAN BAGARIA, NEUS CASTELLS, AND PAUL LARSON Abstract. In [12], Hugh Woodin introduced ­-logic, an approach to truth in the universe of sets inspired by recent work in large cardinals. Expository accounts of ­-logic appear in [13, 14, 1, 15, 16, 17]. In this paper we present proofs of some elementary facts about ­-logic, relative to the published literature, leading up to the generic invariance of ­- logic and the ­-conjecture. Introduction One family of results in modern set theory, called absoluteness results, shows that the existence of certain large cardinals implies that the truth values of certain sentences cannot be changed by forcing1. Another family of results shows that large cardinals imply that certain de¯nable sets of reals satisfy certain regularity properties, which in turn implies the existence of models satisfying other large cardinal properties. Results of the ¯rst type suggest a logic in which statements are said to be valid if they hold in every forcing extension. With some technical modi¯cations, this is Woodin's ­- logic, which ¯rst appeared in [12]. Results of the second type suggest that there should be a sort of internal characterization of validity in ­-logic. Woodin has proposed such a characterization, and the conjecture that it succeeds is called the ­-conjecture. Several expository papers on ­-logic and the ­-conjecture have been published [1, 13, 14, 15, 16, 17]. Here we briefly discuss the technical background of ­-logic, and prove some of the basic theorems in this area. This paper assumes a basic knowledge of Set Theory, including con- structibility and forcing.
    [Show full text]