Artem Chernikov

Michael Brin professor of mathematics at @UofMaryland. Mathematical logic, model theory -and connections to combinatorics, algebra, etc.

[Artem Chernikov @archernikov]

Saharon Shelah and number 4, a thread.

Shelah is an incredibly prolific mathematician working mostly in mathematical logic who has (co-)authored around 1500 papers so far. His other superpower is the ability to discover number 4 where it has absolutely no reason to be. 1/32

[Richard Elwes @RichardElwes]

My book Huge Numbers is out today (in UK) with @BasicBooksUK !

Ian Stewart says: "This fascinating exploration of the giants of the mathematical world is clear, informative, and immensely readable. Wonderful!” 1/2

https://t.co/GB2YI9LxbC

[Tom Gur @TomGur]

Postdoc position in Cambridge with Julia Wolf:

Julia is a phenomenal researcher and a wonderful collaborator. She is advertising a 2-year postdoc at the interface of additive combinatorics and model theory.

Closing date: 16 March. Details: https://t.co/tL6x4mFpCr

[Cameron Freer @cameronfreer]

I'm excited to share de Finetti's theorem formalized in Lean: three different proofs that infinite exchangeable sequences are conditionally IID.

43k lines across 113 files with 600+ lemmas.

💻 code: https://t.co/thYmw3ANDj

📊 blueprint: https://t.co/GWX9vc9hCT

(1/3)

[Ken Ono @KenOno691]

1/ ANNOUNCING 🎬

MARYAM: The Mirror and the Map, a feature film about Fields Medalist Maryam Mirzakhani (the first woman to win the Fields Medal).

After The Man Who Knew Infinity, writer/director Matt Brown, Manjul Bhargava & I are reuniting as associate producers.

[Artem Chernikov @archernikov]

Maryam Mirzakhani's loss is still deeply felt in the math community. It was a beautiful moment for me to see her receive the Fields medal in Seoul in 2014.
It's only later that I learned her inspiring story. Really happy that Ken and the team are bringing it to the big screen!

[Ken Ono @KenOno691]

1/ ANNOUNCING 🎬

MARYAM: The Mirror and the Map, a feature film about Fields Medalist Maryam Mirzakhani (the first woman to win the Fields Medal).

After The Man Who Knew Infinity, writer/director Matt Brown, Manjul Bhargava & I are reuniting as associate producers.

[David Chiang @davidweichiang]

I am recruiting a PhD student to work with me, Peter Cholak, Anand Pillay, and Andy Yang @pentagonalize on transformers and logic/model theory (or related topics). If you are interested, please email me with "FLaNN" in the subject line!

[Set Theory Talks @settheorytalks]

18th Asian Logic Conference
September 8 - 12, 2025
Kyoto Sangyo University, Kyoto, Japan
https://t.co/HJ0sPkCjLz
Plenary Speakers: Artem Chernikov, Su Gao, Fenrong Liu, Takako Nemoto, Kazushige Terui, Dan Turetsky and more

[Artem Chernikov @archernikov]

A new Ph.D thesis prize is being established in honor of Zoé Chatzidakis.

This yearly award for an outstanding thesis in model theory will honor her scientific legacy and her commitment to the younger generation.

https://t.co/ye3ZEtR78Z

[Artem Chernikov @archernikov]

A new Ph.D thesis prize is being established in honor of Zoé Chatzidakis.

This yearly award for an outstanding thesis in model theory will honor her scientific legacy and her commitment to the younger generation.

https://t.co/ye3ZEtR78Z

[Artem Chernikov @archernikov]

I'm excited to join the editorial board of a new diamond open access journal in mathematical logic:

ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
https://t.co/XpyNXkCUpA

The open letter of the editors of ZML can be found online on the webpage.

[Artem Chernikov @archernikov]

Another blog post on Retraction Watch about the Mathematical Logic Quarterly editorial board walk out, and the launch of a new diamond open access journal Zeitschrift für Mathematische Logik (ZML).
https://t.co/b4dIIlfXZY

[Artem Chernikov @archernikov]

I'm excited to join the editorial board of a new diamond open access journal in mathematical logic:

ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
https://t.co/XpyNXkCUpA

The open letter of the editors of ZML can be found online on the webpage.

[Artem Chernikov @archernikov]

More on the collective action that led to the creation of this new journal:
https://t.co/PRiWS8IqvS

[Artem Chernikov @archernikov]

Retraction Watch blog post about the Mathematical Logic Quarterly editorial board walk out, and the launch of a new diamond open access journal Zeitschrift für Mathematische Logik (ZML).

[Retraction Watch @RetractionWatch]

Math journal editors resign to launch open-access title ‘free from pressure or influence’
https://t.co/9vreVdjFWB

[Emily Riehl @emilyriehl]

I am proud today to join the editorial board of a new diamond open access journal in logic:

Zeitschrift für Mathematische Logik
und Grundlagen der Mathematik

https://t.co/WIDgePLVp3

The website includes an open letter from the editorial board with the following text:

[Set Theory Talks @settheorytalks]

The Department of Mathematics at Stockholm University will be hiring an Assistant Professor in Mathematics with focus on Mathematical Logic.

More details and application link are at the official listing, https://t.co/1nY1UFkUsl

[Artem Chernikov @archernikov]

@ElliotGlazer @littmath There'd have to be a problem about number 4 :) I'd be curious to participate in the discussion about concrete numeric answers in mathematical logic. At the very least there are questions about calculating some model theoretic invariants in particular structures of interest.

[Artem Chernikov @archernikov]

There will be a Very Informal Gathering of Logicians (VIG 2025) at UCLA, Fri, Feb 7 to Sun, Feb 9, 2025. The 22nd in a series of biennial logic meetings at UCLA, this event honors Alexander Kechris on the occasion of his formal retirement from Caltech.
https://t.co/71eo3Ai9AZ

[Artem Chernikov @archernikov]

I'm visiting @CarnegieMellon for a week, and giving a talk tomorrow, on some interplay of mathematical logic, combinatorics and theoretical machine learning:

https://t.co/gHSIvfa5PG

[Artem Chernikov @archernikov]

Margaret wanted time to consider his proposition and thus began an uncomfortable dance between them, which contributed to Ramsey's depressive moods in early 1924; as a result, he travelled to Vienna for psychoanalysis. "

[Artem Chernikov @archernikov]

Wikipedia on Frank Ramsey:
"In 1923, Ramsey was befriended by Geoffrey and Margaret Pyke, then on the point of founding the Malting House School in Cambridge; the Pykes took Ramsey into their family, taking him on holiday and asking him to be the godfather of their young son.

[Artem Chernikov @archernikov]

but with an awful conflict in my mind. After about an hour I said (she was wearing her horn spectacles and looking superlatively beautiful in the Burne Jones style) 'Margaret will you fuck with me?'