年別の研究成果
年別の研究成果
検索結果
-
2022
Determinacy and regularity properties for idealized forcings
Ikegami, D., 2022 8月, In: Mathematical Logic Quarterly. 68, 3, p. 310-317 8 p.研究成果: Article › 査読
-
2021
On Supercompactness of ω1
Ikegami, D. & Trang, N., 2021, Advances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Selected, Revised Contributions. Arai, T., Kikuchi, M., Kuroda, S., Okada, M. & Yorioka, T. (eds.). Springer, p. 27-45 19 p. (Springer Proceedings in Mathematics and Statistics; vol. 369).研究成果: Conference contribution
-
2019
Borel subsets of the real line and continuous reducibility
Ikegami, D., Schlicht, P. & Tanaka, H., 2019, In: Fundamenta Mathematicae. 244, 3, p. 209-241 33 p.研究成果: Article › 査読
8 被引用数 (Scopus) -
2018
On a class of maximality principles
Ikegami, D. & Trang, N., 2018 8月 1, In: Archive for Mathematical Logic. 57, 5-6, p. 713-725 13 p.研究成果: Article › 査読
1 被引用数 (Scopus) -
2015
Boolean-valued second-order logic
Ikegami, D. & Väänänen, J., 2015, In: Notre Dame Journal of Formal Logic. 56, 1, p. 167-190 24 p.研究成果: Article › 査読
3 被引用数 (Scopus) -
2012
The axiom of real Blackwell determinacy
Ikegami, D., de Kloet, D. & Löwe, B., 2012 10月, In: Archive for Mathematical Logic. 51, 7-8, p. 671-685 15 p.研究成果: Article › 査読
Open Access -
2010
Forcing absoluteness and regularity properties
Ikegami, D., 2010 4月, In: Annals of Pure and Applied Logic. 161, 7, p. 879-894 16 p.研究成果: Article › 査読
Open Access20 被引用数 (Scopus) -
2009
Projective absoluteness for Sacks forcing
Ikegami, D., 2009 9月, In: Archive for Mathematical Logic. 48, 7, p. 679-690 12 p.研究成果: Article › 査読
Open Access1 被引用数 (Scopus) -
2008
Modal fixed-point logic and changing models
Van Benthem, J. & Ikegami, D., 2008 8月 27, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Avron, A., Dershowitz, N. & Rabinovich, A. (eds.). p. 146-165 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4800 LNCS).研究成果: Conference contribution
8 被引用数 (Scopus)