This Week in Logic at CUNY


Models of Peano Arithmetic
Monday, March 5, 2012 7:00 pm Math Thesis Room (Room 4214-03)
Professor Erez Shochat (St. Francis College)
Automorphism groups of saturated models of PA (part II)


Other New York Logic Events
Tuesday, March 6, 2012 10:30 am GC 4430
Ms. Rebecca M. Steiner (The CUNY Graduate Center)
Dissertation Defense

Abstract. Ms. Steiner will defend her dissertation, entitled
Reducibility, Degree Spectra, and Lowness in Algebraic Structures.
This is a public event. All interested parties are invited to attend.

Computational Logic Seminar
Time 2:00 – 4:00 PM, March 6, Room 3209
Speaker: Cagil Tasdemir (CUNY)
Title: DKAL and Infon Logic

Abstract: Distributed Knowledge Authorization Language (DKAL) is a
logic-based language for managing policies and trust in distributed
scenarios. In the DKAL world, principals (agents) have their own
states and compute their own knowledge. DKAL is based on a logic of
information called infon logic developed by Gurevich et al. Infons are
declarative statements viewed as pieces of information and can be
communicated from one principal to another. We will present the syntax
and semantics for infon logic and discuss the soundness and
completeness results.


Model Theory, Number Theory, Algebraic Geometry Umbrella series
Wednesday, March 7, 2012 4:30 pm Room C201
MONTAGU / Spring2012 + Model Theory Seminar / Spring2012
Dr. Ivan Tomasić (Queen Mary, University of London)
A twisted theorem of Chebotarev

Abstract. We will discuss a function field version of a theorem of
Chebotarev describing the distribution of local Frobenius elements
associated with a Galois covering of difference-algebraic varieties.
The result is stated in a shape of a trace formula, and one crucial
ingredient is Hrushovski’s twisted Lang-Weil estimate for the number
of points of a difference variety over the algebraic closure of a
finite field with a power of Frobenius. We will also give a general
description of definable sets over fields with Frobenius in terms of
twisted Galois covers.

MONTAGU is an interdisciplinary seminar organized by Roman Kossak,
Philipp Rothmaler, Hans Schoutens, and Lucien Szpiro

– – – – Friday, Mar 9, 2012 – – – –

CONFERENCE: Spring 2012 Mid-Atlantic Mathematical Logic Seminar
For talk abstracts and further details visit the website:

Friday, March 9, 2012 1:00 pm GC 4102 (Science Center)
Professor Mariya Soskova (Sofia University Faculty of Mathematics
and Informatics)
Extensions of the Turing model for relative definability

Friday, March 9, 2012 2:00 pm GC 4102 (Science Center)
Dr. David Aspero (University of Vienna, Insitute for Logic)
Wishful thinking in set theory: Omega-completeness and maximality

Friday, March 9, 2012 3:30 pm GC 4102 (Science Center)
Professor Jouko Väänänen (University of Helsinki and University of Amsterdam)
Sort Logic and Foundations of Mathematics

Friday, March 9, 2012 4:45 pm GC 4102 (Science Center)
Panel discussion: the unity and diversity of logic
The panelists will be Prof. Gregory Cherlin, Prof. Joel David Hamkins,
Prof. Rohit Parikh, and Prof. Jouko Väänänen, with the discussion
moderated by Prof. Russell Miller. Questions and participation from
the audience are encouraged.

– – – Saturday, March 10, 2012 – – – –

CONFERENCE: Spring 2012 Mid-Atlantic Mathematical Logic Seminar
For talk abstracts and further details visit the website:

Saturday, March 10, 2012 10:00 am Baruch College – Room 4120 VC
Professor Jan Reimann (Pennsylvania State University)
Degree-invariant functions and uniform Borel reductions

Saturday, March 10, 2012 11:00 am Baruch College – Room 4120 VC
Professor Henry Towsner (University of Connecticut)
Extracting information from proofs of sentences with set quantifiers

Saturday, March 10, 2012 2:00 pm Baruch College – Room 4120 VC
Professor Juliette Kennedy (University of Helsinki)
Change the logic, change the meaning? Quine’s dictum, formalism
freeness, and inner models from extended logics

Saturday, March 10, 2012 3:00 pm Baruch College – Room 4120 VC
Professor Karen Lange (Wellesley College)
Degrees of orderings on torsion-free abelian groups

Saturday, March 10, 2012 4:30 pm Baruch College – Room 4120 VC
Professor Gregory Cherlin (Rutgers University)
Metrically homogeneous graphs

Next Week in Logic at CUNY:

– – – – Monday, Mar 12, 2012 – – – –

Models of Peano Arithmetic
Monday, March 12, 2012 7:00 pm Room 4214-03
Professor Alfred Dolich (Kingsborough Community College)
The D’Auquino Knight Starchenko Theorem

– – – – Tuesday, Mar 13, 2012 – – – –

Computational Logic Seminar
Time 2:00 – 4:00 PM, March 13, Room 3209
Speaker: Yuri Gurevich (Microsoft Research)
Title: TBA

– – – – Wednesday, Mar 14, 2012 – – – –

– – – – Thursday, Mar 15, 2012 – – – –

– – – – Friday, Mar 16, 2012 – – – –

Other New York Logic Events
Friday, March 16, 2012 12:00 pm TBA
Mr. Brent Cody (The Graduate Center of The City University of New York)
Some results on large cardinals and the continuum function

Abstract. The speaker will defend his dissertation.

Model Theory Seminar
Friday, March 16, 2012 12:30 pm GC 6417
Mr. Whanki Lee (CUNY Graduate Center)
Chronically resplendent models and totally resplendent models.

Logic Workshop
Friday, March 16, 2012 2:00 pm GC 6417
Professor Julia Knight (University of Notre Dame)

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.