Recent writing- Dana Ernst: Do hard things (December 3)
Recently one of my former students at Plymouth State University, Zach Goldenberg, was awarded the 2013 Graduating Senior Award of Excellence. Zach is - Micheal Pawliuk: Van der Waerden’s Theorem is false for $\omega_1$ (December 2)
One of my main research problems involves something I think is related to arithmetic progressions in $\Z$. After learning a nice proof of Van der Waer - Assaf Rinot: Walk on countable ordinals: the characteristics (December 1)
In this post, we shall present a few aspects of the method of walk on ordinals (focusing on countable ordinals), record its characteristics, and verif - Samuel Coskey: On leaving a classroom (November 27)
Sometimes when I’m teaching I leave the classroom. Here’s why. A common experience in teaching: you stay up late creating a thoughtful in - Assaf Rinot: Polychromatic colorings (November 26)
These are lectures notes of two talks Dani Livne gave in our Infinite Combinatorics seminar. I did not take notes in real-time, hence, all possible mi - Carl Mummert: Talk on Reverse Mathematics and the Modal Logic of Reverse Mathematics (November 25)
This is a transcription of notes from a talk I gave on November 1, 2013 to the interdisciplinary logic seminar at the University of Connecticut. I gav - Victoria Gitman: On ground model definability: completed! (November 23)
The final version of the “On ground model definability” paper is here! If interested, please check the updated version of the related post - Assaf Rinot: Universal binary sequences (November 14)
Notation. Write $\mathcal Q(A):=\{ a\subseteq A\mid a\text{ is finite}, a\neq\emptyset\}$. Suppose for the moment that we are given a fixed sequence $ - Victoria Gitman: A Jonsson $\omega_1$-like model of set theory (November 13)
This is a talk at the CUNY Set Theory Seminar, November 15, 2013. $ \newcommand{\ZFC}{\rm{ZFC}} \newcommand{\GBC}{\rm{GBC}} \newcommand{\ORD}{\rm{ORD} - Micheal Pawliuk: Ropes and Dwarfs in a Munich Subway (November 13)
People in Germany like Math! After my recent trip to Bonn, Germany, I visited my friend Maria in Munich, Germany for a weekend. She was wonderful and
- Dana Ernst: Do hard things (December 3)
- Recent comments
- Comment on On leaving a classroom by Micheal Pawliuk (December 3)
I've had success following the moral of the following story: My friend Andrew was a TA for one of the enormous first year, 1500+ student, calcul - Comment on Van der Waerden’s Theorem is false for $\omega_1$ by Asaf Karagila (December 3)
You know, if you write the ASCII code backwards in base $p$, where $p$ is a very large prime number, it spells "I proved the inconsistency of ZFC - Comment on Van der Waerden’s Theorem is false for $\omega_1$ by saf (December 3)
All you need is club All you need is club All you need is sparse club Club is all you need - Comment on On leaving a classroom by Dana Ernst (November 28)
Excellent! - Comment on Prikry Forcing by Mohammad (November 28)
Thanks a lot for the paper. Do you know what the forcing notion introduced in the paper (by Kimchi himself) is and if there are any references to fin - Comment on Talk on Reverse Mathematics and the Modal Logic of Reverse Mathematics by Joel David Hamkins (November 26)
I saw that you'll be speaking on this at the JMM (http://jointmathematicsmeetings.org/amsmtgs/2160_abstracts/1096-03-1603.pdf), and I shall look - Comment on Talk on Reverse Mathematics and the Modal Logic of Reverse Mathematics by Carl Mummert (November 26)
Thanks, Joel. - Comment on Talk on Reverse Mathematics and the Modal Logic of Reverse Mathematics by Joel David Hamkins (November 26)
Carl, this is really very nice, and I like it a lot. - Comment on On ground model definability: completed! by Joel David Hamkins (November 25)
Great! - Comment on On ground model definability: completed! by Asaf Karagila (November 24)
I read (although not thoroughly) the ZF related parts. Some insights are already in the works. I'll try to find time this week to write some idea
- Comment on On leaving a classroom by Micheal Pawliuk (December 3)