New York Logic

|Logic talks and events in New York

Menu

Skip to content

Home
About
Calendar
Seminars
Speakers
Conferences
New York Logic Blog

Blog Archives

Topic Archive: selective types

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

Regular Interstices

St. Francis College

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

intersticesselective types

Search

Welcome new speakers

Notre Dame University

Upcoming talks

No items found

Recent Posts

NYLOGIC.ORG NOT WORKING RIGHT: LINK TO TEMPORARY WEB PAGE
Rohit Parikh 80th Birthday Conference
No seminars on Nov. 25
Northeast Regional Model Theory Days
No CUNY Logic Workshop on October 21

Topics

algebraic geometry algorithmic randomness Berkeley Boolean algebras Chicago commutative algebra Complexity computability computable model theory CUNY definability descriptive set theory Diamond differential algebra Epistemic Game Theory epistemic logic field theory forcing Graduate Center group theory HOD indestructibility infinite chess justification logic large cardinals Lattices of elementary substructures modal logic Models of PA model theory New York nonstandard analysis nonstandard models Notre Dame University Peano arithmetic philosophical logic philosophy philosophy of mathematics philosophy of set theory proof theory Ramsey theory reverse mathematics set-theoretic geology set theory UConn VC-dimension

Meta

Register
Log in
Entries feed
Comments feed
WordPress.org