• 21 Citations
  • 2 h-Index
20082018
If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2008 2018

  • 21 Citations
  • 2 h-Index
  • 6 Article
  • 1 Conference contribution

On a class of maximality principles

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

Research output: Contribution to journalArticle

Maximality
2 Citations (Scopus)

Boolean-valued second-order logic

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

Research output: Contribution to journalArticle

Universal Gröbner basis associated with the maximum flow problem

Watanabe, S., Watanabe, Y. & Ikegami, D., 2013 Feb 1, In : Japan Journal of Industrial and Applied Mathematics. 30, 1, p. 39-50 12 p.

Research output: Contribution to journalArticle

Integer programming
Networks (circuits)

The axiom of real Blackwell determinacy

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

Research output: Contribution to journalArticle

Axiom
12 Citations (Scopus)

Forcing absoluteness and regularity properties

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

Research output: Contribution to journalArticle