新井 敏康

Predicatively unprovable termination of the Ackermannian Goodstein process 

2019年6月1日

Cut-elimination for $\omega_{1}$ 

Annals of Pure and Applied Logic 169(12) 1246 - 1269 2018年12月  査読有り

Cut-eliminability in second order logic calculi 

Annals of the Japan Association for Philosophy of Science 27 45 - 60 2018年9月  査読有り

Proof-theoretic strengths of weak theories for positive inductive definitions 

Journal of Symbolic Logic 83(3) 1091 - 1111 2018年9月  査読有り

Derivatives of normal functions and omega-models 

Archive for Mathematical Logic 57 649 - 664 2018年8月  査読有り

集合・論理と位相 

東京図書  2016年 (ISBN: 9784489022494) 

数学基礎論 = Mathematical logic 

岩波書店  2016年 (ISBN: 9784007304590) 

証明が終わったあとに 

日本評論社  2015年3月 

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 

World Scientific  2012年 (ISBN: 9789814360531) 

Mahlo classes for first-order reflections 

2019年10月15日

Proof-theoretic strengths of the well ordering principles 

2018年11月

Axiomatizing some small classes of set functions 

2017年8月

Hydra games for omega_{1} 

2015年8月7日

A simplified ordinal analysis of first-order reflection 

2015年6月17日

Search problems in bounded arithmetics 

A Proof Theory Workshop 2010年3月   招待有り

Search problems in bounded arithmetics 

A Proof Theory Workshop 2010年3月   招待有り

集合論の証明論へ 

神奈川大学 2010年2月   招待有り

In germ 

Leeds Symposium on Proof Theory and Constructivism 2009年7月   招待有り

Provably $\Delta^{0}_{2}$ and weakly descending chains of ordinals, 

Eleventh Asian Logic Conference 2009年6月   招待有り