Daisuke Ikegami

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Determinacy and regularity properties for idealized forcings Mathematical Logic Quarterly	2023-09-12	Paper
Preservation of AD via forcings	2023-04-02	Paper
Forcing over choiceless models and generic absoluteness	2022-12-29	Paper
On supercompactness of $\omega_1$ (available as arXiv preprint)	2022-11-11	Paper
$I$-regularity, determinacy, and $\infty$-Borel sets of reals	2021-08-14	Paper
On supercompactness of $\omega_1$ (available as arXiv preprint)	2019-04-03	Paper
Borel subsets of the real line and continuous reducibility Fundamenta Mathematicae	2019-02-01	Paper
On a class of maximality principles Archive for Mathematical Logic	2018-08-16	Paper
Boolean-valued second-order logic Notre Dame Journal of Formal Logic	2015-05-22	Paper
Boolean-valued second-order logic Notre Dame Journal of Formal Logic	2015-05-22	Paper
Universal Gröbner basis associated with the maximum flow problem Japan Journal of Industrial and Applied Mathematics	2013-03-15	Paper
The axiom of real Blackwell determinacy Archive for Mathematical Logic	2013-02-04	Paper
Forcing absoluteness and regularity properties Annals of Pure and Applied Logic	2011-08-26	Paper
Projective absoluteness for Sacks forcing Archive for Mathematical Logic	2009-10-23	Paper
Modal Fixed-Point Logic and Changing Models Pillars of Computer Science	2008-03-25	Paper
Gröbner bases of certain zero-dimensional ideals arising in coding theory Advances in Applied Mathematics	2003-12-03	Paper

Research outcomes over time

This page was built for person: Daisuke Ikegami