Daisuke Ikegami - My portal

Profile Information

Affiliation: Associate Professor, Department of Philosophy, Sun Yat-sen University

Degree: Ph.D. (Mathematics)(Jun, 2010, University of Amsterdam)

Researcher number: 20747208
J-GLOBAL ID: 201101025121779551
researchmap Member ID: B000001185

Hello! I am an associate professor in set theory in Guangzhou, China.

Research Interests

Research Areas

Natural sciences / Basic mathematics / Mathematical Logic

Research History

Sep, 2023 - Present

Associate Professor, Department of Philosophy, Sun Yat-sen University
Apr, 2020 - Aug, 2023

Associate Professor, College of Engineering, Shibaura Institute of Technology
Apr, 2018 - Aug, 2023

Associate Professor, SIT Research Laboratories, Shibaura Institute of Technology
Oct, 2015 - Mar, 2018

Non-tenure track assistant professor, Department of Mathematics, School of Engineering, Tokyo Denki University
Oct, 2014 - Sep, 2015

Part-time lecturer, Kobe University
Apr, 2014 - Sep, 2015

JSPS postdoctoral fellow (domestic), Graduate School of System Informatics, Kobe University
Nov, 2013 - Mar, 2014

Postdoctoral researcher, Department of Mathematics, University of Turin
Sep, 2011 - Aug, 2013

Postdoctoral researcher (JSPS fellow), University of California, Berkeley
Aug, 2010 - Aug, 2011

Post-doctoral researcher, University of Helsinki
Mar, 2006 - Jun, 2010

Ph.D. student, Universiteit van Amsterdam
Apr, 2004 - Mar, 2006

Master Student, Nagoya University
Apr, 2000 - Mar, 2004

Undergraduate Student, The University of Tokyo

Education

Mar, 2006 - Jun, 2010

Institute for Logic, Language and Computation, University of Amsterdam
Apr, 2004 - Mar, 2006

Department of Computer Science and Mathematical Informatics, Granduate school of information science., Nagoya University
Apr, 2000 - Mar, 2004

Department of Mathematics, Faculty of Scinece, University of Tokyo

Awards

Sep, 2010

Dissertation prize, Deutsche Vereinigung für Mathematische Logik (DVMLG)

Daisuke Ikegami

Committee Memberships

Jul, 2021 - Jun, 2023

雑誌「数学」編集委員会常任編集委員, 日本数学会

Papers

49

Preservation of AD via forcings

Daisuke Ikegami, Nam Trang

Apr, 2023
55

Forcing over choiceless models and generic absoluteness

Daisuke Ikegami, Philipp Schlicht

Dec, 2022
83

Determinacy and regularity properties for idealized forcings

Daisuke Ikegami

Mathematical Logic Quarterly, 68(3) 310-317, Aug, 2022 Peer-reviewed
61

On Supercompactness of $\omega _1$

Daisuke Ikegami, Nam Trang

Springer Proceedings in Mathematics and Statistics 369, 27-45, 2022 Peer-reviewed
207

Borel subsets of the real line and continuous reducibility

Daisuke Ikegami, Philipp Schlicht, Hisao Tanaka

Fundamenta Mathematicae, 244(3) 209-241, 2019 Peer-reviewed
56

On a class of maximality principles

Daisuke Ikegami, Nam Trang

Archive for Mathematical Logic, 57(5-6) 713-725, Aug, 2018 Peer-reviewed
112

Notes on Bl-AD_{\omegea_1}

Daisuke Ikegami

RIMS Kokyuroku, 2042 72-74, Jul, 2017
42

Boolean-Valued Second-Order Logic

Daisuke Ikegami, Jouko Vaananen

NOTRE DAME JOURNAL OF FORMAL LOGIC, 56(1) 167-190, Mar, 2015 Peer-reviewedInvited
102

The axiom of real Blackwell determinacy

Daisuke Ikegami, David de Kloet, Benedikt Lowe

ARCHIVE FOR MATHEMATICAL LOGIC, 51(7-8) 671-685, Nov, 2012 Peer-reviewed
89

Real Determinacy and real Blackwell Determinacy

Daisuke Ikegami

RIMS Kokyuroku, 1754 32-74, Aug, 2011
105

Borel approximation of coanalytic sets with Borel sections and the regularity properties for sets of reals

Daisuke Ikegami

RIMS Kokyuroku, 1754 21-31, Aug, 2011
130

Forcing absoluteness and regularity properties

Daisuke Ikegami

ANNALS OF PURE AND APPLIED LOGIC, 161(7) 879-894, Apr, 2010 Peer-reviewed
35

Projective absoluteness for Sacks forcing

Daisuke Ikegami

ARCHIVE FOR MATHEMATICAL LOGIC, 48(7) 679-690, Oct, 2009 Peer-reviewed
33

Modal fixed-point logic and changing models

Johan van Benthem, Daisuke Ikegami

PILLARS OF COMPUTER SCIENCE, 4800 146-+, 2008 Peer-reviewed

Misc.

62

Note on alternating chains

Daisuke Ikegami, Ralf Schindler

Books and Other Publications

数学セミナー 2022年8月号

(Role: Contributor, 集合論の公理 pp. 23-29)

日本評論社, Jul, 2022
数学セミナー 2020年1月号

(Role: Contributor, coffee break ／「高速道路」とこれからの数学 pp. 1)

日本評論社, Dec, 2019
数学セミナー 2019年7月号

(Role: Contributor, coffee break／Scottish Café とこれからのカフェ pp. 1)

日本評論社, Jun, 2019
数学セミナー 2018年9月号

ルベーグの間違いと記述集合論の誕生 pp. 30-35 (Role: Contributor)

日本評論社, Aug, 2018
数学セミナー 2016年10月号

測度と巨大基数 pp. 36-42 (Role: Contributor)

日本評論社, Sep, 2016

Presentations

Preservation of AD via forcings

Sep 15, 2022
I-regularity, determinacy, and Solovay models

Daisuke Ikegami

Mar 29, 2022
Regularity properties, determinacy, and Solovay models

Daisuke Ikegami

Dagstuhl Seminar - Descriptive Set Theory and Computable Topology, Nov 16, 2021
AD in L(R) and a Woodin cardinal in HOD in L(R)

Daisuke Ikegami

Kobe Set Theory Workshop 2021, Mar 11, 2021 Invited
ゲーデルのLとその一般化について

池上大祐

科学基礎論学会2019年度研究例会、ワークショップ「ゲーデルと21世紀の論理学」, Nov 30, 2019 Invited
On supercompactness of ω_1

池上大祐

日本数学会年会2019年度秋期総合分科会、数学基礎論および歴史分科会, Sep 19, 2019
On supercompactness of omega_1

Asian Logic Conference 2019, Jun 21, 2019 Invited
On preserving AD via forcings

Daisuke Ikegami

Sendai Logic School 2018, Dec 8, 2018 Invited
On preserving AD via forcings

Daisuke Ikegami

RIMS Set Theory Workshop 2018, Nov 6, 2018
On large cardinal properties of ω_1

Daisuke Ikegami

Symposium on Advances in Mathematical Logic 2018, Sep 18, 2018
On preserving AD via forcings

KNAW Academy Colloquium Generalised Baire Spaces, Aug 24, 2018 Invited
On preserving AD via forcings

Daisuke Ikegami

Logic in Southern California, Gathering the tribe, Mar 10, 2018 Invited
On supercompactness of omega_1

The 2nd Pan Pacific International Conference on Topology and Applications, Nov 16, 2017 Invited
Generic absoluteness without Choice

池上大祐

Greater Tokyo Bayshore Set Theory Meeting Summer 2017, Aug, 2017
On supercompactness of ω_1

池上大祐

Greater Tokyo Bayshore Set Theory Meeting Spring 2017, Mar, 2017
On supercompactness of ω_1

池上大祐

日本数学会年会2017年度年会、数学基礎論および歴史分科会, Mar 24, 2017
選択公理と巨大基数

池上大祐

第４回山陰基礎論・解析学研究集会, Jan 6, 2017
Boolean valued second order logic

Daisuke Ikegami

RIMS Set Theory Workshop 2016, Dec 1, 2016
２階論理とブール値２階論理

池上大祐

科学基礎論学会2016年度研究例会、ワークショップ「2階論理の意味論」, Nov 5, 2016 Invited
Boolean valued second order logic

池上大祐

Greater Tokyo Bayshore Set Theory Meeting Autumn2016, Oct 30, 2016

Professional Memberships

Sep, 2008 - Present

European Set Theory Society
Jul, 2006 - Present

Association for Symbolic Logic
Sep, 2014 - Sep, 2023

The Mathematical Society of Japan

Research Projects

Large cardinals, determinacy, and the analysis of the Chang+ model

Grants-in-Aid for Scientific Research, (C), Japan Society for the Promotion of Science, Apr, 2019 - Aug, 2023
On large cardinal properties of the least uncoutable cardinal

The Sumitomo Foundation, Nov, 2019 - Nov, 2022

Daisuke Ikegami
Goedel's program, large cardinal axioms, and forcing axioms

Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B), Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2018

IKEGAMI Daisuke, Viale Matteo
内部モデルとブール値高階論理・Ω論理

科学研究費助成事業特別研究員奨励費, 特別研究員奨励費, 日本学術振興会, Apr, 2014 - Mar, 2016

池上大祐