Welcome to New York Logic

Welcome to New York Logic!

Nov 23 Sunday Nov 24 Monday Nov 25 Tuesday Nov 26 Wednesday Nov 27 Thursday Nov 28 Friday Nov 29 Saturday

go to the Calendar


Upcoming talks and events:

Model theory seminarFriday, December 5, 201410:45 amGC 5382
Will Boney

Tameness in abstract elementary classes

University of Illinois Chicago

Tameness is a locality property of Galois types in AECs. Since its isolation by Grossberg and VanDieren 10 years ago, it has been used to prove new results (upward categoricity transfer, stability transfer) and replace set-theoretic hypotheses (existence of independence notions). In this talk, we will outline the basic definitions, summarize some key results, and discuss some open questions related to tameness.

Set theory seminarFriday, December 5, 201412:00 pm
Andrew Brooke-Taylor

Title TBA

University of Bristol
CUNY Logic WorkshopFriday, December 5, 20142:00 pmGC 6417
Russell Miller

Computable functors and effective interpretations

City University of New York

We give an overview of a number of recent results in computable model theory, by various researchers (not necessarily including the speaker). The results are not all directly connected to each other, but they serve to illustrate the principle that much of the work in this discipline can be viewed through the prism of functors, on categories C and D whose elements are countable (or computable) structures and whose morphisms are isomorphisms (not necessarily computable). Ideally, such a functor F from C to D should be effective: given a structure M from C as an oracle, it should compute the structure F(M) in D, and given a C-morphism g from M to N as an oracle, it should compute the D-morphism F(g) from F(M) to F(N). Moreover, one would hope for F to be full and faithful, as a functor, and to have a computable inverse functor. In practice, it is unusual for an F to have all of these properties, and for particular applications in computable model theory, only certain of the properties are needed. Many familiar examples will be included to help make these concepts clear.

Recent joint work by Harrison-Trainor, Melnikov, Montalbán, and the speaker has established that computable functors are closely connected to Montalban’s notion of effective interpretation of one class C of countable structures in another class D. We will explain the connections and discuss the extent to which they realize the model-theorist’s suspicion that functors are really just another version of interpretations.

CUNY Logic WorkshopFriday, December 12, 20142:00 pmGC 6417
Andrew Brooke-Taylor

Title TBA

University of Bristol