Rasiowa H. and Sikorski R.. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 , pp. 21–28 [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268095

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

Review: H. Rasiowa, R. Sikorski, On Existential Theorems in Non-Classical Functional Calculi. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):80-80.
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.
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.. 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.. 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.
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.
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.
Ł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.
Sikorski R.. Distributivity and representability. Fundamenta mathematicae, vol. 48 no. 1 , pp. 91–103.R. S. Pierce - 1965 - Journal of Symbolic Logic 30 (3):392-393.
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.
A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses vom 6. bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, pp. 11–44. - Andrzej Mostowski, in collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The present state of investigations on the foundations of mathematics. English translation. Rozprawy matematyczne no. 9. Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 pp. - A. Mostowski, with participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé sostoánié isslédovanij po osnovaniám matématiki. Russian translation. Uspéhi matématičéskih nauk, vol. 9 no. 3 , pp. 3–38. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (4):372-373.
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.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Rieger Ladislav. On free ℵξ-complete Boolean algebras . Fundamenta mathematicae, vol. 38 , pp. 35–52.Roman Sikorski - 1954 - Journal of Symbolic Logic 19 (4):286-287.
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.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,058,801)

6 months
8 (#342,364)

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