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 [Book Review]

Journal of Symbolic Logic 32 (4):537-537 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270223

Links

PhilArchive



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

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: R. Sikorski, A Theorem on Non-Classical Functional Calculi; R. Sikorski, Some Applications of Interior Mappings. [REVIEW]Mihaly Makkai - 1967 - Journal of Symbolic Logic 32 (4):537-537.
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.
Mycielski Jan and Steinhaus H.. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 1–3.Mycielski Jan. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 , pp. 205–224.Mycielski Jan and Świerczkowski S.. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 , pp. 67–71.Mycielski Jan. On the axiom of determinateness . Fundamenta mathematicae, vol. 59 , pp. 203–212. [REVIEW]James E. Baumgartner - 1971 - Journal of Symbolic Logic 36 (1):164-166.
A Theorem on Non-Classical Functional Calculi.R. Sikorski - 1967 - Journal of Symbolic Logic 32 (4):537-537.
Sikorski R.. A topological characterization of open theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 259–260. [REVIEW]Walter Felscher - 1973 - Journal of Symbolic Logic 38 (1):163-164.
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.
Mostowski A.. A lemma concerning recursive functions and its applications. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 1 , S. 277–280. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):299-300.
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.
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.
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.
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.
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.
Salwicki A.. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 227–232, XVII, XVII.Salwicki A.. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 275–278, XXI, XXI.Salwicki A.. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 279–285, XXI, XXI. [REVIEW]E. Engeler - 1974 - Journal of Symbolic Logic 39 (2):349-350.
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.. 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.

Analytics

Added to PP
2016-06-30

Downloads
15 (#893,994)

6 months
3 (#902,269)

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