Recent and upcoming talks by Toshimichi Usuba

6th European Set Theory Conference, Budapest, July 3–7, 2017

The 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 – 7, 2017. continue reading…

Infinite Combinatorics and Forcing Theory, Kyoto, November 28 – December 1, 2016

RIMS Workshop on Infinite Combinatorics and Forcing Theory November 28 – December 1, 2016 at the Research Institute for Mathematical Sciences (RIMS), Kyoto University The workshop website: http://www.ipc.shizuoka.ac.jp/~styorio/rims16/index.html Tutorial speakers: Natasha Dobrinen (University of Denver), Ramsey theory in forcing Yinhe Peng (University of Toronto), Negative partition relations on $\omega_1$ Speakers: Jörg Brendle (Kobe University), Maximal trees Fabiana Castiblanco (Universität Münster), Preserving sharps by tree forcings David Chodounsky (Institute of Mathematics of the Czech Academy of Science), Mathias-Prikry forcing and generic ultrafilters Sakaé Fuchino (Kobe University), Reflection theorems on non-existence of orthonormal bases of pre-Hilbert spaces Daisuke Ikegami (Tokyo Denki University), Boolean valued second order logic Diego A. continue reading…

TOPOSYM, July 25–29, 2016

Twelfth Symposium on General Topology and its Relations to Modern Analysis and Algebra www.toposym.cz Toposym 2016 will be held on July 25–29, 2016 in Prague, Czech Republic under the auspices of the Institute of Mathematics of the Academy of Sciences of the Czech Republic and the Faculty of Mathematics and Physics of the Charles University. continue reading…

Recent Developments in Axiomatic Set Theory, September 16-18, 2015

RIMS Set Theory Workshop 2015 Recent Developments in Axiomatic Set Theory   September 16 (Wed.) 14:20-14:50 Masaru Kada and Takuto Kato: Variants of AC under ZF minus union 15:10-15:40 Masaru Kada and Souji Shizuma: Some remarks on in nite hat guessing games 16:00-16:50 Makoto Takahashi: On non -shortness of Axiom A posets with frame systems September 17  (Thu.) 10:00-10:50 Teruyuki Yorioka: Some consistency results with the existence of a non special Aronszajn tree 11:10-12:00 David Chodounsky: F-Mathias reals and generic filters 14:00-14:50 Joel David Hamkins: Upward closure in the generic multiverse of a countable model of set theory 15:10-16:00 Toshimichi Usuba: Set-theoretic geology and large large cardinals 16:20-17:00 Tadatoshi Miyamoto: Side condition methods and morasses September 18 (Fri.) 9:00-9:50 Sakae Fuchino: On the superuniverse of the set theoretic multiverses 10:10-11:00 Hiroshi Sakai: Covering and approximation properties of ultrapower Venue Room 420, RIMS Kyoto Organizer Masahiro Shioya (University of Tsukuba), E-mail: shioya _at_ math.tsukuba.ac.jp continue reading…

The 13th Asian Logic Conference, September 16-20, 2013

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. continue reading…

Logic Colloquium 2013, July 22-27, 2013

Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013. Tutorials: » Ould Houcine (Université Lyon) » Luke Ong (University of Oxford) Plenary speakers: » Johan van Benthem (University of Amsterdam) » Mikolaj Bojanczyk (Warsaw University) » Jorg Brendle (Kobe University) » Stephen Lempp (University of Wisconsin-Madison) » Rosalie Iemhoff (Utrecht University) » François Loeser (Université Pierre et Marie Curie) » Maryanthe Malliaris (University of Chicago) » Andrey Morozov (Novosibirski State University) » Asger Tornquist (University of Copenhagen) » Vladimir Voevodsky (Institute for Advanced Study) Special sessions: » Logic and analysis (Organizers: Mauro Di Nasso and Imme van den Berg): – Hannes Diener (University of Siegen) – Bruno Dinis (Universidade Nova de Lisboa) – Isaac Goldbring (University of Illinois at Chicago) – Tom Lindstroem (University of Oslo) » Computability (Organizers: Valentina Harizanov and Félix Costa): – Samson Abramsky (University of Oxford) – Paul Shafer (Université Paris Diderot – Paris 7) – Amilcar Sernadas (Instituto Superior Técnico) – Mariya Soskova (Sofia University) » Model theory (Organizers: Katrin Tent and Mário Edmundo): – Artem Chernikov (The Hebrew University of Jerusalem) – Itay Kaplan (University of Münster) – Tamara Servi (CMAF Universidade de Lisboa) – Margaret Thomas (University of Konstanz) » Logical analysis of mathematical proofs (Organizers: Matthias Baaz and Fernando Ferreira): – Reinhard Kahle (Universidade Nova de Lisboa) – Alexander Kreuzer (Ecole Normale Supérieure de Lyon) – Alexander Leitsch (Vienna University of Technology) – Benno van den Berg (Utrecht University) » Set theory (Organizers: Sakae Fuchino and Boban Velickovic): – David Aspero (University of East Anglia) – Charles Morgan (University College London) – Ben Miller (University of Munster) – Toshimichi Usuba (Kobe University) continue reading…

International Conference on Topology and Geometry, September 2-6, 2013

  Joint with the 6th Japan-Mexico Topology Symposium, September 2 – 6, 2013 Shimane University and Osaka City University are organizing the international conference on Topology and Geometry 2013. The conference will take place at Shimane University, Matsue City, Japan, on September 2-6, 2013. continue reading…

Forcing extensions and large cardinals, December 4 – 7, 2012

Dates, venue, and organizer Dates: December 4 (Tue) – 7 (Fri), 2012 Venue: Room 111, Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan Organizer: Tadatoshi Miyamoto (Nanzan University). Overview By strengthening the standard Zermelo-Fraenkel axiom system of set theory (ZFC), one can decide a number of important statements in mathematics, like e.g. continue reading…