An Approach to the Dimension Theory of Continuous Geometry from the Standpoint of Boolean Valued Analysis

スポンサーリンク

概要

• 論文の詳細を見る

• Recently Boolean valued analysis (i.e., analysis based on Boolean valued set theory) has been extensively studied by G. Takeuti [14–16]. The main purpose of this paper is to show, by using this technique, that any continuous geometry can be viewed as an irreducible continuous geometry in its center valued set theory. This makes the transition from irreducible continuous geometries to reducible ones automatic.

• 京都大学の論文

著者

• Nishimura Hirokazu

  Research Institute For Mathematical Sciences Kyoto University

関連論文

• Heyting Valued Set Theory and Sato Hyperfunctions
• Some Applications of Boolean Valued Set Theory to Abstract Harmonic Analysis on Locally Compact Groups
• Propositional Dynamic Logic for Concurrent Programs
• Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs
• An Approach to the Dimension Theory of Continuous Geometry from the Standpoint of Boolean Valued Analysis
• Semantical Analysis of Constructive PDL
• A Study of Some Tense Logics by Gentzen's Sequential Method
• A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains
• Boolean Valued Decomposition Theory of States

スポンサーリンク