Łoś J.. On the categoricity in power of elementary deductive systems and some related problems. Colloquium mathematicum, vol. 3 no. 1 , pp. 58–62 [Book Review]

Journal of Symbolic Logic 23 (3):360-361 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964317

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Sikorski R.. On Herbrand's theorem. Colloquium mathematicum, vol. 6 , pp. 55–58.Donald Monk - 1970 - Journal of Symbolic Logic 35 (4):587-587.
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.
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.
Alfred Tarski and Robert L. Vaught. Arithmetical extensions of relational systems. Compositio mathematica, vol. 13 no. 2 , pp. 81–102. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131.
Roman Sikorski. Algebra of formalized languages. Colloquium mathematicum, vol. 9 , pp. 1–31.Donald Monk - 1966 - Journal of Symbolic Logic 31 (3):508-509.
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.
Kalmár L.. Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variabeln abhängig sind. Colloquium mathematicum, vol. 5 no. 1 , pp. 1–5. [REVIEW]D. A. Clarke - 1970 - Journal of Symbolic Logic 35 (1):152-152.
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.
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.
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.

Analytics

Added to PP
2013-11-03

Downloads
30 (#748,172)

6 months
8 (#575,465)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ramsey eliminability.J. F. A. K. van Benthem - 1978 - Studia Logica 37 (4):321-336.
Ramsey eliminability.J. F. A. K. Benthem - 1978 - Studia Logica 37 (4):321 - 336.

Add more citations

References found in this work

No references found.

Add more references