Recent and upcoming talks by Miha Habic

BEST 2015 slides

The 22nd BEST conference was held June 14–17 in San Francisco, CA. Mirna Džamonja – FAC and WQO orders and their ordinal invariants Luke Serafin – Cardinal invariants of generalized continua Ari Brodsky – A microscopic approach to higher Suslin tree constructions Ola Kwiatkowska – Dynamics of the homeomorphism group of the Lelek fan Paul Ellis – The conjugacy problem for countable homogeneous structures Trevor Wilson – Covering properties of derived models Miha Habic – Joint Laver diamonds Bill Chen – Scales in Prikry extensions Rodrigo Dias – Productively countably tight spaces and selective games Steven Clontz – Limited information strategies in infinite games Liljana Babinkostova – The selective strong screen ability game Spencer Unger – Baire measurable paradoxical decompositions via matchings Diana Ojeda-Aristizábal – Finite forms of Gowers’ FINk theorem continue reading…

22nd Boise Extravaganza in Set Theory, June 15-17, 2015

Boise Extravaganza in Set Theory June 15 – 17, 2015 San Francisco State University math.boisestate.edu/~best/ At present plenary speakers for BEST 2015 include: Dr. Rodrigo Dias, University of Sao Paulo, Brazil Dr. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, November 5, 2013 2:00 pm Graduate Center, rm. 3209 Speaker: Elena Nogina The City University of New York Title: Reflection Principles Involving Provability and Explicit Proofs Link: http://nylogic.org/talks/reflection-principles-involving-provability-and-explicit-proofs  Reflection principles are classical objects in proof theory and the areas studying Gödel’s Incompleteness. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, March 12, 2013 12:01 am Speaker: Hitoshi Omori Kobe University, Visiting Fellow, Grad Center, CUNY Title: Expanding the realm of the idea of da Costa Non-classical logics that deny ex falso quod libet are said to be paraconsistent. continue reading…