Sergei S. Goncharov. Countable Boolean algebras and decidability. English translation of Schetnye bulevy algebry i razreshimost′. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1997, xii + 318 pp [Book Review]

Journal of Symbolic Logic 63 (3):1188-1190 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586738

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Sergeǐ S. Goncharov. Schetnye bulevy algebry i razreshimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk1996, 364 + xii pp. - Anand Pillay. Geometric stability theory. Oxford logic guides, no. 32. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, x + 361 pp. [REVIEW]Boris Zil'Ber - 1998 - Journal of Symbolic Logic 63 (3):1190-1190.
Ershov Yuri L.. Definability and computability. English translation of Opredelimost′ i vychislimost′. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1996, xiv + 264 pp. [REVIEW]Ivan Soskov - 1998 - Journal of Symbolic Logic 63 (2):747-748.
Mikhail G. Peretyat'Kin. Finitely axiomatizable theories. English translation of Konechno aksiomatiziruemye teorii. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1977, xiv + 294 pp. [REVIEW]Vivienne Morley - 1999 - Journal of Symbolic Logic 64 (4):1828-1830.
Review: Sergei S. Goncharov, Countable Boolean Algebras and Decidability. [REVIEW]Valentina Harizanov - 1998 - Journal of Symbolic Logic 63 (3):1188-1190.
Countable Boolean Algebras and Decidability.Sergei S. Goncharov - 1999 - Studia Logica 63 (3):443-445.
Decidable Boolean algebras of low level.S. S. Goncharov - 1998 - Annals of Pure and Applied Logic 94 (1-3):75-95.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
Boolean products of R0-algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
σ-short Boolean algebras.Makoto Takahashi & Yasuo Yoshinobu - 2003 - Mathematical Logic Quarterly 49 (6):543-549.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.

Analytics

Added to PP
2016-06-30

Downloads
26 (#596,950)

6 months
9 (#295,075)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentina Harizanov
George Washington University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references