You're reading: News

A new model theory blog: Forking, Forcing and back&Forthing

Mathematical niche-filling news: a few model and set theorists have got together to start a new shared blog “on that hard to define area that is perhaps 80% Model Theory and 20% Set Theory”.

It’s wittily called fff, short for Forking, Forcing and back&Forthing1, and it’s run by Andrés Caicedo, Juan Diego Caycedo, Artem Chernikov, John Goodrick, Ayhan Günaydın, Goyo Mijares, Sonat Suer, Andrés Villaveces.

The new blog is inspired by communal-blogging trailblazers the Secret Blogging Seminar, started by some Berkeley PhD students, and the n-Category Café, run by a mixture of category theorists, physicists and philosophers. The fff chaps explain themselves thus:

… a group of Model Theorists and Set Theorists have decided to put up a blog to explain to ourselves (and whoever reads this) why some result we just submitted to a journal is interesting, why some “classical” theorem (or definition, or notion, or example) is worth revisiting, what is our view on some discussion, what on earth is “such and such fancy concept”.

The blog: fff (Forking, Forcing and back&Forthing)

via Richard Elwes on Google+

  1. Reminds me of the old joke a biologist told me: “the hyptothalamus controls the four Fs: fighting; fleeing; feeding; and reproduction. Anyway, forking, forcing, and back&forthing are all terms from model and set theory []

Leave a Reply

  • (will not be published)

$\LaTeX$: You can use LaTeX in your comments. e.g. $ e^{\pi i} $ for inline maths; \[ e^{\pi i} \] for display-mode (on its own line) maths.

XHTML: You can use these tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>