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: square principle

Set theory seminarFriday, February 28, 201410:00 amGC 6417

Grigor Sargsyan

Covering, core model induction, and hod mice (Part II)

Grigor Sargsyan

Rutgers University

We will discuss recent covering principles and show how they can be used to derive strength from failure of square.

HODcore modelinner model theorymicesquare principle

Set theory seminarFriday, February 14, 201410:00 amGC6417

Grigor Sargsyan

Covering, core model induction and hod mice

Grigor Sargsyan

Rutgers University

We will discuss recent covering principles and show how they can be used to derive strength from failure of square.

HODcore modelinner model theorymicesquare principle

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