Roman Sikorski. Algebra of formalized languages. Colloquium mathematicum, vol. 9 , pp. 1–31

Journal of Symbolic Logic 31 (3):508-509 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1996

DOI

10.2307/2270488

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Roman Sikorski. Products of generalized algebras and products of realizations. Colloquium mathematicum, vol. 10 , pp. 1–13. [REVIEW]Donald Monk - 1971 - Journal of Symbolic Logic 36 (4):682.
Roman Sikorski. A few problems on Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 , pp. 25–28.Robert LaGrange - 1966 - Journal of Symbolic Logic 31 (4):663-664.
Sikorski R.. Repressentation and distributivity of Boolean algebras. Colloquium mathematicum, vol. 8 , pp. 1–13.R. S. Pierce - 1965 - Journal of Symbolic Logic 30 (3):393-393.
R. Sikorski. On a generalization of theorems of Banach and Cantor-Bernstein. Colloquium mathematicum, vol. 1 , pp. 140–144. - Shin’ichi Kinoshita. A solution of a problem of R. Sikorski. Fundamenta mathematicae, vol. 40 , pp. 39–41. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):130-131.
Sikorski R. and Traczyk T.. On free products of m-distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 , pp. 13–16. [REVIEW]R. S. Pierce - 1967 - Journal of Symbolic Logic 32 (3):414-414.
Sikorski R.. On Herbrand's theorem. Colloquium mathematicum, vol. 6 , pp. 55–58.Donald Monk - 1970 - Journal of Symbolic Logic 35 (4):587-587.
Rasiowa H. and Sikorski R.. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 , pp. 143–158. [REVIEW]Alfred Horn - 1962 - Journal of Symbolic Logic 27 (1):98-98.
Alexander Abian. On the solvability of infinite systems of Boolean polynomial equations. Colloquium mathematicum, vol. 21 , pp. 27–30. - Alexander Abian. Generalized completeness theorem and solvability of systems of Boolean polynomial equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 , pp. 263–264. - Paul D. Bacsich. Injectivity in model theory. Colloquium mathematicum, vol. 25 , pp. 165–176. - S. Bulman-Fleming. On equationally compact semilattices. Algebra universalis , vol. 2 no. 2 , pp. 146–151. - G. Grätzer and H. Lakser. Equationally compact semilattices. Colloquium mathematicum, vol. 20 , pp. 27–30. - David K. Haley. On compact commutative Noetherian rings. Mathematische Annalen, vol. 189 , pp. 272–274. - Ralph McKenzie. ℵ1-incompactness of Z. Colloquium mathematicum, vol. 23 , pp. 199–202. - Jan Mycielski. Some compactifications of general algebras. Colloquium mathematicum, vol. 13 no. 1 , pp. 1–9. See Errata on page 281 of next paper. - Jan. [REVIEW]Walter Taylor - 1975 - Journal of Symbolic Logic 40 (1):88-92.
T. Traczyk. On axioms and some properties of Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 509–512. - T. Traczyk. Axioms and some properties of Post algebras. Colloquium mathematicum, vol. 10 , pp. 193–209. - T. Traczyk. A generalization of the Loomis-Sikorski theorem.Colloquium mathematicum, vol. 12 , pp. 155–161. [REVIEW]George Gratzer - 1969 - Journal of Symbolic Logic 34 (1):121-121.
V. Devidé. A proof of the well-ordering theorem. Colloquium mathematicum, vol. 11 no. 1 , pp. 53–54. - Vladimir Devidé. A proof of Zermelo's theorem. The journal of symbolic logic, vol. 32 , p. 366. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681.

Analytics

Added to PP
2013-11-03

Downloads
61 (#363,736)

6 months
13 (#197,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references