Recent and upcoming talks by Erin Carmody

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…

23rd Boise Extravaganza in Set Theory, June 15-16, 2016

BOISE EXTRAVAGANZA IN SET THEORY (BEST) – ANNOUNCEMENT 1. Conference Website: http://diamond.boisestate.edu/~best/ DATE: June 15 – 16, 2016 WHERE: University of San Diego The 23-rd annual meeting of BEST will be hosted at the University of San Diego as a symposium of the 97th annual meeting of the American Association for the Advancement of Science – Pacific Division (AAAS-PD). continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, October 22, 2013 2:00 pm Graduate Center, rm, 3209 Speaker: Melvin Fitting Lehman College – CUNY Graduate Center Title: Justification Logic Semantics: A Little New, but Mostly Old Link: http://nylogic.org/talks/justification-logic-semantics-a-little-new-but-mostly-old Possible world semantics was introduced for justification logic in 2005. continue reading…

New York Graduate Student Logic Conference, April 18-19, 2013

We are pleased to announce the fourth New York Graduate Student Logic Conference will be held Thursday and Friday, April 18-19, 2013, at the CUNY Graduate Center located in midtown Manhattan. continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar December 4, Time 2:00 – 4:00 PM, Room 3309 Speaker: Konstantinos Pouliasis, CUNY Graduate Center Title: Extending Curry – Howard Isomorphism With Justifications Abstract: In this talk we discuss JCalc – a typed lambda calculus in the extension of Curry-Howard isomorphism appropriate for the {->} fragment of Justification Logic. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Time 2:00 – 4:00 PM, February 14, Room 3209 Speaker: Antonis Achilleos (Graduate Center) Title: The complexity of multi-agent explicit knowledge II. Models of Peano Arithmetic Wednesday, February 15, 2012 6:30 pm Room 4214-03 ((Note: new day and time)) Professor Roman Kossak (The City University of New York) More on open problems in Models of PA Set Theory Seminar Friday, February 17, 2012 10:00 am GC 6417 Ms. continue reading…