*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:

http://nylogic.org/MAMLS_GC_2012/MAMLS_GC_2012/MAMLS_GC_2012_talks

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:

http://nylogic.org/MAMLS_GC_2012/MAMLS_GC_2012/MAMLS_GC_2012_talks

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)

TBA

–