27 found
Order:
  1.  17
    Boolean Valued Dedekind Domains.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (5-6):65-76.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  16
    Foundations of Boolean Valued Algebraic Geometry.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (26-30):421-438.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  16
    On the Absoluteness of Types in Boolean Valued Lattices.Hirokazu Nishimura - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):241-246.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  16
    Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):367-384.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  16
    Some Connections Between Boolean Valued Analysis and Topological Reduction Theory for C*-Algebras.Hirokazu Nishimura - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):471-479.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  16
    A Preservation Theorem for Tense Logic.Hirokazu Nishimura - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (19-21):331-335.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  16
    Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.Hirokazu Nishimura - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (31):481-490.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  16
    The Semantical Characterization of de Dicto in Continuous Modal Model Theory.Hirokazu Nishimura - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (15):233-240.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  14
    On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (31):487-496.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  16
    Boolean Valued Lie Algebras.Hirokazu Nishimura - 1991 - Journal of Symbolic Logic 56 (2):731-741.
    In this paper we study a certain class of Lie algebras over commutative von Neumann algebras satisfying a certain finiteness condition. By using Boolean valued methods developed by Takeuti [8]-[11], we will establish the basic structure and representation theorems.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  19
    Is the Semantics of Branching Structures Adequate for Non-Metric Ockhamist Tense Logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):477 - 478.
  12.  10
    Is the Semantics of Branching Structures Adequate for Chronological Modal Logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):469 - 475.
  13.  14
    Sequential Method in Quantum Logic.Hirokazu Nishimura - 1980 - Journal of Symbolic Logic 45 (2):339-352.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  14.  6
    A Boolean Transfer Principle From L*‐Algebras to AL*‐Algebras.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):241-250.
    Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  12
    Hauptsatz for Higher-Order Modal Logic.Hirokazu Nishimura - 1983 - Journal of Symbolic Logic 48 (3):744-751.
  16.  5
    Boolean Valued Dedekind Domains.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (5‐6):65-76.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17.  12
    Model Theory for Tense Logic: Saturated and Special Models with Applications to the Tense Hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
    The aims of this paper are: (1) to present tense-logical versions of such classical notions as saturated and special models; (2) to establish several fundamental existence theorems about these notions; (3) to apply these powerful techniques to tense complexity.In this paper we are concerned exclusively with quantifiedK 1 (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  18.  2
    On a Duality Between Boolean Valued Analysis and Topological Reduction Theory.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):23-32.
    By creating an unbounded topological reduction theory for complex Hilbert spaces over Stonean spaces, we can give a category-theoretic duality between Boolean valued analysis and topological reduction theory for complex Hilbert spaces. MSC: 03C90, 03E40, 06E15, 46M99.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19.  3
    Foundations of Boolean Valued Algebraic Geometry.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (26‐30):421-438.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20.  3
    On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Mathematical Logic Quarterly 25 (31):487-496.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    On the Absoluteness of Types in Boolean Valued Lattices.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (3):241-246.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  1
    Boolean Valued and Stone Algebra Valued Measure Theories.Hirokazu Nishimura - 1994 - Mathematical Logic Quarterly 40 (1):69-75.
    In conventional generalization of the main results of classical measure theory to Stone algebra valued measures, the values that measures and functions can take are Booleanized, while the classical notion of a σ-field is retained. The main purpose of this paper is to show by abundace of illustrations that if we agree to Booleanize the notion of a σ-field as well, then all the glorious legacy of classical measure theory is preserved completely.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  23.  1
    Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.Hirokazu Nishimura - 1980 - Mathematical Logic Quarterly 26 (31):481-490.
  24.  1
    The Semantical Characterization of de Dicto in Continuous Modal Model Theory.Hirokazu Nishimura - 1981 - Mathematical Logic Quarterly 27 (15):233-240.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    A Preservation Theorem for Tense Logic.Hirokazu Nishimura - 1980 - Mathematical Logic Quarterly 26 (19‐21):331-335.
  26. Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (23‐24):367-384.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27. Some Connections Between Boolean Valued Analysis and Topological Reduction Theory for C*‐Algebras.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (5):471-479.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography