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

Journal of Symbolic Logic 21 (4):372-373 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268359

Links

PhilArchive



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

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

Der Gegenwärtige Stand der Grundlagenforschung in der Mathematik.A. Mostowski, A. Grzegorczyk, S. Mazur & H. Rasiowa - 1956 - Journal of Symbolic Logic 21 (4):372-373.
Computable Analysis.R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
Review: S. Mazur, A. Grzegorczyk, H. Rasiowa, Computable Analysis. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
The Present State of Investigations on the Foundations of Mathematics.Andrzej Mostowski & Grzegorczyk - 1955 - Pa Nstwowe Wydawnictwo Naukowe.
Grzegorczyk Andrzej. Some classes of recursive functions. Rozprawy matematyczne no. 4. Instytut Matematyczny Polskiej Akademii Nauk, Warschau 1953, 46 S. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
An Extension of the Lemma of Rasiowa and Sikorski.Jörg Flum - 1998 - Mathematical Logic Quarterly 44 (4):509-514.
Novikov P. S.. O néprotivoréčivosti nékotoryh logičéskih isčislénij . 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-Paris, 1961, pp. 71–74. [REVIEW]Andrzej Mostowski - 1962 - Journal of Symbolic Logic 27 (2):246-246.
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.
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.
Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
Jaśkowski S.. Example of a class of systems of ordinary differential equations having no decision method for existence problems. Bulletin de l'Académie Polonaise des Sciences, classe troisième, vol. 2 , pp. 155–157.Jaśkowski S.. Primér klassa sistém obyknovénnyh différéncial′nyh uravnénij, né iméúščégo algorifma razréšmosti dlá problém o suščéstvovanii. Russian version of the preceding. Búllétén′ Pol′skoj Akadémii Nauk, Otd. 3, vol. 2 , pp. 153–155. [REVIEW]A. Grzegorczyk - 1963 - Journal of Symbolic Logic 28 (1):103-103.
A. A. Markov. Konstruktivnaá logika . Uspéhi matematičéskih nauk, vol. 5 no. 3 , pp. 187–188.Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (3):257-257.
Review: Helena Rasiowa, Roman Sikorski, The Mathematics of Metamathematics. [REVIEW]Donald Monk - 1967 - Journal of Symbolic Logic 32 (2):274-275.
Review: H. Rasiowa, R. Sikorski, Algebraic Treatment of the Notion of Satisfiability. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):78-80.
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.

Analytics

Added to PP
2013-11-22

Downloads
42 (#368,825)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tractarian nominalism.Brian Skyrms - 1981 - Philosophical Studies 40 (2):199 - 206.

Add more citations

References found in this work

No references found.

Add more references