Tadatoshi Miyamoto is a professor of mathematics at Nanzan University of Nagoya, Japan.

His research interests are in set theory.
Past work has involved iterated forcing, combinatorial set theory, forcing axioms and large cardinals.
He is currently working on forcing axioms with extra structures.

He received his PhD in 1989 from Dartmouth College, under supervision of Jim Baumgartner.

# Recent and upcoming talks by Miyamoto Tadatoshi

## 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…

## 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 Sakae 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…

## Infinitary Combinatorics in Set Theory and Its Applications, November 10-13, 2014

RIMS Set Theory Workshop 2014 Infinitary Combinatorics in Set Theory and Its Applications November 10 – 13, 2014 Kyoto, Japan   Overview Infinitary Combinatorics is a classical and main topic of axiomatic set theory. continue reading…

## Workshop on Iterated Forcing and Large Cardinals, November 12-16, 2012

This workshop will take place at the Fields institute, as a part of the 2012 Thematic Program on Forcing and its Applications. Organizing Committee: Michal Hrusak Saharon Shelah W. Hugh Woodin Show Schedule Monday November 12 9:00-9:50 Tadatoshi Miyamoto (Nanzan University) A study of iterating semiproper forcing 10:00-10:50 David Aspero (Technische Universitaet Wien) 10:50-11:10 Coffee Break 11:10-12:00 Ralf Schindler (WWU Münster) An axiom LUNCH 15:00-15:50 Matteo Viale (University of Torino) Absoluteness of theory of 16:10-17:00 John Krueger (University of North Texas) Forcing with Models as Side Conditions Tuesday November 13 9:00-9:50 Tadatoshi Miyamoto (Nanzan University) A study of iterating semiproper forcing 10:00-10:50 Itay Neeman (University of California, Los Angeles) Higher analogs of the proper forcing axiom 10:50-11:10 Coffee Break 11:20-12:10 Moti Gitik (Tel-Aviv University) A weak generalization of SPFA to higher cardinals. continue reading…

## Miyamoto Tadatoshi: A limit stage for proper iterated forcing of length $\omega$

Friday, August 10 at 1:30pm Fields institute, Room 230 Speaker: Miyamoto Tadatoshi (Nanzan) Title: A limit stage for proper iterated forcing of length omega Abstract: Given any notion of forcing $P$ which is proper, we may form a bigger notion of forcing $Q$ with side conditions in such a way that $Q$ is proper and projects down to $P$. 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…