Recent seminar announcements- Ilya Shapirovsky: Modal logics of model-theoretic relations Toronto Set Theory Seminar
- David Asperó – Special $\aleph_2$-Aronszajn trees and GCH Kurt Godel Research Center
- Fabiana Castiblanco: Capturing tree forcing notions and some preservation results Prague Set Theory Seminar
- Dilip Raghavan: Order dimension NUS logic seminar
- Anush Tserunyan: Hyperfinite subequivalence relations of treed equivalence relations Carnegie Mellon Logic Seminar
- Monroe Eskew – Rigid ideals Kurt Godel Research Center
- David Chodounský – Silver forcing and P-points Kurt Godel Research Center
- Gerhard Jäger – From fixed points in weak set theories to some open problems Kurt Godel Research Center
- Piotr Koszmider: Uncountable constructions from CH using generic filters IMPAN working group in applications of set theory
- Clinton Conley: Realizing abstract systems of congruence II Carnegie Mellon Logic Seminar
-
- All posts in one feed:
- Follow us on Twitter:
- Follow us on Mastodon:
- All posts in one feed:
Recent discussions
First Girona inner model theory conference, Girona, July 16-27 2018 | Set Theory Talks on Münster conference on fine structure and inner model theory, July 20-24, 2015
GrothenDitQue: on Andrea Vaccaro: Embedding C*-algebras into the Calkin algebra
saf on Takeuti Memorial Symposium, Kobe, September 18 – 20, 2018
Recent and upcoming talks by Ilya Shapirovsky
Ilya Shapirovsky: Modal logics of model-theoretic relations
Place: Fields Institute (Room 210)
Date: October 19 , 2018 (13:30-15:00)
Speaker: Ilya Shapirovsky
Title: Modal logics of model-theoretic relations
Abstract: Consider a unary operation f on the set of sentences of a model-theoretic language L, and a set T of sentences of L. continue reading…
Ilya Shapirovsky: Locally finite varieties of modal algebras
Place: Fields Institute (Room 210)
Date: June 15, 2018 (13:30-15:00)
Speaker: Ilya Shapirovsky
Title: Locally finite varieties of modal algebras
Abstract: A modal algebra is a Boolean algebra enriched with an additive operation. continue reading…