Logic List Mailing Archive

CfR: Roma Logica: The Forum – Reverse Mathematics and Ramsey-Type Principles, 29–30 October 2026, Rome (Italy)

*Roma Logica: The Forum* <https://academicweb.nd.edu/~cholak/rome2.html>

*Reverse Mathematics and Ramsey-type principles*

*Thursday Afternoon and Friday *

*October 29 and 30, 2026*

  ND Rome <https://goo.gl/maps/NH1X8V7G7Bu>


Updated: September 25


The workshop will focus on Reverse Mathematics and in particular*, *the computability-theoretic and proof-theoretic strength of combinatorial Ramsey-type principles such as Ramsey�s Theorem for pairs, Hindman�s Theorem, and other similar statements.


The Colosseum was not available but we are a block away at ND Rome <https://goo.gl/maps/NH1X8V7G7Bu>.  We have one lecture room that sits about 40.  There are 2 small white boards and the room is long. So board talks are not suggested.


*Registration*
<https://docs.google.com/forms/d/e/1FAIpQLSdzwPzY9L9DCamYkEDsS2Ca8hVe6b9xwIQ95cjvAZRu-JWNxQ/viewform?usp=sharing&ouid=111310232011001460668>. 
Everyone needs to register. It is very quick. In particular we need a head count for the reception a week prior.


The organizers are Peter Cholak <https://academicweb.nd.edu/~cholak/> and Lorenzo Carlucci. 
<https://sites.google.com/uniroma1.it/lorenzocarlucci-sapienza/homepage>



*Schedule*


*Thursday, October 29*



1:00 pm - 1:30 pm: Arrival and Registration

1:30 pm - 2:30 pm: *Paul Shafer*, *Bounded Ramsey's theorem for triples in
computability theory, A*bstract below.

2:30 pm - 3:00 pm: Coffee Break

3:00 pm - 4:00 pm: A*ndrea Volpi*, *Ramsey principles for strong coloring
classes and weak homogeneity conditions*, Abstract below

4:15 pm - 5:15 pm: *Mauro Di Nasso*, *A simultaneous generalization of
Ramsey, Hindman, and*

*Hales-Jewett's Theorems,* Abstract
<https://academicweb.nd.edu/~cholak/rome26files/Nasso.pdf>.

5:15 pm - 7:00pm: Heavy reception





*Friday, October 30*


9:30 am - 10:30 am: *Gavin Dooley*, *Initial segment jump inversion for
chains, *Abstract Below.

10:30 am - 11:00 am: Coffee Break

11:00 am - 12:00 pm: *Quentin Le-Hou�rou, **The reverse mathematics of the
bounded Ramsey theorem for pairs, *Abstract Below.

12:00 pm - 2:00 pm: Lunch Break (on your own)

2:00 pm - 3:00 pm: *Giordano Celli, **A Weihrauch reduction from a
combinatorial theorem to a well-ordering principle, *Abstract Below.

3:00 pm - 3:30 pm: Coffee Break

3:30 pm - 4:30 pm: *Alberto Marcone, **The effective content of Laver
partition theorem,* Abstract below.

4:30 pm - ??,  drinks at a nearby bar.


*Travel Arrangements: * Here you are on your own. Here are some nearby hotel
and dining suggestions by the Notre Dame Global Gateway staff.  Public
transportation in Rome is good and you should be able to get a hotel or
room elsewhere and travel to ND Rome from within Rome.


Many thanks to our two sponsors: Notre Dame Global <https://global.nd.edu/>
and the Notre Dame Department of Mathematics <http://math.nd.edu/>.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php