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: theoretical CS

Michael Pinsker

Université Diderot – Paris 7

KGRCParis 7Ramsey theorymodel theorytheoretical CSuniversal algebra

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