Model companions and k-model completeness for the complete theories of Boolean algebras

&
Journal of Symbolic Logic 45 (1):47-55 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273353

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

The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
On Boolean algebras and integrally closed commutative regular rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
On dedekind complete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
The completeness of the factor semantics for łukasiewicz's infinite-valued logics.Vladimir L. Vasyukov - 1993 - Studia Logica 52 (1):143 - 167.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.

Analytics

Added to PP
2009-01-28

Downloads
30 (#537,355)

6 months
17 (#154,170)

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

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.
Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.
Completeness and persistence in the theory of models.Abraham Robinson - 1956 - Mathematical Logic Quarterly 2 (1-4):15-26.
Complete Theories.Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.

View all 6 references / Add more references