高橋 真 | 神戸大学発達科学部

スポンサーリンク

概要

• 高橋 真の詳細を見る
• 同名の論文著者
• 神戸大学発達科学部の論文著者

関連著者

• 高橋 真

  神戸大学発達科学部

• 高橋 真

  早稲田大学理工学部

• 廣瀬 健

  早稲田大学

• 広瀬 健

  東京教育大学理学部

• 廣瀬 健

  本会理事:早稲田大学理工学部

著作論文

• Sheaves of B-Valued Structures (ブ-ル代数値の解析学と超準解析)
• Some characterizations of strongly $\sigma$-short Boolean Algebras (Forcing Method and Large Cardinal Axioms)
• On uncountable representability of cBa under $\neg$CH(Metamathematics and it's applications)
• Completeness of A[B](Foundational Study and Its Applications)
• Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
• Iterated Boolean Powers (Boole代数値の解析学と超準解析)
• Sheaf of Structuresにより保存されるSentenceについて (数学基礎論)

スポンサーリンク