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

Journal of Symbolic Logic 19 (4):299-300 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267765

Links

PhilArchive



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

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

Mostowski A.. On recursive models of formalised arithmetic. Bulletin de l'Académie Polonaise des Sciences, Classe III, vol. 5 , pp. 705–710. [REVIEW]Solomon Feferman - 1958 - Journal of Symbolic Logic 23 (1):45-46.
Review: A. Mostowski, A Lemma Concerning Recursive Functions and Its Applications. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):299-300.
A Lemma Concerning Recursive Functions and Its Applications.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (4):299-300.
A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 , pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj . Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236. [REVIEW]Elliott Mendelson - 1968 - Journal of Symbolic Logic 32 (4):531-532.
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.
Białynicki–Birula A.. Remarks on quasi–Boolean algebras. Bulletin de l′Académie Polonaise des Sciences, Classe III, Bd. 5 , S. 615–619. [REVIEW]H. Gericke - 1967 - Journal of Symbolic Logic 32 (3):414-414.
R. O. Gandy. Proof of Mostowski's conjecture. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 571–575. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.
A. Mostowski. A problem in the theory of models. Bulletin de l' Académie Polonaise des Sciences, Série des sciences hmatématiques, astronomiques et physiques, vol. 10 , pp. 121–126. [REVIEW]David W. Kueker - 1974 - Journal of Symbolic Logic 39 (3):600-600.
Białynicki-Birula A. and Rasiowa H.. On the representation of quasi-Boolean algebras. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 5 , S. 259–261. [REVIEW]H. Gericke - 1957 - Journal of Symbolic Logic 22 (4):370-370.
Ehrenfeucht A. and Mostowski A.. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 369–373. [REVIEW]G. Fuhrken - 1970 - Journal of Symbolic Logic 35 (4):586-587.
Grzegorczyk A.. A theory without recursive models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 63–69. [REVIEW]Thomas Frayne - 1963 - Journal of Symbolic Logic 28 (1):102-103.
A. Grzegorczyk, A. Mostowski, and C. Ryll-Nardzewski. Definability of sets in models of axiomatic theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 163–167. [REVIEW]Azriel Lévy - 1969 - Journal of Symbolic Logic 34 (1):126-126.
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.
Friedberg Richard M., 4-quantifier completeness: A Banach-Mazur functional not uniformly partial recursive. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 , pp. 1–5. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):52-52.
Mostowski A.. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 , pp. 401–404.Mostowski A.. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,319,085)

6 months
1 (#1,473,216)

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