Blog Archives

Topic Archive: interstices

Models of PAWednesday, April 24, 20136:30 pmGC 4214.03

Erez Shochat

Regular Interstices

St. Francis College

We define the notion of a regular interstice and show that every regular interstice has elements realizing selective types.

Models of PAWednesday, March 13, 20138:00 amGC 4214.03

Tin Lok Wong

Generalizing the notion of interstices

Ghent University

I will present a generalization of the notion of interstices that
originated from the study of generic cuts.

Models of PAWednesday, February 27, 20136:30 pmGC 4214.03

Erez Shochat

Introduction to interstices and intersticial gaps II

St. Francis College
Models of PAWednesday, February 20, 20136:30 pmCUNY Graduate Center in room 4214.03.

Erez Shochat

Introduction to interstices and intersticial gaps

St. Francis College

Let M be a model of PA for which Th(M) is not Th(N) (N is the standard model). Then M has nonstandard definable elements. Let c be a non-definable element. The largest convex set which contains c and no definable elements is called the interstice around c. In this talk we discuss various properties of interstices. We also define intersticial gaps which are special subsets of interstices. We show that the set of the intersticial gaps which are contained in any given interstice of a countable arithmetically saturated model of PA is a dense linear order.