# Recent writing

**Joseph Van Name**The classical and generalized Laver tables can be computed quickly.**Carl Mummert**Reverse Mathematics of Matroids**Samuel Coskey**The complexity of classification problems**Victoria Gitman**Generic Vopěnka’s Principle**Carl Mummert**An example with Dedekind cuts**Peter Krautzberger**Math on the web: time to step up!**Joel David Hamkins**On the strength of second-order set theories beyond ZFC, PSC-CUNY Research Award grant, 2016**Assaf Rinot**Ordinal definable subsets of singular cardinals**Norman Lewis Perlmutter**Infinite chess position of game value $\omega^4$**Joel David Hamkins**The finite axiom of symmetry

# Recent comments

**Comments for Joel David Hamkins**Comment on Every function can be computable! by Rahman. M**Comments for Joel David Hamkins**Comment on On the strength of second-order set theories beyond ZFC, PSC-CUNY Research Award grant, 2016 by Joel David Hamkins**Comments for Joel David Hamkins**Comment on Kelley-Morse set theory implies Con(ZFC) and much more by Joel David Hamkins**Comments for Joel David Hamkins**Comment on Kelley-Morse set theory implies Con(ZFC) and much more by Neil Barton**Comments for Joel David Hamkins**Comment on Kelley-Morse set theory implies Con(ZFC) and much more by Neil Barton**Comments for Joel David Hamkins**Comment on Kelley-Morse set theory implies Con(ZFC) and much more by Neil Barton**Comments for Joel David Hamkins**Comment on Kelley-Morse set theory implies Con(ZFC) and much more by Joel David Hamkins**Comments for Joel David Hamkins**Comment on Kelley-Morse set theory implies Con(ZFC) and much more by Carl Mummert**Comments for Joel David Hamkins**Comment on Kelley-Morse set theory implies Con(ZFC) and much more by Joel David Hamkins**Comments for Joel David Hamkins**Comment on Kelley-Morse set theory implies Con(ZFC) and much more by Carl Mummert