# This Week in Logic at CUNY

This Week in Logic at CUNY:

– – – – Monday, May 9, 2011 – – – –

– – – – Tuesday, May 10, 2011 – – – –

– – – – Wednesday, May 11, 2011 – – – –

Models of Peano Arithmetic
Wednesday, May 11, 2011 4:00 pm Math Thesis Room (GC 4214-03) Professor Erez Shochat (St. Francis College)
Elementary Cuts in Saturated Models

Abstract. We review recent results of Schmerl concerning elementary cuts in saturated models of PA. In particular, we discuss theories of pairs of the form (N,M) where N is a saturated model of PA and M is an elementary cut of N.

– – – – Thursday, May 12, 2011 – – – –

Computational Logic Seminar
*new time/day this week only*
Room 3309, 1:00 – 3:00 PM, Thursday, May 12, 2011.
Speaker: Evan Goris (GC CUNY)
This week CL seminar will feature an official talk by Evan Goris (GC CUNY) on his cryptography dissertation work.

The Computer Science Colloquium
Thursday, May 12th, 4:15pm, room 9204/05

Rohit Parikh
Brooklyn College & CUNY Graduate Center
Knowledge, Common Knowledge, and Games

– – – – Friday, May 13, 2011 – – – –

Model Theory Seminar
Friday, May 13, 2011 12:30 pm GC 6417
Professor Philipp Rothmaler (The City University of New York, BCC) The Ziegler spectrum – an invitation to the model theory of modules

Abstract. A breakthrough in the model theory of modules with many important implications for and applications to the algebraic theory, especially to the representation theory of associative algebras, was achieved by Ziegler’s introduction of a topological space whose points are the indecomposable pure-injective (= algebraically compact = pp-saturated) R-modules and whose topology is given by positive primitive formulas in the first-order language of R-modules. The paradigm in the field ever since has been, once you know the Ziegler spectrum of R, you more or less know the entire category of R-modules.

I will introduce this crucial object of study, give examples, and explain its role in the field, both on the algebraic and on the model-theoretic sides.

http://home.mathematik.uni-freiburg.de/ziegler/Preprints.html

Logic Workshop
Friday, May 13, 2011 2:00 pm GC 6417
Professor David Marker (University of Illinois at Chicago) Absoluteness in Model Theory

Abstract. In his book “Saturated Model Theory” Sacks points out that many of the fundamental concepts of model theory, though appearing to rely on set theoretic concepts, are absolute. I will survey some of the known results on the complexity of notions from model theory of first order logic and $L_{omega_1,omega}$.

Logic and Games Seminar
Friday, May 13, 2011 4:15 pm GC, Room 4419
Professor Branden Fitelson (Department of Philosophy, Rutgers University) The Wason Task(s) and the Paradox of Confirmation

Abstract. The Wason Selection Task is a well-known “reasoning fallacy” from the contemporary cognitive science literature. The Paradox of Confirmation is an Old Chestnut from 20th century philosophy of science. I will sketch out an analogy between the Wason Selection Task(s) and the Paradox of Confirmation. This will mainly involve going through some existing historical discussions concerning the analogy, and developing a precise framework for refining and critiquing the analogy. I will explain what I think is right about the existing literature, and also what I think is wrong with it (i.e., what I think the disanalogies are). Along the way, I will make various historical observations about confirmation theory and some of the contemporary evaluative assessments of the behavior of subjects faced with Wason Task(s).

Next Week in Logic at CUNY:

– – – – Monday, May 16, 2011 – – – –

– – – – Tuesday, May 17, 2011 – – – –

– – – – Wednesday, May 18, 2011 – – – –

– – – – Thursday, May 19, 2011 – – – –

– – – – Friday, May 20, 2011 – – – –

Logic and Games Seminar
Friday, May 20, 2011 4:15 pm GC, Room 4419
Professor Juliet Floyd (Boston University)
TBA

– – – – Other Logic News – – – –

– – – – Web Site – – – –

The majority of this information, including an interactive calendar of future events, can be found at our website:

http://nylogic.org/Calendar