Mathematics 580: Topics in Set Theory: Combinatorial Set Theory.

Section 1.
Instructor: Andres Caicedo. Time: MWF 3:40-4:30 pm. Place: Education building, Room 330. Office Hours: By appointment. See this page for details.

We will cover diverse topics in combinatorial set theory, depending on time and the interests of the audience, including partition calculus (a generalization of Ramsey theory), cardinal arithmetic, and infinite trees. Time permitting, we can also cover large cardinals, determinacy and infinite games, or cardinal invariants (the study of sizes of sets of reals), among others. I’m open to suggestions for topics.

Recommended background: Knowledge of cardinals and ordinals. A basic course on set theory (like 502: Logic and Set Theory) would be ideal but is not required.

Textbook: There is no official textbook. The following suggested references may be useful, but are not required:

Set theory. By T. Jech. Springer (2006), ISBN-10: 3540440852 ISBN-13: 978-3540440857

Set theory. An introduction to independence proofs. By K. Kunen. North Holland (1983), ISBN-10: 0444868399 ISBN-13: 978-0444868398

Set theory for the working mathematician. By K. Ciesielski. Cambridge U. Press (1997), ISBN-10: 0521594650 ISBN-13: 978-0521594653

Set theory. By A. Hajnal and P. Hamburger. Cambridge U. Press (1999), ISBN-10: 052159667X ISBN-13: 978-0521596671

Discovering modern set theory. By W. Just and M. Weese. Vol I. AMS (1995), ISBN-10: 0821802666 ISBN-13: 978-0821802663. Vol II. AMS (1997), ISBN-10: 0821805282 ISBN-13: 978-0821805282

Problems and theorems in classical set theory. By P. Komjath and V. Totik. Springer (2006), ISBN-10: 038730293X ISBN-13: 978-0387302935

Notes on set theory. By Y. Moschovakis. Springer (2005), ISBN-10: 038728723X ISBN-13: 978-0387287232

Grading: Based on homework.

I will use this website to post any additional information, and encourage you to use the comments feature. If you leave a comment, please use your full name, which will simplify my life filtering spam out.

Advertisements

Like this:

LikeLoading...

Related

This entry was posted on Monday, January 12th, 2009 at 12:30 am and is filed under 580: Topics in set theory. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

I would like to cover some stuff on large cardinals (since questions concerning partition calculus and trees become questions concerning large cardinals so naturally) and infinite games/AD (since I really know so little about determinacy).

(As I pointed out in a comment) yes, partial Woodinness is common in arguments in inner model theory. Accordingly, you obtain determinacy results addressing specific pointclasses (typically, well beyond projective). To illustrate this, let me "randomly" highlight two examples: See here for $\Sigma^1_2$-Woodin cardinals and, more generally, the noti […]

I am not sure which statement you heard as the "Ultimate $L$ axiom," but I will assume it is the following version: There is a proper class of Woodin cardinals, and for all sentences $\varphi$ that hold in $V$, there is a universally Baire set $A\subseteq{\mathbb R}$ such that, letting $\theta=\Theta^{L(A,{\mathbb R})}$, we have that $HOD^{L(A,{\ma […]

A Wadge initial segment (of $\mathcal P(\mathbb R)$) is a subset $\Gamma$ of $\mathcal P(\mathbb R)$ such that whenever $A\in\Gamma$ and $B\le_W A$, where $\le_W$ denotes Wadge reducibility, then $B\in\Gamma$. Note that if $\Gamma\subseteq\mathcal P(\mathbb R)$ and $L(\Gamma,\mathbb R)\models \Gamma=\mathcal P(\mathbb R)$, then $\Gamma$ is a Wadge initial se […]

Craig: For a while, there was some research on improving bounds on the number of variables or degree of unsolvable Diophantine equations. Unfortunately, I never got around to cataloging the known results in any systematic way, so all I can offer is some pointers to relevant references, but I am not sure of what the current records are. Perhaps the first pape […]

Yes. Consider, for instance, Conway's base 13 function $c$, or any function that is everywhere discontinuous and has range $\mathbb R$ in every interval. Pick continuous bijections $f_n:\mathbb R\to(-1/n,1/n)$ for $n\in\mathbb N^+$. Pick a strictly decreasing sequence $(x_n)_{n\ge1}$ converging to $0$. Define $f$ by setting $f(x)=0$ if $x=0$ or $\pm x_n […]

All proofs of the Bernstein-Cantor-Schroeder theorem that I know either directly or with very little work produce an explicit bijection from any given pair of injections. There is an obvious injection from $[0,1]$ to $C[0,1]$ mapping each $t$ to the function constantly equal to $t$, so the question reduces to finding an explicit injection from $C[0,1]$ to $[ […]

One way we formalize this "limitation" idea is via interpretative power. John Steel describes this approach carefully in several places, so you may want to read what he says, in particular at Solomon Feferman, Harvey M. Friedman, Penelope Maddy, and John R. Steel. Does mathematics need new axioms?, The Bulletin of Symbolic Logic, 6 (4), (2000), 401 […]

"There are" examples of discontinuous homomorphisms between Banach algebras. However, the quotes are there because the question is independent of the usual axioms of set theory. I quote from the introduction to W. Hugh Woodin, "A discontinuous homomorphism from $C(X)$ without CH", J. London Math. Soc. (2) 48 (1993), no. 2, 299-315, MR1231 […]

This is Hausdorff's formula. Recall that $\tau^\lambda$ is the cardinality of the set ${}^\lambda\tau$ of functions $f\!:\lambda\to\tau$, and that $\kappa^+$ is regular for all $\kappa$. Now, there are two possibilities: If $\alpha\ge\tau$, then $2^\alpha\le\tau^\alpha\le(2^\alpha)^\alpha=2^\alpha$, so $\tau^\alpha=2^\alpha$. In particular, if $\alpha\g […]

Fix a model $M$ of a theory for which it makes sense to talk about $\omega$ ($M$ does not need to be a model of set theory, it could even be simply an ordered set with a minimum in which every element has an immediate successor and every element other than the minimum has an immediate predecessor; in this case we could identify $\omega^M$ with $M$ itself). W […]

YEA!

My interests in loose order of preference would be:

1) infinite trees

2) partition calculus

3) determinacy and infinite games

billy

I would like to cover some stuff on large cardinals (since questions concerning partition calculus and trees become questions concerning large cardinals so naturally) and infinite games/AD (since I really know so little about determinacy).