*

日本数学会

数学

TOP Page > 日本数学会の出版物 > 「数学」 > 電子版へのインターフェース > 論説(数理論理と基礎論)

「数学」− 論説 1. 数理論理と基礎論(51巻から60巻)

松原 洋
NON-STATIONARY IDEALとUNIVERSE OF SETS 51(1), pp. 18-
渕野 昌
Forcing Axiomsと連続体問題―公理的集合論の最近の話題から― 56(3), pp. 248-
新井敏康
Hilbertの第2問題に関する証明論の展開 57(2), pp. 113-
村上雅彦
超準宇宙の表現 59(1) pp. 46-
黒田 覚
限定算術と計算量理論の最近の話題 60(2) pp. 156-

「数学」− 論説 1. 数理論理と基礎論(1巻から50巻)

雨宮一郎
Non-standard analysis について 16(3), pp. 158-
新井敏康
竹内の基本予想について 40(4), pp. 322-
上江洲忠弘
無限に長い命題をもつ論理について 21(3), pp. 189-
江田勝哉
アーベル群への集合論の応用 43(2), pp. 128-
小野勝次
名古屋グループの論理学研究 20(3), pp. 154-
倉田令二朗
トポスの基礎Part I−論理からみたトポス− 35(1), pp. 50-
小寺平治
Forcing の概念のGödel numbering について 20(2), pp. 99-
近藤基吉
選択公理 17(1), pp. 13-
齋藤正彦
超準解析とはどういうものか 38(2), pp. 133-
島内剛一
証明のプログラミング 15(1), pp. 48-
白井古希男
$\varepsilon$-symbol をもつ直観主義のpredicate calculus について 24(4), pp. 269-
鈴木義人
解析の模型について 19(3), pp. 129-
赤 摂也
機械による数学の証明のプログラム−推理解析学の現状− 12(2), pp. 114-
高野道夫
Gödel のprimitive recursive functional をめぐって 29(4), pp. 289-
高橋正子
言語構造への数学的アプローチ−tree の概念を中心にして− 27(3), pp. 241-
高橋正子
言語と$\omega$言語 38(4), pp. 302-
高橋元男
Simple type theory について 20(3), pp. 129-
高橋元男
公理的集合論のモデルについて 22(3), pp. 161-
高橋元男
多値論理とその代数 29(2), pp. 135-
竹内外史
数学の基礎について 2(1), pp. 16-
竹内外史
最近の集合論 23(1), pp. 18-
竹内外史
計算量理論と証明論 39(2), pp. 110-
竹内外史
Bounded Arithmetic と計算量の根本問題 49(2), pp. 121-
武内謙介
自由代数系の語の問題 8(4), pp. 218-
田中一之
‘逆・数学’と2階算術の証明論 42(3), pp. 244-
田中尚夫
解析的整列順序とBasis theorem 23(3), pp. 177-
田中尚夫
決定性公理に関する最近までの諸結果について−無限ゲームの理論− 29(1), pp. 53-
田中尚夫
数学基礎論的手法の計算量理論への応用(付:数学他分野との関連) 48(4), pp. 372-
坪井明人
最近のモデル理論について 47(1), pp. 62-
難波完爾
Measurable cardinals について 18(3), pp. 159-
難波完爾
算術的拡大作用素について 22(2), pp. 92-
難波完爾
ブール代数値の集合論 26(4), pp. 289-
西村敏男
Gödel の定理をめぐって 11(1), pp. 1-
広瀬 健
Unsolvability の degree について 17(2), pp. 72-
広瀬 健
Hilbert の第10 問題をめぐって−否定的解決− 25(1), pp. 1-
福山 克
Admissible 集合およびadmissible順序数上のrecursion theory 序説 25(2), pp. 120-
藤野精一
計算機構論 15(1), pp. 12-
前原昭二
Craig の interpolation theorem 12(4), pp. 235-
本橋信義
真概念の数学的定義とモデルの理論 37(4), pp. 305-
八杉満利子
Ordinal Diagram について 26(2), pp. 121-
八杉満利子
‘Ordinal Diagram について’の訂正 28(4), pp. 383-
八杉満利子・鷲原雅子
解析学における計算可能性構造 50(2), pp. 130-
安本雅洋
Nonstandard arithmetic 39(4), pp. 320-
遊上 毅
Kreisel の予想について 38(1), pp. 30-