27 found
Order:
  1.  33
    Boolean Valued Dedekind Domains.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (5-6):65-76.
  2.  29
    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  
     
    Bookmark  
  3.  28
    A Preservation Theorem for Tense Logic.Hirokazu Nishimura - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (19-21):331-335.
  4.  26
    Foundations of Boolean Valued Algebraic Geometry.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (26-30):421-438.
  5.  25
    Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):367-384.
  6.  25
    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.
  7.  24
    On the Absoluteness of Types in Boolean Valued Lattices.Hirokazu Nishimura - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):241-246.
  8.  27
    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  
     
    Bookmark   1 citation  
  9.  21
    On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (31):487-496.
  10.  21
    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  
     
    Bookmark  
  11.  31
    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.  24
    Sequential Method in Quantum Logic.Hirokazu Nishimura - 1980 - Journal of Symbolic Logic 45 (2):339-352.
  13.  22
    Is the Semantics of Branching Structures Adequate for Chronological Modal Logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):469 - 475.
  14.  24
    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  
     
    Bookmark  
  15.  10
    On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Mathematical Logic Quarterly 25 (31):487-496.
  16.  13
    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  
     
    Bookmark  
  17.  13
    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  
     
    Bookmark  
  18.  14
    Foundations of Boolean Valued Algebraic Geometry.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (26‐30):421-438.
  19.  13
    On the Absoluteness of Types in Boolean Valued Lattices.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (3):241-246.
  20.  24
    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  
     
    Bookmark  
  21.  12
    Boolean Valued Dedekind Domains.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (5‐6):65-76.
  22.  22
    Hauptsatz for Higher-Order Modal Logic.Hirokazu Nishimura - 1983 - Journal of Symbolic Logic 48 (3):744-751.
  23.  8
    Some Connections Between Boolean Valued Analysis and Topological Reduction Theory for C*‐Algebras.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (5):471-479.
  24.  7
    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.
  25.  9
    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  
     
    Bookmark  
  26.  6
    Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (23‐24):367-384.
  27.  6
    A Preservation Theorem for Tense Logic.Hirokazu Nishimura - 1980 - Mathematical Logic Quarterly 26 (19‐21):331-335.