Welcome to New York Logic

Welcome to New York Logic!

Sep 28 Wednesday Sep 29 Thursday Sep 30 Friday Oct 1 Saturday Oct 2 Sunday Oct 3 Monday Oct 4 Tuesday
Models of PASep 28, 20166:30 pm

Computational Logic SeminarSep 29, 20164:00 pm
Cherlin Weekend at Rutgers
Rutgers University, Hill 705.
DART VII
various CUNY campuses
Sep 30, 20164:00 pm
Cherlin Weekend at Rutgers
Rutgers University, Hill 705.
DART VII
various CUNY campuses

go to the Calendar

 

Upcoming talks and events:

Computational Logic SeminarThursday, September 29, 20164:00 pmGraduate Center, rm. 8400
Sam Sanders

The unreasonable effectiveness of Nonstandard Analysis.

Department of Mathematics, Ghent University

Nonstandard Analysis (NSA) was introduced around 1965 by Robinson as a formalization of the intuitive infinitesimal calculus which is in use to date in most of physics and historically in mathematics until the advent of Weierstrass’ epsilon-delta framework. Famous people like Connes and Bishop have derided NSA for its alleged utter lack of computational/effective/constructive content. In this talk I show that every theorem of ‘pure’ NSA can be (equivalently) converted to a theorem of computable mathematics. In many cases, the resulting theorem is even constructive in the sense of Bishop.

Friday, September 30, 2016
Sunday, October 2, 2016

Cherlin Weekend at Rutgers

Rutgers University, Hill 705.


Rutgers University will hold a conference in honor of Professor Gregory Cherlin on September 30 – October 2, 2016. Details are available here. Due to this meeting and the DART VII conference, there will be no Logic Workshop on September 30. For those not going to Rutgers, do notice the NY Group Theory Seminar talk by Miasnikov, announced below.

Friday, September 30, 2016
Tuesday, October 4, 2016

DART VII

various CUNY campuses


DART VII, the seventh meeting of the conference series Differential Algebra and Related Topics, will take place at the CUNY Graduate Center (and other CUNY venues) from September 30 – October 4, 2016. Information about this conference is available here. It will include talks by Alexander Buium, Zoe Chatzidakis, Taylor Dupuy, James Freitag, Victor Kac, Joel Nagloo, Anand Pillay, and Thomas Scanlon, among others.

Friday, September 30, 20164:00 pmGC 5417This talk is sponsored by the New York Group Theory Seminar.
Alexei Miasnikov

What do group rings know about the groups?

Stevens Institute of Techology

How much information about a group G is contained in the group ring K(G) for an arbitrary field K? Can one recover the algebraic or geometric structure of G from the ring? Are the algorithmic properties of K(G) similar to that of G? I will discuss all these questions in conjunction with the classical Kaplansky-type problems for some interesting classes of groups, in particular, for limit, hyperbolic, and solvable groups. At the end I will touch on the solution to the generalized 10th Hilbert problem in group rings and how equations in groups are related to equations in the group rings. The talk is based on joint results with O. Kharlampovich.

Models of PAWednesday, October 5, 20166:30 pmGC 4214-03
Kameryn Williams

Models of arithmetic with two expansions to $ACA_0$, Part 1

The CUNY Graduate Center

In this talk and its sequel I will construct models of arithmetic with exactly two expansions to a model of $ACA_0$. To do so, I will use a modified version of Keisler’s construction of a rather-classless model. This talk will focus on this construction, while in Part 2 I will show how to use this construction to get the result.

Set theory seminarFriday, October 7, 201610:00 amGC 6417
Daniel Rodriguez

The uniqueness of $\mathbb R$-supercompactness measures in ZFC

Carnegie Mellon University

${\rm AD}_{\mathbb R}$ is a strengthening of the determinacy axiom that states that all games on the real numbers are determined. It is a Theorem of Solovay that under ${\rm ZF}+{\rm AD}_{\mathbb R}$ there is a fine, countably complete and normal filter on $P_{\omega_1}(\mathbb R)$, so $\omega_1$ is $\mathbb R$-supercompact. The exact consistency strength of the theory ${\rm ZF}+ {\rm AD}+$“$\omega_1$ is $\mathbb{R}$-supercompact” is, however, weaker than the one of ${\rm ZF}+{\rm AD}_{\mathbb R}$.
One central interest of Inner Model Theory is to construct/find canonical models for theories extending ${\rm ZF}$. A natural question is, then, whether there is a canonical model for the theory ${\rm ZF}+ {\rm AD}+$“$\omega_1$ is $\mathbb{R}$-supercompact”.
In this talk, we will discuss the consistency strength and minimal models of this theory. We will discuss the proof of the uniqueness of minimal models of this theory, under various appropriate hypotheses. And time permitting we will discuss the proof of the result that under ${\rm ZFC}$ there is at most one minimal model of this theory. This is joint work with Nam Trang.

Model theory seminarFriday, October 7, 201612:30 pmGC 6417
Roman Kossak

Complexity of classification problems for a class of discretely ordered rings

The City University of New York

I will give a standard introduction to the theory of Borel reducibility, including some details for non-logicians. The rest of the talk will be about some results in classification problems for countable nonstandard models of arithmetic due to Samuel Coskey and myself.

CUNY Logic WorkshopFriday, October 7, 20162:00 pmGC 6417
Ilijas Farah

Some necessary applications of logic to operator algebras

York University

Connections between logic and operator algebras in the past century were few and sparse. Recently, some long-standing open problems on the structure of operator algebras were solved using methods from mathematical logic. I will survey some of these results, with a particular emphasis on applications of set theory.

Set theory seminarModel theory seminarCUNY Logic WorkshopFriday, October 14, 2016

No logic seminars on October 14


Since CUNY will follow a Tuesday schedule on Friday, October 14, we will not have any of the usual Friday logic seminars that day.

CUNY Logic WorkshopFriday, October 21, 20162:00 pmGC 6417
Michał Tomasz Godziszewski

Title TBA

NERDS: New England Recursion & Definability SeminarSunday, November 6, 2016

Autumn 2016 NERDS at Wellesley College

Wellesley College


The Autumn 2016 meeting of NERDS, the New England Recursion and Definability Seminar, will take place on Sunday, November 6 at Wellesley College, in Wellesley, MA. Details will be posted here as they become available.

CUNY Logic WorkshopFriday, November 11, 20162:00 pmGC 6417
Andre Nies

Title TBA

University of Auckland
CUNY Logic WorkshopFriday, December 2, 20162:00 pmGC 6417
Reed Solomon

Title TBA

University of Connecticut