Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 , pp. 193–200 [Book Review]

Journal of Symbolic Logic 17 (1):72-72 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267487

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Review: H. Rasiowa, R. Sikorski, A Proof of the Completeness Theorem of Godel. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
Rasiowa H. and Sikorski R.. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 , pp. 230–232.Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
Rasiowa H. and Sikorski R.. An application of lattices to logic. Fundamenta mathematicae, vol. 42 no. 1 , pp. 83–100.Donald Monk - 1970 - Journal of Symbolic Logic 35 (1):137-137.
Rasiowa H. and Sikorski R.. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 , pp. 21–28. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):80-80.
Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem. [REVIEW]Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
Rasiowa H.. A proof of the compactness theorem for arithmetical classes. Fundamenta mathematicae, vol. 39 , pp. 8–14.Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):78-78.
Sikorski R.. A theorem on non-classical functional calculi. Bulletin de l'Academie Polonaise des Sciences, Classe III, vol. 4 , pp. 649–650.Sikorski R.. Some applications of interior mappings. Fundamenta mathematicae, vol. 45 , pp. 200–212. [REVIEW]Mihály Makkai - 1968 - Journal of Symbolic Logic 32 (4):537-537.
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.
Stone M. H.. Algebraic characterizations of special Boolean rings. Fundamenta mathemalicae, vol. 29 , pp. 223–303.Garrett Birkhoff - 1938 - Journal of Symbolic Logic 3 (1):47-47.
Review: H. Rasiowa, R. Sikorski, An Application of Lattices to Logic. [REVIEW]Donald Monk - 1970 - Journal of Symbolic Logic 35 (1):137-137.

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,644,260)

6 months
12 (#243,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
An approach to tense logic.R. A. Bull - 1970 - Theoria 36 (3):282-300.

Add more citations

References found in this work

No references found.

Add more references