Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Teruyuki Yorioka"'
Autor:
TERUYUKI YORIOKA
Publikováno v:
The Journal of Symbolic Logic. :1-34
In this paper we build an Asperó–Mota iteration of length $\omega _2$ that adds a family of $\aleph _2$ many club subsets of $\omega _1$ which cannot be diagonalized while preserving $\aleph _2$ . This result discloses a technical limitation of so
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0148a4ee50de02828c310de419255c46
https://doi.org/10.1017/jsl.2022.37
https://doi.org/10.1017/jsl.2022.37
Autor:
Teruyuki Yorioka, Tadatoshi Miyamoto
Publikováno v:
Archive for Mathematical Logic. 60:737-748
Moore introduced the Mapping Reflection Principle and proved that the Bounded Proper Forcing Axiom implies that the size of the continuum is $$\aleph _2$$ . The Mapping Reflection Principle follows from the Proper Forcing Axiom. To show this, Moore u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5803ba8b0715d1c901fc740440bf7a0
https://doi.org/10.1007/s00153-020-00756-1
https://doi.org/10.1007/s00153-020-00756-1
Autor:
Tadatoshi Miyamoto, Teruyuki Yorioka
Publikováno v:
Fundamenta Mathematicae. 251:35-68
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf5c4e74cacbc2cb66e0066070fa32f3
https://doi.org/10.4064/fm814-11-2019
https://doi.org/10.4064/fm814-11-2019
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on
Publikováno v:
J. Math. Soc. Japan 72, no. 2 (2020), 413-433
In this paper it is proved that, when $Q$ is a quiver that admits some closure, for any algebraically closed field $K$ and any finite dimensional $K$-linear representation $\mathcal{X}$ of $Q$, if ${\rm Ext}^1_{KQ}(\mathcal{X},KQ)=0$ then $\mathcal{X
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1693e8adc2ab4c2296eb24cf7d8cbad5
http://arxiv.org/abs/1802.08836
http://arxiv.org/abs/1802.08836
Autor:
Teruyuki Yorioka
Publikováno v:
Mathematical Logic Quarterly. 61:169-178
One of the main problems about is that whether a coherent Suslin tree forces that there are no S-spaces under . We analyze a forcing notion related to this problem, and show that under , S forces that every topology on ω1 generated by a basis in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57bc4f6016131a098ec2cf356e499e2e
https://doi.org/10.1002/malq.201300066
https://doi.org/10.1002/malq.201300066
Autor:
Teruyuki Yorioka
Publikováno v:
Commentationes Mathematicae Universitatis Carolinae. 56:125-132
In [Two examples of Borel partially ordered sets with the countable chain condition, Proc. Amer. Math. Soc. 112 (1991), no. 4, 1125–1128], Todorcevic introduced a ccc forcing which is Borel definable in a separable metric space. In [On Todorcevic o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b7bb4d39974c72eac3df589ea3025b8
https://doi.org/10.14712/1213-7243.015.111
https://doi.org/10.14712/1213-7243.015.111
Autor:
Teruyuki Yorioka
Publikováno v:
Fundamenta Mathematicae. 231:139-159
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c778f14b248da95ec1db653bc3b5bed
https://doi.org/10.4064/fm231-2-3
https://doi.org/10.4064/fm231-2-3
Autor:
Teruyuki Yorioka
Publikováno v:
J. Math. Soc. Japan 69, no. 3 (2017), 913-943
Recently, David Asperó and Miguel Angel Mota discovered a new method of iterated forcing using models as side conditions. The side condition method with models was introduced by Stevo Todorčević in the 1980s. The Asperó–Mota iteration enables u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f08d1942af40ba6111bca31d26736a2
https://doi.org/10.2969/jmsj/06930913
https://doi.org/10.2969/jmsj/06930913
Autor:
Teruyuki Yorioka
Publikováno v:
Notre Dame J. Formal Logic 58, no. 3 (2017), 381-396
We show that, under $\mathsf{PFA}(S)$ , a coherent Suslin tree forces that every two Aronszajn trees are club-isomorphic.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65ca1290b989e7ed13980707aa0cc10b
https://doi.org/10.1215/00294527-3882335
https://doi.org/10.1215/00294527-3882335