Login / Signup
Tadatoshi Miyamoto
Publication Activity (10 Years)
Years Active: 2002-2021
Publications (10 Years): 2
Top Topics
Free Energy
Equational Theories
Unit Length
Top Venues
Arch. Math. Log.
</>
Publications
</>
Tadatoshi Miyamoto
,
Teruyuki Yorioka
Forcing the Mapping Reflection Principle by finite approximations.
Arch. Math. Log.
60 (6) (2021)
Tadatoshi Miyamoto
Codings and strongly inaccessible cardinals.
Arch. Math. Log.
56 (7-8) (2017)
Tadatoshi Miyamoto
On Iterating Semiproper Preorders.
J. Symb. Log.
67 (4) (2002)