Recent and upcoming talks by Kaethe Minden

BEST 2016 slides

The 23rd BEST conference was held June 15–16 in San Diego, CA. Shehzad Ahmed – Jonsson cardinals and pcf theory Liljana Babinkostova – A weakening of the closure operator Kyle Beserra – On the conjugacy problem for automorphisms of countable regular trees Erin Carmody – Killing them softly William Chan – Every analytic equivalence relation with all Borel classes is Borel somewhere John Clemens – Relative primeness of equivalence relations Paul Corazza – The axiom of infinity, quantum field theory, and large cardinals Cody Dance – Indiscernibles for $L[T_2,x]$ Natasha Dobrinen – Ramsey spaces coding universal triangle-free graphs and applications to Ramsey degrees Paul Ellis – A Borel amalgamation property Monroe Eskew – Rigid ideals Daniel Hathaway – Disjoint Borel functions Jared Holshouser – Partition properties for non-ordinal sets under the axiom of determinacy Paul McKenney – Automorphisms of $\mathcal P(\lambda)/\mathcal I_\kappa Kaethe Minden – Subcomplete forcing and trees Daniel Soukup – Orientations of graphs with uncountable chromatic number Simon Thomas – The isomorphism and bi-embeddability relations for finitely generated groups Douglas Ulrich – A new notion of cardinality for countable first order theories Kameryn Williams – Minimal models of Kelley-Morse set theory Martin Zeman – Master conditions from huge embeddings continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, March 19, 2013 2:00 pm Speaker: Stan Wainer The Leeds Logic Group, University of Leeds Title: Computing Bounds from Arithmetical Proofs We explore the role of the function a+2^x, and its generalizations to higher number classes, in analyzing and measuring the computational content of a broad spectrum of arithmetical theories. continue reading…

This Week in Logic at CUNY

  November 27, Time 2:00 – 4:00 PM, Room 3309 Speaker: Melvin Fitting, CUNY Title: Possible world semantics for first order LP Abstract: Propositional Justification Logics are modal-like logics in which the usual necessity operator is split into a family of more complex terms called justifications. continue reading…

This Week in Logic at CUNY

Set Theory Seminar Friday, March 30, 2012 10:00 am GC 6417 Ms. Kaethe Minden Consistency and Applications of the Diamond Principle Model Theory Seminar Friday, March 30, 2012 12:30 pm GC 6417 Mr. continue reading…