# Research Statement. 1. Introduction. 2. Background Cardinal Characteristics. Dan Hathaway Department of Mathematics University of Michigan

Save this PDF as:

Size: px
Start display at page:

Download "Research Statement. 1. Introduction. 2. Background Cardinal Characteristics. Dan Hathaway Department of Mathematics University of Michigan"

## Transcription

1 Research Statement Dan Hathaway Department of Mathematics University of Michigan 1. Introduction My research is in set theory. The central theme of my work is to combine ideas from descriptive set theory and the study of cardinal characteristics. I will describe both of these areas. Then, I will describe how my research relates to both areas. ω is the set of natural numbers, ω ω is the set of functions from ω to ω, ω 1 is the first uncountable cardinal (the set of all countable ordinals), and 2 ω is the cardinality of the set R of real numbers. 2. Background 2.1. Cardinal Characteristics There are two main purposes of the theory of cardinal characteristics (of the continuum, for example). The first is to serve as an interface between mathematicians who study objects whose behavior depends on additional set theoretic assumptions beyond ZFC, and set theorists who determine the status of and relationship between axioms. A mathematician can easily master the language of cardinal characteristics without needing to learn any of the technical set theoretic constructions (such as forcing). He then can derive results from assumptions beyond ZFC that are close to (and in some cases exactly) optimal. By doing this, he maximizes the utility of his results, and he reduces his problem to the precise set theoretic issues that are relevant. Let me mention three cardinals, which appear in the theory, to refer to later. The cardinal add(l) is the smallest number of Lebesgue measure zero subsets of R whose union is not Lebesgue measure zero. The cardinal d is the smallest size of a family F of functions from ω to ω such that for each function g : ω ω there is some f F satisfying ( n ω) g(n) f(n). The cardinal b is the smallest size of a family F of functions from ω to ω such that for each function g : ω ω there is some f F satisfying ( n ω)( m n) g(m) f(m). It turns out that ω 1 add(l) b d 2 ω. The fact that add(l) b is not obvious. Let us give a specific example. One can construct, assuming CH (the Continuum Hypothesis), a simple C -algebra with finite nuclear dimension which is non Z-stable (see [5]). This, however, is not useful to another mathematician who is working under a contradictory set theoretic assumption, such as MA + CH (Martin s Axiom and the negation of CH). However, a result which follows from CH often follows from a weaker statement about cardinal characteristics. In our example, the existence of the C -algebra follows from the assumption b = 2 ω, which in turn follows from MA. Now the mathematician working under MA + CH can use the result. For one who believes in the truth of these statements, while it is not at all clear whether CH is true, b = 2 ω is more believable. At one time, Gödel believed that ω 1 < b = 2 ω. In general, the relationships between set theoretic axioms are very complicated and difficult to master. However, cardinal characteristics provide a great organization tool, and the key relationships between the cardinals can be encoded into diagrams which require almost no background knowledge to understand. This framework will help bridge the gap between foundational questions at the heart of set theory, and more mainstream mathematical questions sensitive to set theoretic assumptions. The second purpose of the theory of cardinal characteristics is to discover hidden structure (of the continuum and more complicated structures). For example, the inequality add(l) b between the cardinal numbers add(l) and b is merely the consequence of there existing a one-way Galois

3 Dan Hathaway page 3 of 5 The more technical version of this theorem is stating that there is a one-way Galois connection between two relations. Namely, the relation associated to d is above the inclusion ordering on W. We may represent this using a diagram as follows: ω ω ω ω W W, which is shorthand for saying there exist φ : W ω ω and φ + : ω ω W satisfying ( T W)( g ω ω) φ (T ) f T φ + (f). The partially ordered set described in the theorem is closely connected to the set of continuous functions from Baire space ω ω to N ordered by everywhere domination. When we then look instead at the set B 1 of Baire class one functions (which are not necessarily continuous but which are the pointwise limits of the sequences of continuous functions), we get a completely different situation. Namely, if we let A c B denote that the set A ω is constructible from B ω (a notion that generalizes computable in a natural way), then we have the following: B 1 P(ω) c B 1 P(ω). Hence, the transition from continuous to Baire class one causes a phase transition of the associated relations from relatively simple to extremely complicated. Here is a specific version of the result (see [7]): Theorem 3.2. For each A ω, there is a Baire class one function f : R ω such that if g : R ω is any function satisfying ( x R) f(x) g(x), then A is 1 1 definable using g as a predicate. The method of proof for this theorem is quite powerful, and I have used it to prove seemingly unrelated results. For example, I have discovered a new proof that if λ and κ are cardinals satisfying λ κ = λ, then the cofinality of the set of functions from λ to κ ordered by everywhere domination is 2 λ (see [6]). The old proof used independent families of functions. The following is a direct consequence of one of my underlying lemmas. We use the notion of weak distributivity as defined in [9]. Theorem 3.3. Let λ be an infinite cardinal. distributive, then it is (λ, 2)-distributive. If a complete Boolean algebra is weakly (λ ω, ω)- There is a priori no reason to expect the above theorem to be true. It came as a complete surprise and was discovered by accident. It uses the fact that the well-foundedness of trees is absolute. The theorem does not hold when we replace ω with ω 1 even if we take λ = ω 1 and require the Boolean algebra to be (ω, 2)-distributive. This is because of the (consistent) existence of a Suslin algebra. Pushing the technique further, we get a family of results which sound interesting in their own right, such as the following which uses a (small) large cardinal: Theorem 3.4. Let κ be a weakly compact cardinal. If a complete Boolean algebra is weakly (2 κ, κ)- distributive and is (α, 2)-distributive for all α < κ, then it is (κ, 2)-distributive.

4 Dan Hathaway page 4 of 5 The diversity of these results suggests there are further applications of the method of proof. A structure which occurs in descriptive set theory (specifically, the study of Borel equivalence relations [3]) is the set F of all Borel functions from ω ω to ω ω ordered by pointwise eventual domination. I have been studying the combinatorics of this object from the point of view of cardinal characteristics. In this direction, I have computed the cofinality of this poset by constructing a one-way Galois connection to the constructibility relation on P(ω): F F P(ω) c P(ω). It is easy to describe the Galois connection, but proving that it worked turned out to be highly non-trivial. This is atypical. The following is a version of the result, where the notion of one set of natural numbers being 1 2 in another is a strengthening of constructibility: Theorem 3.5. For each A ω, there is a Baire class one function f : R ω ω such that if g : R ω ω is a Borel function satisfying then A is 1 2 in any Borel code for g. ( r R)( c ω) f(r, c) g(r, c), Corollary 3.1. The poset F, has cofinality 2 ω and has an unbounded chain of length ω 1. I conjecture that the theorem still holds even if we do not require g to be Borel, at the expense of replacing the family of sets 1 2 in a Borel code for g with some other appropriate (countable) family of sets defined from g. The proof of this theorem works by proving a strong statement inductively on the Baire hierarchy. The theorem does not use any determinacy, which poses a challenge for extending the result beyond the Borel functions. It is possible that the conjecture will depend on axioms beyond ZFC. The proof of the theorem above actually shows a more general result. Let R ω ω ω ω be such that there is a continuous function c : ω ω ω ω such that for all y ω ω, c(y)ry. Almost all binary relations R occuring in the theory of cardinal characteristics have this property. For example, R could be a prewellordering of ω ω. Then, with respect to R, functions from ω ω to ω ω can be regarded as functions from ω ω to an ordinal. The following holds: Theorem 3.6. For each A ω, there is a Baire class one function f : ω ω ω ω such that whenever g : ω ω ω ω is a Borel function satisfying ( x ω ω) f(x)rg(x), then A is 1 2 in any code for g. Many of my results involve constructing a one-way Galois connection from a combinatorial structure to a poset which occurs in recursion theory. For example, Theorem 3.2 and Theorem 3.5 are of this form. This is reminiscent of [10] and [11] where it is shown that for each hyperarithmetical set of natural numbers A, there is a function f : ω ω such that if a function g : ω ω everywhere dominates f, then A is computable from g. This suggests a general program: find those combinatorial relations for which there exists a one-way Galois connection to a poset studied in recursion theory. I hope to develop this program, looking for combinatorial relations from descriptive set theory Additional Work In addition to the main work mentioned above, I am interested in a broad range of problems and have worked on various projects. In [5], my contribution was discovering an alternate characterization of the cardinal b which was suitable for the problem. In [8], Scott Schneider and I proved a combinatorial result which was an infinitary matching problem.

5 Dan Hathaway page 5 of 5 I am also interested in how strong axioms impact the existence or non-existence of one-way Galois connections. For example, using an immediate generalization of an argument in [1], if we assume that first-order formulas quantified over L(R) with real parameters and preserved by set sized forcing, then there cannot be unwanted one-way Galois connections in L(R). Perhaps the hypothesis can be weakened to AD L(R). Also, I am interested in the theory of Boolean ultrapowers. In the same way that there are qualitatively different ultrapowers of the standard model of arithmetic, there may be interesting differences between ill-founded Boolean ultrapowers of V arising from different forcings. References [1] Andreas Blass. Combinatorial Cardinal Characteristics of the Continuum. In M. Foreman and A. Kanamori, editors, Handbook of Set Theory Volume 1. Springer, New York, NY, [2] Andreas Blass. Needed Reals and Recursion in Generic Reals. Ann. Pure Appl. Logic 109 (2001), no. 1-2, [3] Charles Boykin and Steve Jackson. Borel Boundedness and the Lattice Rounding Property. Advances in Logic, colume 425 of Contemp. Math., pages Amer. Math Soc., Procidence, RI, [4] Samuel Coskey and Scott Schneider. Borel Cardinal Invariant Properties of Countable Borel Equivalence Relations. - in preparation. [5] Ilijas Farah, Dan Hathaway, Takeshi Katsura, and Aaron Tikuisis. A Simple C -algebra with Finite Nuclear Dimension which is Not Z-stable. To appear in Münster Journal of Mathematics. [6] Dan Hathaway. A Lower Bound for Generalized Dominating Numbers. - to be submitted for journal publication. [7] Dan Hathaway. Reducing Constructibility to Everywhere Not Domination of Borel Functions. - to be submitted for journal publication. [8] Dan Hathaway, Scott Schneider. Combinatorics of Reductions Between Equivalence Relations. In preparation. [9] Thomas Jech. Set Theory, The Third Millennium Edition, Revised and Expanded. Springer, New York, NY, [10] Carl Jockusch Jr. Uniformly introreducible sets. J. Symbolic Logic 33 (1968), [11] Robert Solovay. Hyperarithmetically encodable sets. Trans. Amer. Math. Soc. 239 (1978)

### Recursion Theory in Set Theory

Contemporary Mathematics Recursion Theory in Set Theory Theodore A. Slaman 1. Introduction Our goal is to convince the reader that recursion theoretic knowledge and experience can be successfully applied

### Continuous tree-like scales

Carnegie Mellon University Research Showcase @ CMU Department of Mathematical Sciences Mellon College of Science 4-2010 Continuous tree-like scales James Cummings Carnegie Mellon University, jcumming@andrew.cmu.edu

### There is no degree invariant half-jump

There is no degree invariant half-jump Rod Downey Mathematics Department Victoria University of Wellington P O Box 600 Wellington New Zealand Richard A. Shore Mathematics Department Cornell University

### SOME USES OF SET THEORY IN ALGEBRA. Stanford Logic Seminar February 10, 2009

SOME USES OF SET THEORY IN ALGEBRA Stanford Logic Seminar February 10, 2009 Plan I. The Whitehead Problem early history II. Compactness and Incompactness III. Deconstruction P. Eklof and A. Mekler, Almost

### 13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcs-ftl 2010/9/8 0:40 page 379 #385

mcs-ftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite

### Introduction to Modern Set Theory

Introduction to Modern Set Theory Judith Roitman December 6, 2011 1 for my father, who loved mathematics 1 Revised Edition Copyright 2011 by Judith Roitman, This book is licensed for use under a Creative

### This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but

### Second order logic, set theory and foundations of mathematics

Second order logic, set theory and foundations of mathematics Jouko Väänänen Department of Mathematics and Statistics University of Helsinki and Institute for Logic, Language and Computation University

### arxiv:math/0510680v3 [math.gn] 31 Oct 2010

arxiv:math/0510680v3 [math.gn] 31 Oct 2010 MENGER S COVERING PROPERTY AND GROUPWISE DENSITY BOAZ TSABAN AND LYUBOMYR ZDOMSKYY Abstract. We establish a surprising connection between Menger s classical covering

### The Power Set Function

The Power Set Function Moti Gitik School of Mathematical Sciences Tel Aviv University Tel Aviv, Israel e-mail: gitik@post.tau.ac.il Abstract We survey old and recent results on the problem of finding a

### COFINAL MAXIMAL CHAINS IN THE TURING DEGREES

COFINA MAXIMA CHAINS IN THE TURING DEGREES WEI WANG, IUZHEN WU, AND IANG YU Abstract. Assuming ZF C, we prove that CH holds if and only if there exists a cofinal maximal chain of order type ω 1 in the

### Global Properties of the Turing Degrees and the Turing Jump

Global Properties of the Turing Degrees and the Turing Jump Theodore A. Slaman Department of Mathematics University of California, Berkeley Berkeley, CA 94720-3840, USA slaman@math.berkeley.edu Abstract

### THE SEARCH FOR NATURAL DEFINABILITY IN THE TURING DEGREES

THE SEARCH FOR NATURAL DEFINABILITY IN THE TURING DEGREES ANDREW E.M. LEWIS 1. Introduction This will be a course on the Turing degrees. We shall assume very little background knowledge: familiarity with

### F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

### MODELS OF SET THEORY

MODELS OF SET THEORY STEFAN GESCHKE Contents 1. First order logic and the axioms of set theory 2 1.1. Syntax 2 1.2. Semantics 2 1.3. Completeness, compactness and consistency 3 1.4. Foundations of mathematics

### An example of a computable

An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

### The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit

The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),

### Math212a1010 Lebesgue measure.

Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.

### x < y iff x < y, or x and y are incomparable and x χ(x,y) < y χ(x,y).

12. Large cardinals The study, or use, of large cardinals is one of the most active areas of research in set theory currently. There are many provably different kinds of large cardinals whose descriptions

### 3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

### 4 Domain Relational Calculus

4 Domain Relational Calculus We now present two relational calculi that we will compare to RA. First, what is the difference between an algebra and a calculus? The usual story is that the algebra RA is

### INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

### Mikołaj Krupski. Regularity properties of measures on compact spaces. Instytut Matematyczny PAN. Praca semestralna nr 1 (semestr zimowy 2010/11)

Mikołaj Krupski Instytut Matematyczny PAN Regularity properties of measures on compact spaces Praca semestralna nr 1 (semestr zimowy 2010/11) Opiekun pracy: Grzegorz Plebanek Regularity properties of measures

### THE DEGREES OF BI-HYPERHYPERIMMUNE SETS

THE DEGREES OF BI-HYPERHYPERIMMUNE SETS URI ANDREWS, PETER GERDES, AND JOSEPH S. MILLER Abstract. We study the degrees of bi-hyperhyperimmune (bi-hhi) sets. Our main result characterizes these degrees

### Degrees that are not degrees of categoricity

Degrees that are not degrees of categoricity Bernard A. Anderson Department of Mathematics and Physical Sciences Gordon State College banderson@gordonstate.edu www.gordonstate.edu/faculty/banderson Barbara

### Our goal first will be to define a product measure on A 1 A 2.

1. Tensor product of measures and Fubini theorem. Let (A j, Ω j, µ j ), j = 1, 2, be two measure spaces. Recall that the new σ -algebra A 1 A 2 with the unit element is the σ -algebra generated by the

### No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

### REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).

### Turing Degrees and Definability of the Jump. Theodore A. Slaman. University of California, Berkeley. CJuly, 2005

Turing Degrees and Definability of the Jump Theodore A. Slaman University of California, Berkeley CJuly, 2005 Outline Lecture 1 Forcing in arithmetic Coding and decoding theorems Automorphisms of countable

### THE UNIQUENESS OF HAAR MEASURE AND SET THEORY

C O L L O Q U I U M M A T H E M A T I C U M VOL. 74 1997 NO. 1 THE UNIQUENESS OF HAAR MEASURE AND SET THEORY BY PIOTR Z A K R Z E W S K I (WARSZAWA) Let G be a group of homeomorphisms of a nondiscrete,

### INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

### Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

### THE TURING DEGREES AND THEIR LACK OF LINEAR ORDER

THE TURING DEGREES AND THEIR LACK OF LINEAR ORDER JASPER DEANTONIO Abstract. This paper is a study of the Turing Degrees, which are levels of incomputability naturally arising from sets of natural numbers.

### GENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH

GENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH Abstract. We produce a model of ZFC in which there are no locally compact first countable S spaces, and in which 2 ℵ 0 < 2 ℵ 1. A

### DEGREES OF CATEGORICITY AND THE HYPERARITHMETIC HIERARCHY

DEGREES OF CATEGORICITY AND THE HYPERARITHMETIC HIERARCHY BARBARA F. CSIMA, JOHANNA N. Y. FRANKLIN, AND RICHARD A. SHORE Abstract. We study arithmetic and hyperarithmetic degrees of categoricity. We extend

### o-minimality and Uniformity in n 1 Graphs

o-minimality and Uniformity in n 1 Graphs Reid Dale July 10, 2013 Contents 1 Introduction 2 2 Languages and Structures 2 3 Definability and Tame Geometry 4 4 Applications to n 1 Graphs 6 5 Further Directions

### Mathematics for Computer Science

Mathematics for Computer Science Lecture 2: Functions and equinumerous sets Areces, Blackburn and Figueira TALARIS team INRIA Nancy Grand Est Contact: patrick.blackburn@loria.fr Course website: http://www.loria.fr/~blackbur/courses/math

### This chapter is all about cardinality of sets. At first this looks like a

CHAPTER Cardinality of Sets This chapter is all about cardinality of sets At first this looks like a very simple concept To find the cardinality of a set, just count its elements If A = { a, b, c, d },

### On strong fairness in UNITY

On strong fairness in UNITY H.P.Gumm, D.Zhukov Fachbereich Mathematik und Informatik Philipps Universität Marburg {gumm,shukov}@mathematik.uni-marburg.de Abstract. In [6] Tsay and Bagrodia present a correct

### FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure

### x if x 0, x if x < 0.

Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

### WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

### Ri and. i=1. S i N. and. R R i

The subset R of R n is a closed rectangle if there are n non-empty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an

### A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES

A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES THEODORE A. SLAMAN AND ANDREA SORBI Abstract. We show that no nontrivial principal ideal of the enumeration degrees is linearly ordered: In fact, below

### MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

### Embeddability and Decidability in the Turing Degrees

ASL Summer Meeting Logic Colloquium 06. Embeddability and Decidability in the Turing Degrees Antonio Montalbán. University of Chicago Nijmegen, Netherlands, 27 July- 2 Aug. of 2006 1 Jump upper semilattice

### The Lebesgue Measure and Integral

The Lebesgue Measure and Integral Mike Klaas April 12, 2003 Introduction The Riemann integral, defined as the limit of upper and lower sums, is the first example of an integral, and still holds the honour

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

### MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete

### OHJ-2306 Introduction to Theoretical Computer Science, Fall 2012 8.11.2012

276 The P vs. NP problem is a major unsolved problem in computer science It is one of the seven Millennium Prize Problems selected by the Clay Mathematics Institute to carry a \$ 1,000,000 prize for the

### 1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

### A Stronger Form of the Van den Berg-Kesten Inequality

A Stronger Form of the Van den Berg-Kesten Inequality Peter Winkler March 4, 2010 Abstract Let Q n := {0,1} n be the discrete hypercube with uniform probability distribution, and let A and B be two up-events

### A BASIS THEOREM FOR Π 0 1 CLASSES OF POSITIVE MEASURE AND JUMP INVERSION FOR RANDOM REALS ROD DOWNEY AND JOSEPH S. MILLER

A BASIS THEOREM FOR Π 0 1 CLASSES OF POSITIVE MEASURE AND JUMP INVERSION FOR RANDOM REALS ROD DOWNEY AND JOSEPH S. MILLER Abstract. We extend the Shoenfield jump inversion theorem to the members of any

### Expressive powver of logical languages

July 18, 2012 Expressive power distinguishability The expressive power of any language can be measured through its power of distinction or equivalently, by the situations it considers indistinguishable.

### MATHEMATICS IN RELATIVE SET THEORY Karel Hrbacek Department of Mathematics The City College of CUNY New York, NY 10031 July 31, 2009

MATHEMATICS IN RELATIVE SET THEORY Karel Hrbacek Department of Mathematics The City College of CUNY New York, NY 10031 July 31, 2009 1 2 Non-archimedean fields present a serious obstacle for attempts to

### Low upper bound of ideals, coding into rich Π 0 1 classes

Low upper bound of ideals, coding into rich Π 0 1 classes Antonín Kučera the main part is a joint project with T. Slaman Charles University, Prague September 2007, Chicago The main result There is a low

### P (A) = lim P (A) = N(A)/N,

1.1 Probability, Relative Frequency and Classical Definition. Probability is the study of random or non-deterministic experiments. Suppose an experiment can be repeated any number of times, so that we

### A NEW CONDENSATION PRINCIPLE

A NEW CONDENSATION PRINCIPLE THORALF RÄSCH AND RALF SCHINDLER Abstract. We generalize (A), which was introduced in [Sch ], to larger cardinals. For a regular cardinal κ > ℵ 0 we denote by κ (A) the statement

### Finite Projective demorgan Algebras. honoring Jorge Martínez

Finite Projective demorgan Algebras Simone Bova Vanderbilt University (Nashville TN, USA) joint work with Leonardo Cabrer March 11-13, 2011 Vanderbilt University (Nashville TN, USA) honoring Jorge Martínez

### Conjectures and Questions from Gerald Sacks s Degrees of Unsolvability

Conjectures and Questions from Gerald Sacks s Degrees of Unsolvability Richard A. Shore Department of Mathematics Cornell University Ithaca NY 14853 Abstract We describe the important role that the conjectures

### Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras

Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture No. # 31 Recursive Sets, Recursively Innumerable Sets, Encoding

### Extension of measure

1 Extension of measure Sayan Mukherjee Dynkin s π λ theorem We will soon need to define probability measures on infinite and possible uncountable sets, like the power set of the naturals. This is hard.

### Problems on Discrete Mathematics 1

Problems on Discrete Mathematics 1 Chung-Chih Li 2 Kishan Mehrotra 3 Syracuse University, New York L A TEX at January 11, 2007 (Part I) 1 No part of this book can be reproduced without permission from

### We give a basic overview of the mathematical background required for this course.

1 Background We give a basic overview of the mathematical background required for this course. 1.1 Set Theory We introduce some concepts from naive set theory (as opposed to axiomatic set theory). The

### MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich

MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites

### Mathematical Induction

Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How

### Deterministic Finite Automata

1 Deterministic Finite Automata Definition: A deterministic finite automaton (DFA) consists of 1. a finite set of states (often denoted Q) 2. a finite set Σ of symbols (alphabet) 3. a transition function

### Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note 11

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note Conditional Probability A pharmaceutical company is marketing a new test for a certain medical condition. According

### CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

### Finite dimensional topological vector spaces

Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

### FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

### Cartesian Products and Relations

Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special

### Consistency, completeness of undecidable preposition of Principia Mathematica. Tanmay Jaipurkar

Consistency, completeness of undecidable preposition of Principia Mathematica Tanmay Jaipurkar October 21, 2013 Abstract The fallowing paper discusses the inconsistency and undecidable preposition of Principia

### POWER SETS AND RELATIONS

POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty

### A Beginner s Guide to Modern Set Theory

A Beginner s Guide to Modern Set Theory Martin Dowd Product of Hyperon Software PO Box 4161 Costa Mesa, CA 92628 www.hyperonsoft.com Copyright c 2010 by Martin Dowd 1. Introduction..... 1 2. Formal logic......

### 2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.

2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then

### CHAPTER 5. Product Measures

54 CHAPTER 5 Product Measures Given two measure spaces, we may construct a natural measure on their Cartesian product; the prototype is the construction of Lebesgue measure on R 2 as the product of Lebesgue

### Full and Complete Binary Trees

Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full

### Regular Expressions with Nested Levels of Back Referencing Form a Hierarchy

Regular Expressions with Nested Levels of Back Referencing Form a Hierarchy Kim S. Larsen Odense University Abstract For many years, regular expressions with back referencing have been used in a variety

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### Applications of Methods of Proof

CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The set-theoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are

### Set theory as a foundation for mathematics

V I I I : Set theory as a foundation for mathematics This material is basically supplementary, and it was not covered in the course. In the first section we discuss the basic axioms of set theory and the

### CONTRIBUTIONS TO ZERO SUM PROBLEMS

CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg

### Induction. Margaret M. Fleck. 10 October These notes cover mathematical induction and recursive definition

Induction Margaret M. Fleck 10 October 011 These notes cover mathematical induction and recursive definition 1 Introduction to induction At the start of the term, we saw the following formula for computing

### Metric Spaces. Chapter 1

Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

### A SURVEY OF RESULTS ON THE D.C.E. AND n-c.e. DEGREES

A SURVEY OF RESULTS ON THE D.C.E. AND n-c.e. DEGREES STEFFEN LEMPP 1. Early history This paper gives a brief survey of work on the d.c.e. and n-c.e. degrees done over the past fifty years, with particular

### AN INTRODUCTION TO SET THEORY. Professor William A. R. Weiss

AN INTRODUCTION TO SET THEORY Professor William A. R. Weiss October 2, 2008 2 Contents 0 Introduction 7 1 LOST 11 2 FOUND 19 3 The Axioms of Set Theory 23 4 The Natural Numbers 31 5 The Ordinal Numbers

### SET-THEORETIC CONSTRUCTIONS OF TWO-POINT SETS

SET-THEORETIC CONSTRUCTIONS OF TWO-POINT SETS BEN CHAD AND ROBIN KNIGHT AND ROLF SUABEDISSEN Abstract. A two-point set is a subset of the plane which meets every line in exactly two points. By working

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### Regular Languages and Finite Automata

Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University Sep 16, 2010 In 1943, McCulloch and Pitts [4] published a pioneering work on a

### So let us begin our quest to find the holy grail of real analysis.

1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

### Duality of linear conic problems

Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

### R u t c o r Research R e p o r t. Boolean functions with a simple certificate for CNF complexity. Ondřej Čepeka Petr Kučera b Petr Savický c

R u t c o r Research R e p o r t Boolean functions with a simple certificate for CNF complexity Ondřej Čepeka Petr Kučera b Petr Savický c RRR 2-2010, January 24, 2010 RUTCOR Rutgers Center for Operations

### s-convexity, model sets and their relation

s-convexity, model sets and their relation Zuzana Masáková Jiří Patera Edita Pelantová CRM-2639 November 1999 Department of Mathematics, Faculty of Nuclear Science and Physical Engineering, Czech Technical

### Separation Properties for Locally Convex Cones

Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

### ZERO-DIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS

ZERO-DIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We

### CODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES

CODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES PAUL SHAFER Abstract. We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik degrees, and the third-order