(This post is specifically for Math 287 students.)

Starting Monday, you guys should be organized in new groups. No group can have three members that are together in the current groups. When I arrive on Monday, the groups should already be formed. You guys should start working on the laboratory on Polyhedra, Chapter 7. Make sure to bring whatever materials may be needed for this.

There have been complaints about not everybody contributing their share to their respective groups. This is not acceptable, but it is sadly the main reason for the reorganization. So: If I receive two complaints about a member not contributing as required, and there are no reasonable extenuating circumstances, that person will be dropped out of their group (receiving a zero in their current project as a result). If the issue is not expected to be resolved for the next report, a new reorganization of groups will be triggered as a result.

Also, I am unhappy with the level of some of the reports. It seems the peer reviewing of other groups’ drafts is not being taken as seriously as needed. So: Now, on the dates drafts are due, each group should bring three copies of their current draft. When you review another group’s draft, write the members of your group on the copy you are reviewing. I’ll collect the copies, with your comments, copy them for my records and return. If I identify something that a group should have noticed and mentioned, but did not, that group will be penalized (since this means the group did not take their refereeing role seriously). Conversely, if a group mentions something that should be addressed, but I do not see the issue resolved in the final report, the group that failed to address the given comments will be penalized.

Finally, this being a mathematics course, I expect your projects to include proofs. If a project lacks proofs it will receive a failing grade.

Feel free to contact me be email if any of the above needs clarifying.

[…] de puissances, Fundamenta Mathematicae, 3, (1922), 52–58, or Fritz Herzog, George Piranian, Sets of convergence of Taylor series. I. Duke Math. J., 16, (1949), 529–534. Both papers prove more general results, by explicit […]

I learned of this problem through Su Gao, who heard of it years ago while a post-doc at Caltech. David Gale introduced this game in the 70s, I believe. I am only aware of two references in print: Richard K. Guy. Unsolved problems in combinatorial games. In Games of No Chance, (R. J. Nowakowski ed.) MSRI Publications 29, Cambridge University Press, 1996, pp. […]

Let $C$ be the standard Cantor middle-third set. As a consequence of the Baire category theorem, there are numbers $r$ such that $C+r$ consists solely of irrational numbers, see here. What would be an explicit example of a number $r$ with this property? Short of an explicit example, are there any references addressing this question? A natural approach would […]

Suppose $M$ is an inner model (of $\mathsf{ZF}$) with the same reals as $V$, and let $A\subseteq \mathbb R$ be a set of reals in $M$. Suppose further that $A$ is determined in $M$. Under these assumptions, $A$ is also determined in $V$. The point is that since winning strategies are coded by reals, and any possible run of the game for $A$ is coded by a real, […]

Yes. This is obvious if there are no such cardinals. (I assume that the natural numbers of the universe of sets are the true natural numbers. Otherwise, the answer is no, and there is not much else to do.) Assume now that there are such cardinals, and that "large cardinal axiom" is something reasonable (so, provably in $\mathsf{ZFC}$, the relevant […]

Please send an email to mathrev@ams.org, explaining the issue. (This is our all-purpose email address; any mistakes you discover, not just regarding references, you can let us know there.) Give us some time, I promise we'll get to it. However, if it seems as if the request somehow fell through the cracks, you can always contact one of your friendly edit […]

First, prove that the map $\alpha\mapsto\omega^\alpha $ is normal, that is, strictly increasing and continuous at limits. Use this to show that for any $\alpha $ there is a least $\beta $ such that $\alpha

Consider any club subset of $\kappa $. Check that it has order type $\kappa>\lambda $, and that its $\lambda $th element (in its increasing enumeration) has cofinality $\lambda $.

A very nice introduction to this area is MR0891258(88g:03084). Simpson, Stephen G. Unprovable theorems and fast-growing functions. In Logic and combinatorics (Arcata, Calif., 1985), 359–394, Contemp. Math., 65, Amer. Math. Soc., Providence, RI, 1987. Simpson describes the paper as inspired by the question of whether there could be "a comprehensive, self […]

There are continuum many (i.e., $|\mathbb R|$) such functions. First of all, there are only $|\mathbb R|$ many continuous functions, so this is an upper bound. On the other hand, for any real $r$, $f(x)=x+r$ satisfies the requrements, so there are at least $|\mathbb R|$ many such functions.

[…] de puissances, Fundamenta Mathematicae, 3, (1922), 52–58, or Fritz Herzog, George Piranian, Sets of convergence of Taylor series. I. Duke Math. J., 16, (1949), 529–534. Both papers prove more general results, by explicit […]