Eastern Model-Theory for Boolean-Valued Theories

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):79-88 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850310109

Links

PhilArchive



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

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 and Stone Algebra Valued Measure Theories.Hirokazu Nishimura - 1994 - Mathematical Logic Quarterly 40 (1):69-75.
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Sheaves and Boolean valued model theory.George Loullis - 1979 - Journal of Symbolic Logic 44 (2):153-183.
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.
Some Model Theory For Probability Structures.George Georgescu - 2001 - Reports on Mathematical Logic:103-113.
Some Boolean algebras with finitely many distinguished ideals II.Regina Aragón - 2003 - Mathematical Logic Quarterly 49 (3):260.
On Rine's view of Boolean algebras.George Epstein - 1981 - Bulletin of the Section of Logic 10 (2):91-92.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Forcing in nonstandard analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.
On a duality between Boolean valued analysis and topological Reduction Theory.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):23-32.
Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic.J. Michael Dunn - 1979 - Studia Logica 38 (2):149 - 169.
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.

Analytics

Added to PP
2015-12-02

Downloads
32 (#503,872)

6 months
1 (#1,478,856)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Boolean Algebras.Roman Sikorski - 1966 - Journal of Symbolic Logic 31 (2):251-253.

Add more references