メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Keio University ホーム
ヘルプ＆FAQ
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
A linear conservative extension of zermelo-fraenkel set theory
Masaru Shirahata
研究成果
:
Article
›
査読
3
被引用数 (Scopus)
概要
フィンガープリント
フィンガープリント
「A linear conservative extension of zermelo-fraenkel set theory」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。
並べ替え順
重み付け
アルファベット順
Arts & Humanities
Axioms
32%
Conservative Extension
99%
Cut-elimination
93%
Linear Logic
44%
Regularity
34%
Sequent Calculus
44%
Set Theory
77%
Zermelo
100%
Mathematics
Abstraction
36%
Axiom
29%
Cut-elimination
84%
Imply
21%
Linear Logic
40%
Partial
22%
Regularity
23%
Sequent Calculus
40%
Set Theory
69%
Term
36%
Theorem
13%