Filter Constructions in Boolean Valued Model Theory

Mathematical Logic Quarterly 18 (13-15):193-200 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19720181302

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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

Eastern Model‐Theory for Boolean‐Valued Theories.George Georgescu & Iana Voiculescu - 1985 - Mathematical Logic Quarterly 31 (1‐6):79-88.
Boolean‐Valued Models of Set Theory with Automorphisms.E. G. Hernandez - 1986 - Mathematical Logic Quarterly 32 (7‐9):117-130.
A Generalization Of The Boolean Filter Concept.M. J. Brockway - 1976 - Mathematical Logic Quarterly 23 (13-15):213-222.
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem.Hisashi Aratake - 2021 - Mathematical Logic Quarterly 67 (4):445-468.
Some connections between boolean valued analysis and topological reduction theory for C*‐algebras.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (5):471-479.
Boolean Valued Dedekind Domains.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (5-6):65-76.
Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (23‐24):367-384.
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.
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.

Analytics

Added to PP
2013-11-24

Downloads
46 (#488,739)

6 months
5 (#1,091,584)

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

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
Introduction to Mathematical Logic.John Corcoran - 1964 - Journal of Symbolic Logic 54 (2):618-619.
Boolean Algebras.Roman Sikorski - 1966 - Journal of Symbolic Logic 31 (2):251-253.

Add more references