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.

Link to the original paper:

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: