Rasiowa H.. A proof of the compactness theorem for arithmetical classes. Fundamenta mathematicae, vol. 39 , pp. 8–14

Journal of Symbolic Logic 20 (1):78-78 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268093

Links

PhilArchive



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

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, A Proof of the Compactness Theorem for Arithmetical Classes. [REVIEW]Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):78-78.
A Proof of the Compactness Theorem for Arithmetical Classes.H. Rasiowa - 1955 - Journal of Symbolic Logic 20 (1):78-78.
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.. A proof of ε-theorems. Ebd., Bd. 3 , S. 299–302.Rasiowa H.. On the ε-theorems. Fundamenta mathematicae, Bd. 43 , S. 156–165. , S. 333.). [REVIEW]Kurt Schütte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 , pp. 193–200. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
Łos J.. On the extending of models . Fundamenta mathematicae, vol. 42 , pp. 38–54.Łos J. and Suszko R.. On the extending of models . Common extensions. Fundamenta mathematicae, vol. 42 , pp. 343–347.Słomiński J.. On the extending of models . Extensions in equationally definable classes of algebras. Fundamenta mathematicae, vol. 43 , pp. 69–76.Łos J. and Suszko R.. On the extending of models . Infinite sums of models. Fundamenta mathematicae, vol. 44 , pp. 52–60. [REVIEW]H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (1):93-95.
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
Hanf W.. On a problem of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 325–334.Monk D. and Scott D.. Additions to some results of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 335–343.Hajnal A.. Remarks on the theory of W. P. Hanf. Fundamenta mathematicae vol. 54 no. 1 , pp. 109–113. [REVIEW]Jean A. Larson - 1974 - Journal of Symbolic Logic 39 (2):332-332.
Włodzimierz Mostowski A.. On the decidability of some problems in special classes of groups. Fundamenta mathematicae, vol. 59 , pp. 123–135.Włodzimierz Mostowski A.. Computational algorithms for deciding some problems for nilpotent groups. Fundamenta mathematicae, vol. 59 , pp. 137–152. [REVIEW]F. B. Cannonito - 1970 - Journal of Symbolic Logic 35 (3):476-477.
Mrówka S.. On the ideals' extension theorem and its equivalence to the axiom of choice. Fundamenta mathematicae vol. 43 , pp. 46–49.Mrówka S.. Two remarks on my paper: “On the ideals' extension theorem and its equivalence to the axiom of choice.” Fundamenta mathematicae vol. 46 , pp. 165–166.Banaschewski Bernhard. On some theorems equivalent with the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 279–282. [REVIEW]Azriel Lévy - 1963 - Journal of Symbolic Logic 28 (2):168-168.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Rasiowa H.. Algebraic treatment of the functional calculi of Heyting and Lewis. Fundamenta mathematicae, vol. 38 , pp. 99–126. [REVIEW]Leon Henkin - 1953 - Journal of Symbolic Logic 18 (1):72-73.
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.
Makkai M. A compactness result concerning direct, products of models. Fundamenta mathematicae, vol. 57 , pp. 313–325.G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):477-477.
Sikorski Roman. A note to Rieger's paper “On free ℵξ-complete Boolean algebras.” Fundamenta mathematicae, vol. 38 , pp. 53–54. [REVIEW]Helena Rasiowa - 1954 - Journal of Symbolic Logic 19 (4):287-287.

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,620,449)

6 months
1 (#1,464,097)

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

No references found.

Add more references