Sign in

Artem Chernikov

@archernikov.bsky.social
1.5K followers 807 following 52 posts

Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc. chernikov.me

PostsRepliesMedia
Artem Chernikov @archernikov.bsky.social · 06/06/2025
Congrats!
010
Reposted by Artem Chernikov
Artem Chernikov @archernikov.bsky.social · 12/04/2025
A new Ph.D thesis prize is being established in honor of Zoé Chatzidakis, by Fondation Sciences Mathématiques de Paris. This yearly award for an outstanding thesis in model theory will honor her scientific legacy and her commitment to the younger generation. www.helloasso.com/associations...
helloasso.com
PhD thesis award Zoé CHATZIDAKIS
Faire un don à Fondation Sciences Mathématiques de Paris - PhD thesis award Zoé CHATZIDAKIS
1164
Reposted by Artem Chernikov
λ³🎲 @cubiclogic.bsky.social · 12/04/2025
Zoé Chatzidakis, a great mathematician, passed a way a few months ago. www.fields.utoronto.ca/news/Memoria... bsky.app/profile/arch...
fields.utoronto.ca
061
Artem Chernikov @archernikov.bsky.social · 12/04/2025
A new Ph.D thesis prize is being established in honor of Zoé Chatzidakis, by Fondation Sciences Mathématiques de Paris. This yearly award for an outstanding thesis in model theory will honor her scientific legacy and her commitment to the younger generation. www.helloasso.com/associations...
helloasso.com
PhD thesis award Zoé CHATZIDAKIS
Faire un don à Fondation Sciences Mathématiques de Paris - PhD thesis award Zoé CHATZIDAKIS
1164
Reposted by Artem Chernikov
Richard Elwes @richardelwes.bsky.social · 11/04/2025
Well done to Deidre Haskell, @archernikov.bsky.social, and others who have resigned en masse from the profit-oriented Mathematical Logic Quarterly and founded a new diamond open-access journal ZML! Academics have the upper hand over commercial publishers, when they decide to flex their muscles.
041
Artem Chernikov @archernikov.bsky.social · 08/04/2025
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). retractionwatch.com/2025/04/07/m...
retractionwatch.com
Math journal editors resign to launch open-access title ‘free from pressure or influence’
The managing editors and entire editorial board of Mathematical Logic Quarterly, a Wiley title, have resigned, citing “unilateral decisions” by the publisher “that affected the editorial process.”&…
040
Reposted by Artem Chernikov
Retraction Watch @retractionwatch.com · 07/04/2025
Math journal editors resign to launch open-access title ‘free from pressure or influence'
retractionwatch.com
Math journal editors resign to launch open-access title ‘free from pressure or influence’
The managing editors and entire editorial board of Mathematical Logic Quarterly, a Wiley title, have resigned, citing “unilateral decisions” by the publisher “that affected the editorial process.”&…
06324
Artem Chernikov @archernikov.bsky.social · 07/04/2025
I'll suggest it going forward!
010
Artem Chernikov @archernikov.bsky.social · 07/04/2025
More on the collective action and an editorial board walk-out that led to the creation of this new journal: blog.tib.eu/2025/04/07/m...
blog.tib.eu
Further resignation of an editorial board: Mathematical Logic Quarterly - TIB-Blog
There has been an increasing number of resignations by editors of scholarly journals in recent years. In many cases, the editors have criticised the publisher’s excessive influence, especially when th...
250
Artem Chernikov @archernikov.bsky.social · 07/04/2025
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 zml.international The open letter of the editors of ZML can be found online on the webpage.
zml.international
ZML - Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik is an electronic Diamond Open Access research journal in mathematical logic publishing original research papers in all areas of m...
2227
Reposted by Artem Chernikov
Artem Chernikov @archernikov.bsky.social · 26/01/2025
Very very sad news for all of us in the model theory community. Dr. Zoé Chatzidakis, a brilliant mathematician, loyal friend, fierce advocate for her subject and strong supporter of women and young people. She died on the morning of January 22, 2025. www.fields.utoronto.ca/news/Memoria...
A photo of Zoé Chatzidakis smiling.
1202
Artem Chernikov @archernikov.bsky.social · 26/01/2025
www.facebook.com/share/p/17yA...
facebook.com
Redirecting...
010
Artem Chernikov @archernikov.bsky.social · 26/01/2025
mathstodon.xyz/@andresvilla...
mathstodon.xyz
Andrés Villaveces Niño (@andresvillaveces@mathstodon.xyz)
Attached: 1 image Very sad news today: Zoé Chatzidakis, a superb model theorist from France with important work on many venues of the model theory of fields, has passed away this morning. Zoé's math...
120
Artem Chernikov @archernikov.bsky.social · 26/01/2025
www.linkedin.com/posts/societ...
linkedin.com
SOCIETE MATHEMATIQUE DE FRANCE on LinkedIn: C'est avec une très grande tristesse que nous avons appris le décès de Zoé…
C'est avec une très grande tristesse que nous avons appris le décès de Zoé Chatzidakis. Zoé était une mathématicienne remarquable et une orfèvre de…
120
Artem Chernikov @archernikov.bsky.social · 26/01/2025
Very very sad news for all of us in the model theory community. Dr. Zoé Chatzidakis, a brilliant mathematician, loyal friend, fierce advocate for her subject and strong supporter of women and young people. She died on the morning of January 22, 2025. www.fields.utoronto.ca/news/Memoria...
A photo of Zoé Chatzidakis smiling.
1202
Reposted by Artem Chernikov
Terence Tao @teorth.bsky.social · 18/12/2024
My #math department at #UCLA is now advertising for an additional tenure-track assistant professor position as part of UCLA's HSI (Hispanic Serving Institution) initiative: recruit.apo.ucla.edu/JPF10045 . The deadline for applications is Jan 20, 2025.
recruit.apo.ucla.edu
Tenure Track Assistant Professor Position with HSI Initiative
University of California, Los Angeles is hiring. Apply now!
13111
Reposted by Artem Chernikov
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/11/2024
Here I am! What's going on at BlueSky? I'm interested in all things infinite, including especially math and philosophy and the interaction of math and philosophy. Please point me toward what's going on here. Meanwhile, for your enjoyment here is a picture I made of the first few surreal numbers...
Surreal numbers
4325
Reposted by Artem Chernikov
Dr Ruby (she/her) @paperwhispers.bsky.social · 27/11/2024
We need bookmarks
619319
Reposted by Artem Chernikov
Terence Tao @teorth.bsky.social · 26/11/2024
Tanya Klowden and I have set up an instagram to record various #astronomy stories we have gathered during the process of writing a forthcoming book on the cosmic distance ladder. Our latest post, on the "mini-moon" that briefly visited our neighborhood, is now up: www.instagram.com/p/DC08k17xZqB
The first page of the instagram post.
1455
Reposted by Artem Chernikov
Artem Chernikov @archernikov.bsky.social · 25/11/2024
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. www.math.ucla.edu/~ineeman/Con... #MathSky
A screenshot from the website announcing the VIG conference: https://www.math.ucla.edu/~ineeman/Conf/VIG2025/
0113
Artem Chernikov @archernikov.bsky.social · 25/11/2024
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. www.math.ucla.edu/~ineeman/Con... #MathSky
A screenshot from the website announcing the VIG conference: https://www.math.ucla.edu/~ineeman/Conf/VIG2025/
0113
Reposted by Artem Chernikov
Artem Chernikov @archernikov.bsky.social · 18/11/2024
I'm visiting Carnegie Mellon for a week, and giving a talk tomorrow, on some interplay of mathematical logic, combinatorics and theoretical machine learning: www.cmu.edu/math/news-ev...
0154
Artem Chernikov @archernikov.bsky.social · 18/11/2024
I'm visiting Carnegie Mellon for a week, and giving a talk tomorrow, on some interplay of mathematical logic, combinatorics and theoretical machine learning: www.cmu.edu/math/news-ev...
0154
Reposted by Artem Chernikov
Timothy Gowers @wtgowers.bsky.social · 14/11/2024
It feels a bit strange having a completely empty profile page, so here's an introductory post to say that I'm only an occasional contributor to Twitter, but my plan now is to cross post here and see how things go, both for me personally and for the two sites as a whole. 1/4
3733
Artem Chernikov @archernikov.bsky.social · 15/11/2024
The evolution of model theory through the latter half of the 20th century, via Andrew Marks an ChatGPT.
The evolution of model theory through the latter half of the 20th century, via Andrew Marks an ChatGPT.
010
Artem Chernikov @archernikov.bsky.social · 13/11/2024
Very useful! It would be wonderful to recreate the old days math twitter in some form here.
040
Artem Chernikov @archernikov.bsky.social · 13/11/2024
Fair enough. It sounds like mathematics might be better suited for parents :)
020
Artem Chernikov @archernikov.bsky.social · 13/11/2024
Of course this seems to require having enough conferences with approximately equivalent topics/status.
000
Artem Chernikov @archernikov.bsky.social · 13/11/2024
Yes, perhaps that sounds like the saving grace of the conference system - unfortunately doesn't apply to invited volumes!
110
Artem Chernikov @archernikov.bsky.social · 13/11/2024
That's a good point about hard deadlines - it would be so liberating to just miss one at this point! Another issue I'm encountering is that as you write, you want to do more things, or do them right - unclear how one could estimate how long it takes, even if you push everything else off.
000
Artem Chernikov @archernikov.bsky.social · 13/11/2024
I'm writing a math paper for an invited volume with a timed deadline (already overdue, of course), this is very stressful! How do you all do it in computer science and other subjects and not loose sleep?
381
Artem Chernikov @archernikov.bsky.social · 10/11/2024
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. "
030
Artem Chernikov @archernikov.bsky.social · 10/11/2024
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?'
230
Artem Chernikov @archernikov.bsky.social · 10/11/2024
Margaret found herself to be the object of his affection, Ramsey recording in his diary: One afternoon I went out alone with her on Lake Orta and became filled with desire and we came back and lay on two beds side by side she reading, I pretending to, but with an awful conflict in my mind.
120
Artem Chernikov @archernikov.bsky.social · 10/11/2024
From the Wikipedia entry 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.
130
Artem Chernikov @archernikov.bsky.social · 07/11/2024
I'm giving a talk at the @thegraduatecenter.bsky.social Logic Workshop on Friday, on externally definable sets, their honest definitions and externally definable groups in NIP structures: nylogic.github.io/logic-worksh...
032
Artem Chernikov @archernikov.bsky.social · 19/10/2024
I'm giving a talk at Harvard on Monday, on connections of mathematical logic and higher VC-theory for learning in product spaces: cmsa.fas.harvard.edu/event/colloq...
050
Artem Chernikov @archernikov.bsky.social · 14/06/2024
See some recommendations from me and my colleagues at the University of Maryland for your summer reading list, including a rollercoaster biography of a remarkable Polish logician and mathematician Alfred Tarski, "the man who defined truth"!
cmns.umd.edu
CMNS Summer Reads for 2024
Eight faculty and staff members share their favorite books—both old and new.
020
Artem Chernikov @archernikov.bsky.social · 05/06/2024
In order to achieve it, we in particular prove the revised Ellis group conjecture of Newelski for countable NIP groups! Previously only known in the amenable case, by "Definably amenable NIP groups", Chernikov, Simon, J. Amer. Math. Soc. 2018
000
Artem Chernikov @archernikov.bsky.social · 05/06/2024
We also provide an explicit construction of a minimal left ideal in the convolution semigroup of measures for an arbitrary countable NIP group, from a minimal left ideal in the corresponding semigroup on types and a canonical measure constructed on its ideal subgroup.
100
Artem Chernikov @archernikov.bsky.social · 05/06/2024
In this paper we obtain a remarkable counterpart of the aforementioned classical theory for locally compact topological groups, and classify idempotent generically stable measures in abelian groups as (unique) translation invariant measures on type-definable subgroups.
100
Artem Chernikov @archernikov.bsky.social · 05/06/2024
This led to many applications, e.g. resolution of Pillay’s conjecture for compact o-minimal groups, or Hrushovski’s work on approximate subgroups. And brought to light the study of invariant measures on definable subsets of the group, and the methods of topological dynamics.
100
Artem Chernikov @archernikov.bsky.social · 05/06/2024
More recently, many of the ideas of stable group theory were extended to the class of NIP groups, which contains both stable groups and groups definable in o-minimal structures or over the p-adics.
100
Artem Chernikov @archernikov.bsky.social · 05/06/2024
The class of stable groups is at the core of model theory, and the corresponding theory was developed in the 1970s-1980s borrowing many ideas from the study of algebraic groups over algebraically closed fields.
110
Artem Chernikov @archernikov.bsky.social · 05/06/2024
We are interested in a counterpart of this in the definable category. In the same way as algebraic or Lie groups are important in algebraic or differential geometry, the understanding of groups definable in first-order structure is important for model theory and its applications.
100
Artem Chernikov @archernikov.bsky.social · 05/06/2024
Classical work by Wendel, Rudin, Cohen (before inventing forcing) and others classifies idempotent Borel measures on locally compact abelian groups, showing that they are precisely the Haar measures of compact subgroups.
100
Artem Chernikov @archernikov.bsky.social · 05/06/2024
Very excited about this new preprint with Kyle Gannon and Krzysztof Krupinski! "Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture" arxiv.org/abs/2406.00912 #ModelTheory #math
arxiv.org
Definable convolution and idempotent Keisler measures III. Generic...
We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is...
121
Artem Chernikov @archernikov.bsky.social · 17/05/2024
The new book is intended for a first graduate logic course. It grew out of Dave's lecture notes developed over many years teaching this material at the University of Illinois Chicago. A draft of the introduction and table of contents can be found here: www.math.uic.edu/~marker/ml-w...
040
Artem Chernikov @archernikov.bsky.social · 17/05/2024
Some of you may know his previous book "Model Theory : An Introduction", which served as a de facto standard intro to modern model theory for many years now (and was a start of my personal journey in model theory).
230
Artem Chernikov @archernikov.bsky.social · 17/05/2024
A new book by David Marker "An Invitation to Mathematical Logic" has recently been published in Springer's Graduate Texts in Mathematics series! link.springer.com/book/10.1007...
link.springer.com
An Invitation to Mathematical Logic
This textbook is for a first graduate course in mathematical logic. Its versatility in use is one of its many appealing aspects of the book
173