Fixed Point Theory in Weak Second-Order Arithmetic
スポンサーリンク
概要
著者
-
田中 一之
東北大学理学研究科
-
塩路 直樹
Department of Information Science, Tokyo Institute of Technology
-
田中 一之
Department of Information Science, Tokyo Institute of Technology
-
塩路 直樹
横浜国立大学大学院工学研究院
関連論文
- $\mathbb{R}^N$におけるある楕円型方程式に対する符号変化する解の多重存在性を含む解の多重性の結果について(変分問題とその周辺)
- ある特異楕円型方程式の正値解の多重存在性について (非線形解析学と凸解析学の研究)
- 特異性を持つポテンシャルに対するNON-COLLISIONな周期軌道の存在について (非線形解析学と凸解析学の研究)
- 鞍点型条件のもとでの発展方程式に対する周期解の存在について (非線形解析学と凸解析学の研究)
- Determinacy of infinite games and inductive definition in second order arithmetic (形式体系と計算理論--RIMS共同研究報告集)
- Network games with many attackers and defenders (形式体系と計算理論--RIMS共同研究報告集)
- A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)
- 5. 逆数学と最近の数学基礎論 ( 逆計算: 計算の理論における逆問題)
- 2階算術の諸体系:モデル論的手法による分析 その2(証明論と逆数学)
- On weak determinacy of infinite binary games(Study of definability in nonstandard models of arithmetic)
- Infinite games and set existence axioms (Proof Theory and Computation Theory)
- 数学基礎論の伝統と新しい手法 : 逆数学
- 超算術的選択公理HACとその仲間たち (シークエント計算による証明論)
- 2階算術における実数と複素数 (圏論と証明論の新たな融合を目指して)
- 2階算術と有界選択公理 (2階算術の諸体系の研究)
- 2階算術の諸体系 : モデル論的手法による分析 その3(証明論における順序数)
- Fixed Point Theory in Weak Second-Order Arithmetic
- A semilinear elliptic problem with singularity (Variational Problems and Related Topics)
- Determinacy of Infinite Games and Inductive Definition in Second Order Arithmetic (Formal Systems and Computality Theory)
- Network Games with Many Attackers and Defenders (Formal Systems and Computality Theory)
- MULTIPLE SIGN-CHANGING SOLUTIONS FOR AN ASYMPTOTICALLY LINEAR ELLIPTIC PROBLEM (Progress in Variational Problems : New Trends of Geometric Gradient Flow and Critical Point Theory)
- 個体群推移行列システムの拡張による成長と繁殖の評価(新しい生物数学の研究交流プロジェクト)
- EXISTENCE OF SOLUTIONS FOR CAUCHY PROBLEMS AND PERIODIC PROBLEMS WITH MULTIVALUED PSEUDO MONOTONE OPERATORS (Nonlinear Analysis and Convex Analysis)
- EXISTENCE OF PERIODIC SOLUTIONS FOR NONLINEAR EVOLUTION EQUATIONS IN BANACH SPACES
- 非拡大写像及び非拡大半群に対する強収束定理(非線形解析学と凸解析学の研究)
- CONVERGENCE OF APPROXIMATED SEQUENCES FOR NONEXPANSIVE MAPPINGS(Nonlinear Analysis and Convex Analysis)
- EXISTENCE OF PERIODIC SOLUTIONS FOR NONLINEAR EVOLUTION EQUATIONS WITH PSEUDO MONOTONE OPERATORS(Nonlinear Analysis and Convex Analysis)
- LOCAL EXISTENCE THEOREMS FOR NONLINEAR DIFFERENTIAL EQUATIONS AND COMPACTNESS OF INTEGRAL SOLUTIONS IN $L^p(0,T;X)$(Nonlinear Analysis and Convex Analysis)
- On uniformly convex functions and uniformly smooth functions(Nonlinear Analysis and Mathematical Economics)
- KKM定理について(非線形解析学と数理経済学の研究)
- 数学基礎論の伝統と新しい手法 : 逆数学
- Values on generalized reachability games (Proof theory and complexity)
- UNIQUENESS OF POSITIVE RADIAL SOLUTIONS OF $\rm{\Delta u+g(r)u+h(r)u^p=0}$ AND ITS APPLICATIONS (Global qualitative theory of ordinary differential equations and its applications)