# Welcome to New York Logic

Welcome to New York Logic!

Sep 1 Monday Sep 2 Tuesday Sep 3 Wednesday Sep 4 Thursday Sep 5 Friday Sep 6 Saturday Sep 7 Sunday

Set theory seminarSep 5, 201410:00 am

go to the Calendar

## Upcoming talks and events:

Set theory seminarFriday, September 5, 201410:00 amGC 6417

# Local Ramsey theory: an abstract approach

University of Denver

This talk is about an abstract version of the notion of semi-selective co-ideal for subsets of a topological Ramsey space. This version is useful to characterize the corresponding generalization of the local Ramsey property in “topological terms”. We will also talk about forcing notions related to this abstract version of semi-selectivity, generalizing those related to Ellentuck’s space, and we will comment on some applications.

CUNY Logic WorkshopFriday, September 5, 20142:00 pmGC 6417

# Topological Ramsey spaces and Fraïssé structures

University of Denver

There seems to be a natural relationship between topological Ramsey spaces and Fraïssé classes of finite structures. In fact, for some Fraïssé classes satisfying the Ramsey property, it is possible to define a topological Ramsey space such that the Fraïssé limit of the class is essentially an element of the space. We will talk about examples of this phenomenon, describe the general case to some extent, and comment about how this could be understood as a abstract tool to classify Fraïssé structures.

Set theory seminarFriday, September 12, 201410:00 amGC 6417

# An alternate proof of the Halpern-Läuchli Theorem in one dimension

I will present a new proof of the strong subtree version of the Halpern-Läuchli Theorem, using an ultrafilter on $\omega$. The one dimensional Halpern-Läuchli Theorem states that for every finite partition of an infinite, finitely branching tree $T$, there is one piece $P$ of the partition and a strong subtree $S$ of $T$ such that $S \subseteq P$. This will cover the one dimensional case, with hopes that the proof can be extended to cover a product of trees.

CUNY Logic WorkshopFriday, September 12, 20142:00 pmGC 6417

# Computable algebra: a personal perspective

College of Staten Island - CUNY

I will give a brief overview of some of my recent research in the field of Computable Algebra, emphasizing connections between Computability Theory and Algebra. Some of the topics that I hope to cover include Artinian and Euclidean rings, as well as infinite dimensional vector spaces. There will be no proofs, just statements of theorems along with discussions on their logical and algebraic significance.

Friday, September 26, 2014

# No seminars on Sept. 26 or October 3

CUNY will have holidays on two consecutive Fridays, September 26 and October 3, 2014, so the Logic Workshop and other seminars will not meet on those days.

NERDS: New England Recursion & Definability SeminarSaturday, October 18, 2014Assumption College

# NERDS

The Autumn 2014 meeting of NERDS, the New England Recursion & Definability Seminar, will take place on Saturday, October 18 at Assumption College, in Worcester, MA, beginning at 11 a.m. The principal organizers are Brooke Andersen, Damir Dzhafarov, and Reed Solomon. Further details, including specific speakers and abstracts, will be posted here as they become available.

Kolchin seminar in Differential AlgebraFriday, October 31, 20141:00 pmGC 5382

# Title TBA

Notre Dame University
CUNY Logic WorkshopFriday, November 14, 20142:00 pmGC 6417

# Title TBA

Université Diderot – Paris 7
CUNY Logic WorkshopFriday, December 12, 20142:00 pmGC 6417

# Title TBA

University of Bristol