Alessandro Andretta, Gianluca Basso, Riccardo Camerlo, Luca Motto Ros, Matteo Viale, Domenico Zambella

Dipartimento di Matematica
"Giuseppe Peano",

Palazzo Campana,
via Carlo Alberto 10, Torino.

Informazioni utili (in Inglese)

- 09:00 - Registration
- 09:30 - 10:00 - Antongiulio Fornasiero
###### Espansioni di modelli di Presburger

- 10:05 - 10:55 - Lorna Gregory
###### Interpretation functors, representation type and decidability

- 10:55 – 11:20 - Coffee Break
- 11:20 - 11:50 - Silvia Barbina
###### Model theory of Steiner triple systems

- 11:55 - 12.25 - Sonia L'Innocente
###### Abelian regularization of rings and modules

- 12:30 - 13.00 - Lorenzo Luperi Baglini
###### Nonstandard characterizations of partition regularity

- 13:00 – 15:00 - Lunch
- 15:00 - 15:50 - Vassilis Gregoriades
###### Basis Results and the Spector-Gandy Theorem

- 15:55 - 16:20 - Filippo Calderoni
###### The bi-embeddability relation between torsion-free abelian groups

- 16:20 – 16:55 - Coffee Break
- 16:55 - 17:25 - Silvia Steila
###### When the reals form a proper class

- 17:30 - 18:00 - Vittorio Bard
###### Martin's conjecture and Borel monoid acts

- 09:30 - 10:00 - Gianluca Paolini
###### Automorphisms Groups and Reconstruction Problems

- 10:05 - 10:55 - David Aspero
###### Iterated forcing with side conditions and adding few new reals

- 10:55 – 11:20 - Coffee Break
- 11:20 - 11:50 - Giorgio Laguzzi
###### Egalitarian and Paretian principles vs irregular sets

- 11:55 - 12:25 - Giorgio Audrito
###### Normal systems of filters

- 12:30 - 13:00 - Philipp Moritz Lücke
###### Simply definable failures of weak compactness

- 13:00 – 15:00 - Lunch
- 14:25 – 14:55 - Discussion session: G. Basso e F. Damiani
- 15:00 - 15:50 - Mauro Di Nasso
###### Nonstandard natural numbers in combinatorics and Ramsey Theory

- 15:55 - 16:25 - Carlo Toffalori
###### The torsion free part of the Ziegler spectrum of orders over Dedekind domains

- 16:25 – 16:55 - Coffee Break
- 16:55 - 17:25 - Francesco Parente
###### On regular ultrafilters, Boolean ultrapowers, and Keisler's order

- Cena Sociale al Ristorante Quadre (map) Menù.

- 09:30 - 10:00 - Alessandro Vignati
###### Triviality and nontriviality of homeomorphisms of Cech-Stone remainders

- 10:05 - 10:55 - Alessandro Berarducci
###### Homotopy, dimension and hyperdefinability

- 10:55 – 11:20 - Coffee Break
- 11:20 - 11:50 - Philipp Schlicht
###### Class forcing and reverse mathematics of second-order set theory

- 11:55 - 11:25 - Marco Forti
###### Euclidean transfinite sums of integers and Euclidean numerosity of sets

- 12:30 - 13:00 - Alberto Marcone
###### When embeddability and epimorphism agree: strongly surjective linear orders

Alessando Andretta, *Università di Torino*.

David Aspero, *University of East Anglia*.

Giorgio Audrito, *Università di Torino*.

Silvia Barbina, *Open University*.

Vittorio Bard, *Università di Torino*.

Gianluca Basso, *Università di Torino, Université de Lausanne*.

Alessandro Berarducci, *Università di Pisa*.

Filippo Calderoni, *Università di Torino*.

Riccardo Camerlo, *Politecnico di Torino*.

Filippo Cavallari, *Università di Torino - Université de Lausanne*.

Fernando Damiani, *Università degli Studi di Roma La Sapienza*.

Mauro Di Nasso, *Università di Pisa*.

Vincenzo Dimonte, *Università degli Studi di Udine*.

Antongiulio Fornasiero, *Università di Firenze*.

Marco Forti, *Università di Pisa*.

Vassilis Gregoriades, *Università di Torino*.

Lorna Gregory, *Università di Camerino*.

Sonia L'Innocente, *Università di Camerino*.

Giorgio Laguzzi, *University of Freiburg*.

Philipp Moritz Lücke, *Mathematisches Institut der Universität Bonn*.

Lorenzo Luperi Baglini, *University of Vienna*.

Marcello Mamino, *TU Dresden*.

Francesco Mangraviti, *University Claude Bernard Lyon 1*.

Alberto Marcone, *Università di Udine*.

Luca Motto Ros, *Università di Torino*.

Gianluca Paolini, *Hebrew University of Jerusalem*.

Francesco Parente, *University of East Anglia*.

Philipp Schlicht, *Universität Bonn*.

Silvia Steila, *Universität Bern*.

Giuseppina Terzo, *Università degli Studi della Campania "L. Vanvitelli"*.

Carlo Toffalori, *Università di Camerino*.

Andrea Vaccaro, *Università di Pisa & York University*.

Manlio Valenti, *Università degli studi di Udine*.

Matteo Viale, *Università di Torino*.

Alessandro Vignati, *IMJ-PRG - Universite Paris 7*.

Domenico Zambella, *Università di Torino*.

L'incontro è generosamente sostenuto da:

- Progetto PRIN 2012 "Modelli e insiemi" (PI: Carlo Toffalori)

- Dipartimento di Matematica G. Peano, Torino