We are glad to announce the winners of the Christine Ladd-Franklin Logic Prize for the USA 2025 https://www.uni-log.org/christine-ladd-franklin-prize-of-logic-2025 ------------------------------------------------------------------------------------------------------------ Nathanael Ackerman (Harvard University, Cambridge, USA), & Cameron Freer (MIT, Cambridge, USA), & Mohammad Golshani (Institute for Research in Fundamental Sciences, Teheran, Iran) & Mostafa Mirabi (TheTaft School, Watertown, and Wesleyan University, Middletown, USA) & Rehana Patel (Wesleyan University, Middletown, USA) Title of the paper: Forcing with Invariant Measures Abstract. This paper introduces a model-theoretic generalization of the notion of forcing with random reals, in which forcing gives rise to random generic structures. Specifically, we consider forcing with κ-Borel probability measures on the space of L -structures with a (possibly uncountable) infinite set X, focusing on those that are invariant under the action of the symmetric group Sym(X). We demonstrate how any Sym(X)-invariant measure where X is countable can be uniquely extended to a Sym(Y )- invariant measure where Y is uncountable, and prove that forcing with such measures satisfies the countable chain condition. We also show that we can uniformly distinguish between these random generic structures and the Cohen generic structures that arise from forcing with a strong Fraïssé class: There is a κ-Borel set of low complexity that contains every Cohen generic structure that is not highly homogeneous but contains no random generic structure, implying that a structure that is not highly homogeneous cannot be both Cohen generic and random generic. Finally, we answer an open question of Kostana in the case of ω1, by establishing a connection between forcing with a strong Fraïssé class and Cohen forcing. ---------------------------------------------------------------------------------------------------------------------------- We have here a joint paper produced by a team of 5 people, four men (two Americans and two Iranians) and one woman (native of India), a good symbol of international cooperation. The paper is about forcing, a method developed by Paul Cohen (Stanford University) to prove the independence of the continuum hypothesis, a result for which he won the Fields medal in 1966 (the same year as Alexander Grothendieck). More recently, Maryam Mirzakhani (Stanford University) became the first Iranian as well as the first woman to win the Fields Medal (in 2014, the same year as Artur Avila). There is a strong mathematical tradition in Iran since the legendary Persian mathematician Al-Khwarizmi (790-850), who coined the word "algebra", and whose own personal name gave birth to "algorithm" and "algarismo". "Algarismo" is a Portuguese word used for the 10 numerals, often called "Arabic numerals", although they were imported from India by Al-Khwarizmi, who was Muslim but not Arab. At the 8th UNILOG, we will have an interesting workshop on notation organized by two colleagues from Argentina (Sandra Visokolskis and Gabriela Fulugonio): https://sites.google.com/view/unilog2025/workshops/philosophy-of-notation -------------------------------------------------------------------------------------------------- This is the first edition of the logic prize for the USA which I launched this year together with my colleagues Roy Cook and Jasmin Özel. We decided to give the name of Christine Ladd-Franklin (1847-1930) to this prize. Her PhD will soon be published in the series Logic PhDs of College Publications, Volume prepared by Ahti-Veikko Pietarinen and Amirouche Moktefi https://www.collegepublications.co.uk/lphd/ Following the spirit of the logic prizes, we formed a jury with people working in the US in all aspects of logic: philosophy, history, computer sciences, mathematics. (Roger Maddux, one of the last PhD students of Alfred Tarski, was a member of this jury). ------------------------------------------------------------------------------------------------------- This paper will be published in the journal Logica Universalis and will represent the USA at the 3rd edition of the World Logic Prizes Contest which will take place during the 8th UNILOG in Cusco: https://sites.google.com/view/unilog2025/logic-prizes ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- The 8th UNILOG will be an important world logic event, 20 years after the first edition in Montreux, Switzerland, in 2005. During the school (Dec 4-8) there will be about 30 tutorials on all aspects of logic: https://sites.google.com/view/unilog2025/tutorials and during the congress (Dec 9-14), about 20 workshops: https://sites.google.com/view/unilog2025/workshops. The contest will also be during the congress. Cusco is a very friendly place, not expensive, and everything is within a walking distance. The event shall take place in the main square, just before the start of the summer season. There will be an excursion to the nearby Machu Picchu during the event, probably between the school and the congress, Machu Picchu is considered as one of the 7 wonders of the world: https://en.wikipedia.org/wiki/New_7_Wonders_of_the_World I think Machu Picchu is number one ! (And Petra number two) ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://philpeople.org/profiles/jean-yves-beziau Director of the project A PRIZE OF LOGIC IN EVERY COUNTRY ! https://www.uni-log.org/logic-prize-world
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► <a href="mailto:[email protected]";>UNSUBSCRIBE FROM PEIRCE-L</a> . But, if your subscribed email account is not your default email account, then go to https://list.iu.edu/sympa/signoff/peirce-l . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
