Journées sur les Arithmétiques Faibles
Weak Arithmetics Days
CUNY Graduate Center July 7-9 2015

Conference Information


Confirmed speakers include:
Sam Buss (University of California, San Diego)
Andrés Cordón Franco (Universidad de Sevilla)
Petr Glivický (Charles University)
Joel David Hamkins (CUNY)
Karen Lange (Wellesley College)
Ermek Nurkhaidarov (Penn State Mont Alto)
James Schmerl (University of Connecticut)
Jerzy Tomasik (University of Auvergne)
Henry Towsner (University of Pennsylvania)
Keita Yokoyama (JAIST)

Titles and Abstracts

A complete list of titles and abstracts for all talks can be found here.

Registration and participants

To register please send an e-amil to jafnyc2015@gmail.com stating your intention to attend and including your contact and institutional information.


The conference will take place at the CUNY Graduate Center, room 4102 (The Science Center). NB: Please take note of the room number as it was initially posted incorrectly.
The CUNY Graduate Center is located on the Northeast corner of 34th Street and 5th Avenue in Manhattan. The address of the CUNY Graduate Center is:
CUNY Graduate Center
365 Fifth Avenue
New York, New York

Please note that upon entering the building you will be asked to sign in with security.


The conference will take place from July 7 to July 9 2015. A schedule for the meeting can be found here.


This meeting is partially supported by The National Science Foundation through the Mid Atlantic Mathematical Logic Seminar (MAMLS). Funding is available to support participant travel. Please write to jafnycfund@gmail.com forwarding mail to Arthur Apter to apply for support.

Local Information

Hotels: There are many good hotel options in close proximity to the CUNY Graduate Center. Please contact an organizer if you would like more information.

Further information

Further information on JAF may be found at the JAF website or by contacting jafnyc2015@gmail.com.

For more information on logical happenings in New York City see New York Logic webpage.

Slides From The Talks

Sam Buss: "Provably Total Search Problems of Second-Order Bounded Arithmetic"
Andrés Cordón Franco: Defining The Standard Cut In Existentially Closed Models of Arithmetic"
Petr Glivický: "Linear Fragments of Peano Arithmetic"
Joel David Hamkins: "The Absolute Truth About Non-Absolute Truth"
Karen Lange: "Representing Scott Sets In Algebraic Settings"
Ermek Nurkhaidarov: "Generic Automorphisms In Models Of Peano Arithmetic"
James Schmerl: "Models of TA_2"
Henry Towsner: "Infinite Model Theory In Finite Model Theory"