• 22 引用
  • 2 h指数
20082019
Pureに変更を加えた場合、すぐここに表示されます。

研究成果 2008 2019

  • 22 引用
  • 2 h指数
  • 6 Article
  • 1 Conference contribution
2019

Borel subsets of the real line and continuous reducibility

Ikegami, D., Schlicht, P. & Tanaka, H., 2019 1 1, : : Fundamenta Mathematicae. 244, 3, p. 209-241 33 p.

研究成果: Article

2018

On a class of maximality principles

Ikegami, D. & Trang, N., 2018 8 1, : : Archive for Mathematical Logic. 57, 5-6, p. 713-725 13 p.

研究成果: Article

Maximality
2015
2 引用 (Scopus)

Boolean-valued second-order logic

Ikegami, D. & Väänänen, J., 2015 1 1, : : Notre Dame Journal of Formal Logic. 56, 1, p. 167-190 24 p.

研究成果: Article

2012

The axiom of real Blackwell determinacy

Ikegami, D., de Kloet, D. & Löwe, B., 2012 10 1, : : Archive for Mathematical Logic. 51, 7-8, p. 671-685 15 p.

研究成果: Article

Axiom
2010
13 引用 (Scopus)

Forcing absoluteness and regularity properties

Ikegami, D., 2010 4 1, : : Annals of Pure and Applied Logic. 161, 7, p. 879-894 16 p.

研究成果: Article

2009
1 引用 (Scopus)

Projective absoluteness for Sacks forcing

Ikegami, D., 2009 9 1, : : Archive for Mathematical Logic. 48, 7, p. 679-690 12 p.

研究成果: Article

Sack
2008
6 引用 (Scopus)

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. (版). p. 146-165 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 4800 LNCS).

研究成果: Conference contribution