I expect groups of two or three per project. The deadline for submission is the scheduled time of the final exam. This will constitute 20% or your total grade. Your final project must be typeset; I encourage you to consult with me through the semester in terms of how it looks and its contents.

What I expect is a paper where you explain the topic, and present its history and a few results on it with complete proofs. Work out a few examples. If relevant, do some numerical simulations. List all the references you consult. (Of course, do not plagiarize.) Some of the topics may end up being too ambitious, and if that occurs, let me know. In that case, it would be better to restrict your presentation (to some aspects of the topic at hand) rather than trying to be comprehensive.

I’ll give you a list of references you may find useful once you pick your topic, but of course if you find additional references, use those instead.

Topics:

The Banach-Tarski paradox. Chosen by two groups:

K. Williams.

J. Giudicelli, Ch. Kelly, and J. Kunz.

The 17 plane symmetry groups. Chosen by two groups:

S. Burns, C. Fletcher, and A. Zell.

A. Nelson, H. Newman, and M. Shipley.

Quaternions and Octonions. Chosen by:

K. Mcallister.

The Gordon game (See 5.5.2 on the book.) Chosen by:

J. Thompson

The Rubik cube. Chosen by:

M. Mesenbrink, and N. Stevenson.

43.614000-116.202000

Advertisements

Like this:

LikeLoading...

Related

This entry was posted on Thursday, January 26th, 2012 at 7:28 pm and is filed under 305: Abstract Algebra I. 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.

(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 […]

[…] addition, you will be assigned a project (to work in groups of two or at most three), to be turned in at the latest by the scheduled time of […]

[…] mentioned before, I asked my 305 students to write a short paper as a final project. I am posting them here, with […]