Boolean Valued Dedekind Domains

Mathematical Logic Quarterly 37 (5‐6):65-76 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19910370502

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Boolean Valued and Stone Algebra Valued Measure Theories.Hirokazu Nishimura - 1994 - Mathematical Logic Quarterly 40 (1):69-75.
Boolean valued lie algebras.Hirokazu Nishimura - 1991 - Journal of Symbolic Logic 56 (2):731-741.
On a duality between Boolean valued analysis and topological Reduction Theory.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):23-32.
Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (23‐24):367-384.
A boolean transfer principle from L*‐Algebras to AL*‐Algebras.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):241-250.
On the absoluteness of types in boolean valued lattices.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (3):241-246.
Foundations of Boolean Valued Algebraic Geometry.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (26‐30):421-438.
Some connections between boolean valued analysis and topological reduction theory for C*‐algebras.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (5):471-479.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Homogeneous and universal dedekind algebras.George Weaver - 2000 - Studia Logica 64 (2):173-192.
On dedekind complete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Construction of monadic three-valued łukasiewicz algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
Review: Frantisek Svoboda, An Indeterminate Two-Valued Boolean Function; Frantisek Svoboda, The Use of Indeterminate Two-Valued Boolean Functions for the Synthesis of Switching Circuits. [REVIEW]Paweł Szeptycki - 1957 - Journal of Symbolic Logic 22 (1):99-100.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.

Analytics

Added to PP
2013-12-01

Downloads
18 (#837,247)

6 months
3 (#984,114)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Two applications of logic to mathematics.Gaisi Takeuti - 1978 - [Princeton, N.J.]: Princeton University Press.
Boolean Algebras.Roman Sikorski - 1966 - Journal of Symbolic Logic 31 (2):251-253.

Add more references