Daisuke Ikegami

From MaRDI portal
(Redirected from Person:636330)



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!

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


Research outcomes over time


This page was built for person: Daisuke Ikegami