Recent and upcoming talks by Miha Habic

Miha Habič: The grounded Martin’s axiom

Dear all, The seminar meets on Wednesday September 13th at 11:00 in the Institute of Mathematics CAS, Zitna 25, seminar room, 3rd floor, front building. Program: Miha Habič — The grounded Martin’s axiom We will examine the notion of a grounded forcing axiom, which asserts that the universe is a forcing extension by a forcing notion from a particular class and that the usual forcing axiom holds for forcings from that class coming from the ground model of the extension. continue reading…

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…