Completeness of A[B](Foundational Study and Its Applications)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 高橋 真

  神戸大学発達科学部

• 高橋 真

  早稲田大学理工学部

関連論文

• 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について (数学基礎論)
• 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)

スポンサーリンク