Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

Curriculum vitae of A. Mostowski

  • Conference paper
  • First Online:
Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 537))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography of Mostowskt’s works

  1. Abzahlbare Boole’sche Körper und ihre Anwendungen auf die allgemeine Metamathematik, Fundamenta Mathematicae XXIX (1937) pp 34–53.

    MATH  Google Scholar 

  2. O niezależności definicji skończoności w, systemie logiki. Appendix to Roczniki Polskiego Towarzystwa Matematycznego, volume XI (1938) pp 1–54.

    Google Scholar 

  3. Über gewisse universelle Relationen. Ann. Soc. Pol. de Math. XVII (1939) pp 117–118.

    Google Scholar 

  4. Über den Begriff der endlichen Menge. Sprawozdania Towarzystwa Naukowego Warszawskiego XXXI (1938) pp 13–20.

    MATH  Google Scholar 

  5. (+ A. Lindenbaum) Über Unabhägigkeit des Auswahlaxioms und einiger seiner Folgerungen. Sprawozdania Towarzystwa Naukowego Warszawskiego XXXI (1939) pp 27–32.

    MATH  Google Scholar 

  6. (+ A. Tarski) Boole’sche Ringe mit geordneter Basis. Fundamenta Mathematicae XXXII (1939) pp 69–86.

    MATH  Google Scholar 

  7. Über die Unabhängigkeit des Wohlordnungastzes von Ordnungsprinzip. Fundamenta Mathematicae XXXII (1939) pp 201–252.

    MATH  Google Scholar 

  8. Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit. Journal of Symbolic Logic 4 (1939) pp 113–114.

    Article  MathSciNet  MATH  Google Scholar 

  9. Remarque sur une note de W. Sierpiński. Fundamenta Mathematicae XXXIII (1946) pp 7–8.

    MathSciNet  Google Scholar 

  10. Axiom of choice for finite sets. Fundamenta Mathematicae XXXIII (1945) pp 137–168.

    MathSciNet  MATH  Google Scholar 

  11. O zdaniach nierozstrzygalnych w sformalizowanych systemach matematyki. Kwartalnik Filozoficzny XVI (1946) pp 223–276.

    MathSciNet  Google Scholar 

  12. Mostowski Zarys teorii Galois. Appendix to course book “Algebra Wyzsza” by W. Sierpiński (1946) pp 371–428.

    Google Scholar 

  13. On definable sets of positive integers. Fundamenta Mathematicae XXXIV (1947) pp 81–112.

    MathSciNet  MATH  Google Scholar 

  14. On absolute, properties of relations. Journal of Symbolic Logic 12 (1947) pp 33–42.

    Article  MathSciNet  MATH  Google Scholar 

  15. On the principle of dependent choices. Fundamenta Mathematicae XXXV (1948) pp 127–130.

    MathSciNet  MATH  Google Scholar 

  16. Proofs of non-deducibility in intuitionistic functional calculus. Journal of Symbolic Logic 13 (1948) pp 193–203.

    Article  MathSciNet  MATH  Google Scholar 

  17. On a set of integers not definable by means of one quantifier predicates. Ann. Soc. Pol. de Math. XXI (1948) pp 114–119.

    MathSciNet  MATH  Google Scholar 

  18. Logika Matematyczna. Monografie Matematyczne t.XVIII (1948) Warszawa-Wrocław pp XIII+338.

    MathSciNet  Google Scholar 

  19. Un theoreme sur les nombres cos 2kπ/n. Colloquium Mathematicum I (1948) pp 195–196.

    MathSciNet  MATH  Google Scholar 

  20. Mostowski Sur l’interpretation geometrique et topologique des notions logiques. Actes du X-eme Congres International de Philosophie(Amsterdam 11–18 Aout 1948) Amsterdam 1949 pp 610–617.

    Google Scholar 

  21. An undecidable arithmetical statement. Fundamenta Mathematicae XXXVI (1949) pp 143–164.

    MathSciNet  MATH  Google Scholar 

  22. (+ A. Tarski) Arithmetical classes and types of well-ordered systems. Bull. Amer. Math. Soc. 55 (1949) p 65 (1992).

    Google Scholar 

  23. (+ A. Tarski) Undecidability on the arithmetic of integers and in the theory of rings. Journal of Symbolic Logic 14 (1949) p 76.

    Google Scholar 

  24. La vie et l’oeuvre de S. Dickstein. Prace Matematyczno-Fizyczne 47 (1949) pp 7–12.

    MathSciNet  MATH  Google Scholar 

  25. Kilka refleksji na temat zadań logicznych z “matematyki”. Matematyka 3 (1950) pp 6–11.

    Google Scholar 

  26. On the rules of proof in the pure functional calculus of the first order. Journal of Symbolic Logic 16 (1951) pp 107–111.

    Article  MathSciNet  MATH  Google Scholar 

  27. Some impredicative definitions in the axiomatic set theory. Fundamenta Mathematicae XXXVII (1951) pp 111–124. Correction: ibid Some impredicative definitions in the axiomatic set theory. Fundamenta Mathematicae XXXVIII (1952) p 238.

    MATH  Google Scholar 

  28. A classification of logical systems. Studia Philosophica 4 (1951) pp 237–274.

    MATH  Google Scholar 

  29. (+ K. Kuratowski) Sur un probleme de la theorie des groupes et son rapport a la topologie. Colloquium Mathematicum II (1951) pp 212–215.

    MathSciNet  MATH  Google Scholar 

  30. Groups connected with Boolean algebras. Colloquium Mathematicum II (1951) pp 216–219.

    MathSciNet  MATH  Google Scholar 

  31. On direct product of theories. Journal of Symobolic Logic 17 (1952) pp 1–31.

    Article  MathSciNet  MATH  Google Scholar 

  32. On models of axiomatic systems. Fundamenta Mathematicae XXXIX (1952) pp 133–158.

    MathSciNet  MATH  Google Scholar 

  33. (+ K. Kuratowski) Teoria Mnogości. Monografie Matematyczne XXVII Warszawa-Wrocław 1952 pp IX+311.

    MathSciNet  Google Scholar 

  34. Mostowski Sentences undecidable in formalized arithmetic. in: Studies in Logic and the Foundations of Mathematics Amsterdam (1952) pp VIII+117.

    Google Scholar 

  35. A lemma concerning recursive functions and its applications. Bull. Acad. Pol. Sci. I (1953) pp 277–280 (wersja rosyjska pp 275–279).

    MathSciNet  MATH  Google Scholar 

  36. On a system of axioms which has no recursively enumerable arithmetic model. Fundamenta Mathematicae XL (1953) pp 56–61.

    MathSciNet  MATH  Google Scholar 

  37. O tzw. konstruktywnych prawach w matematyce. Myśl Filozoficzna 1 (7) (1953) pp 230–241.

    Google Scholar 

  38. (+ M. Stark) Algebra Wyzsza, cz. I. w serii: Biblioteka Matematyczna I 3 Warszawa 1953 pp VI+308.

    MathSciNet  Google Scholar 

  39. (+ H. Rasiowa) O geometryczne j interpretacji wyrazeń logicznych. Studia Logica I (1952) pp 274–275.

    Google Scholar 

  40. Mostowski (+A. Tarski i R. M. Robinson) Undecidable theories. in: Studies in Logic and the Foundations of Mathematics Amsterdam 1953 pp IX+98.

    Google Scholar 

  41. (+ M. Stark) Algebra Wyzsza, cz.II. w serii: Biblioteka Matematyczna III Warszawa 1954 pp VII+173.

    Google Scholar 

  42. (+ M. Stark) Algebra Wyzsza, cz.III. w serii: Biblioteka Matematyczna IV Warszawa 1954 pp VII+262.

    Google Scholar 

  43. Współczesny stan badań nad podstawami matematyki. Prace Matematyczne 1 (1954) pp 13–55.

    MathSciNet  Google Scholar 

  44. Sovremenno je sostajanie issledovanij po osnovani jam matematiki. Uspechi Mat. Nauk 9 (1954) pp 1–38.

    Google Scholar 

  45. Podstawy matematyki na VIII zjeździe matematyków polskich. Myśl Filozoficzna 2 (1954) pp 328–330.

    Google Scholar 

  46. Development and applications of the “projective” classification of sets of integers. Proceedings of the International Congress of Mathematicians Amsterdam 1954 vol. 1 pp 280–288.

    MathSciNet  Google Scholar 

  47. (+ other logicians) The present state of investigations of foundations of mathematics. Rozprawy Matematyczne (Dissertationes Mathematicae) IX (1955) pp 1–48 (German translation: Die Hauptreferate des 8 polonisches Mathematiker Kongres, Berlin 1954 pp 11–44).

    Google Scholar 

  48. At formula without recursively enumerable model. Fundamenta Mathematicae XLII (1955) pp 125–140.

    MathSciNet  MATH  Google Scholar 

  49. Examples of sets definable by means of two and three quantifiers. Fundamenta Mathematicae XLII (1955) pp 259–270.

    MathSciNet  MATH  Google Scholar 

  50. Contributions to the theory of definable sets of integers and functions. Fundamenta Mathematicae XLII (1955) pp 271–275.

    MathSciNet  MATH  Google Scholar 

  51. Mostowski (+ J. Łoś, H. Rasiowa) A proof of Herbrand’s theorem. Journal des Mathematiques Pures et Appliquees (1955) pp 19–54.

    Google Scholar 

  52. Eine verallgemeinerung eines Satzes von M. Deuring. Acta Scientiarum Math. Szeged XVI (1955) pp 197–201.

    MathSciNet  MATH  Google Scholar 

  53. Wyznaczanie stopni niektórych liczb algebraicznych. Prace Matematyczne 1 (1955) pp 239–252.

    MathSciNet  Google Scholar 

  54. Mostowski (+M. Stark) Elementy Algebry Wyższej. w serii: Biblioteka Matematyczna 16 I wyd. Warszawa 1955 (i dalsze wydania).

    Google Scholar 

  55. (+ A. Ehrenfeucht) Models of axiomatic theories admitting automorphisms. Fundamenta Mathematicae XLIII (1956) pp. 50–68.

    MathSciNet  MATH  Google Scholar 

  56. Concerning a problem of H. Scholz. Zeitschrift für Mathematische Logik und Grundlagenforschung 2 (1956) pp 210–214.

    Article  MathSciNet  MATH  Google Scholar 

  57. On models of axiomatic set theory. Bull. Acad. Pol. Sci. (C1 III) IV (1956) pp. 663–668.

    MathSciNet  MATH  Google Scholar 

  58. Mostowski Zamecanija k dokazatelstvam suscestvovanija standartnych modelej. Trudy 3-go Vsesojuznogo Matematiceskogo Zjazda 1956 Tom 4 Moskva AN SSSR 1959 pp 232–236.

    Google Scholar 

  59. Logika matematyczna na międzynarodowym zjeździe matematyków w Amsterdamie. Studia Logica IV (1956) pp 245–253.

    Article  MathSciNet  Google Scholar 

  60. L’oeuvre de J. Łukasiewicz dans le domaine de la logique mathematique. Fundamenta Mathematicae XLIV (1957) pp 1–11.

    MathSciNet  MATH  Google Scholar 

  61. On a generalization of quantifiers. Fundamenta Mathematicae XLIV (1957) pp 12–36.

    MathSciNet  MATH  Google Scholar 

  62. Computable sequences. Fundamenta Mathematicae XLIV (1957) pp 37–51.

    MathSciNet  MATH  Google Scholar 

  63. On recursive models of formalized arithmetic. Bull. Acad. Pol. Sci. Ser. Sci. Math. Astron. Phys. V (1957) pp 706–718.

    Google Scholar 

  64. (+ A. Grzegorczyk, Cz. Ryll-Nardzewski) The classical and ω-complete arithmetic. Journal of Symbolic Logic 23 (1958) pp 188–206.

    Article  MathSciNet  MATH  Google Scholar 

  65. On a problem of W. Kinna and K. Wagner. Colloquium Mathematicum VI (1958) pp 207–208.

    MathSciNet  MATH  Google Scholar 

  66. Mostowski Quelques observations sur l’usage des methodes infinitistes dans la meta-mathematiques. 70 Colloquium du CNRS, Paris 1958.

    Google Scholar 

  67. (+ Cz. Ryll-Nardzewski) Representability of sets in models of axiomatic theories. Journal of Symbolic Logic 23 (1958) p 458.

    MathSciNet  Google Scholar 

  68. Mostowski (+ M. Stark) Algebra Liniowa. w serii: Biblioteka Matematyczna 19 I wyd. Warszawa 1958 (i dalsze wydania).

    Google Scholar 

  69. Mostowski On various degrees of constructivism. in: Constructivity in Mathematics, Studies in Logic and foundations of mathematics Amsterdam 1959 pp. 178–194.

    Google Scholar 

  70. A class of models of second-order arithmetic. Bull. Acad. Pol. Sci. Ser. Sci. Math. Astron. Phys. VII (1959) pp 401–404.

    MathSciNet  MATH  Google Scholar 

  71. Mostowski Formal system of analysis based on an infinitary rule of proof. Proceedings of Warsaw Symposium on Infinitistic Methods. Warszawa-London 1960 pp 141–166.

    Google Scholar 

  72. A generalization of the incompleteness theorem. Fundamenta Mathematicae XLIV (1961) pp 205–232.

    MathSciNet  MATH  Google Scholar 

  73. An example of a non-axiomatizable many-valued logic. Zeitschrift für Mathematische Logik und Grundlagenforschung 7 (1961) pp 72–76.

    Article  MathSciNet  MATH  Google Scholar 

  74. Mostowski Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic. Essays in Fundations of Mathematics, Jerusalem 1961 pp 269–286.

    Google Scholar 

  75. (+ A. Grzegorczyk, Cz. Ryll-Nardzewski) Definability of sets in models of axiomatic theories. Bull. Acad. Pol. Sci. Ser. Sci. Math. Astron. Phys. IX (1961) pp 163–167.

    MathSciNet  MATH  Google Scholar 

  76. (+ A. Ehrenfeucht) A compact space of models for 1st order theories. Bull. Acad. Pol. Sci. Ser. Sci. Math. Astron. Phys. IX (1961) pp 369–373.

    MathSciNet  MATH  Google Scholar 

  77. Mostowski (+ J. Łoś, H. Rasiowa) Addition au travail “A proof of Herbrand theorem”. Journal des Mathematiques Pures et Appliques 1961 pp 129–134.

    Google Scholar 

  78. Mostowski Organizacja i prace naukowe Instytutu Matematyki Uniwersytetu Warszawskiego. Księga pamiątkowa dla uczczenia 140-lecia Uniwersytetu Warszawskiego. (1961).

    Google Scholar 

  79. Axiomatizability of some many-valued predicate calculi. Fundamenta Mathematicae L (1961–1962) pp 165–190.

    MathSciNet  MATH  Google Scholar 

  80. Mostowski Representability of sets in formal systems. Proceedings of Symposium on Recursive Functions New York 1961 (1962) pp 29–48.

    Google Scholar 

  81. A problem in the theory of models. Bull. Acad. Pol. Sci. Ser. Sci. Math. Astron. Phys. X (1962) pp 121–126.

    MathSciNet  MATH  Google Scholar 

  82. On invariant, dual invariant and absolute properties of relations. Rozprawy Matematyczne (Dissertationes Mathematicae) XXIX (1962) pp 1–38.

    Google Scholar 

  83. L’espace des modeles d’une theorie formalisee et quelquesunes des applications. Annales de la Faculte des Sciences de L’Universite Clevmant 7 (1962) pp 107–116.

    MathSciNet  Google Scholar 

  84. The Hilbert epsilon function in many valued logics. Acta Phil. Fennica 16 (1963) pp 169–188.

    MathSciNet  MATH  Google Scholar 

  85. Mostowski (+ M. Stark) Introduction to Higher Algebra. Oxford Warszawa 1963 pp 474.

    Google Scholar 

  86. Widerspruchsfreiheit und Unabhangigkeit der Kontinuumhypothese. Elemente der Mathematik 19 (1964) pp 121–125.

    MathSciNet  MATH  Google Scholar 

  87. Thirty years of foundational studies Acta Phil. Fennica 17 (1965) pp 1–180.

    MathSciNet  Google Scholar 

  88. Models of Zermelo-Fraenkel set-theory satisfying the axiom of constructibility. Acta Phil. Fennica 18 (1965) pp 135–144.

    MathSciNet  MATH  Google Scholar 

  89. (+ K. Kuratowski) Teoria Mnogości. wyd. II (całkowicie zmienione). Monografie Matematyczne XXVII Warszawa 1966 pp 1–375.

    Google Scholar 

  90. Mostowski Modeles transitifs de le theorie des ensembles de Zermelo—Fraenkel. Univ. de Montreal 1967 pp 170.

    Google Scholar 

  91. Mostowski Recent results in set theory. in: Problems in the philosophy of mathematics, Studies in Logic and the Foundations of Mathematics Amsterdam 1967 pp 82–96 i 105–108.

    Google Scholar 

  92. O niektórych nowych wynikach matematycznych dotyczących teorii mnogości. Studia Logica 20 (1967) pp 99–116.

    Article  MathSciNet  Google Scholar 

  93. Mostowski Tarski Alfred. in: The Encyclopedia of Philosophy, ed. by Paul Edwards New York 1967 Vol. 8 pp 77–81.

    Google Scholar 

  94. Mostowski (+ K. Kuratowski) Set theory. (translated from polish) Amsterdam Warszawa 1967 pp 417 Studies in Logic and the Foundations of Mathematics.

    Google Scholar 

  95. Mostowski Craig interpolation theorem in some extended systems of logic. in: Logic, Methodology and Philosophy of Science III Studies in Logic and the Foundations of Mathematics Amsterdam 1968 pp 87–103.

    Google Scholar 

  96. Mostowski Models of Set Theory. C.I.M.E. (Italy), 1968. (Lectures delivered in Varenna September 1968) pp 67–179.

    Google Scholar 

  97. Niesprzeczność i niezależność hipotezy continuum. Wiadomości Matematyczne 10 (1968) pp 175–182.

    MathSciNet  Google Scholar 

  98. (+ Y. Suzuki) On ω-models which are not β-models. Fundamenta Mathematicae LXV (1969) pp 83–93.

    MathSciNet  MATH  Google Scholar 

  99. Mostowski Constructible sets with applications. Studies in Logic and Foundations of Mathematics Amsterdam 1969 pp 1–269.

    Google Scholar 

  100. Mostowski (+ K. Kuratowski) Teorija mnozestv. Moskva 1970 pp 416.

    Google Scholar 

  101. Models of second order arithmetic with definable Skolem functions. Fundamenta Mathematicae LXXV (1972) pp 223–234.+Correction ibid Models of second order arithmetic with definable Skolem functions. Fundamenta Mathematicae LXXXIV (1974) p 173.

    MathSciNet  MATH  Google Scholar 

  102. A transfinite sequence of ω-models. Journal of Symbolic Logic 37 (1972) pp 96–102.

    Article  MathSciNet  MATH  Google Scholar 

  103. Mostowski Sets. in: Scientific thought, Paris-Hague 1972 pp 1–34.

    Google Scholar 

  104. Matematyka a logika. Refleksje przy lekturze książki A. Grzegorczyka “Zarys arytmetyki teoretycznej” wraz z próbą recenzji. Wiadomości Matematyczne 15 (1972) pp 79–89.

    MathSciNet  Google Scholar 

  105. Mostowski Partial ordering of the family of ω-models. Logic Methodology and Philosophy of Science IV. Studies in Logic and the Foundation of Mathematics Amsterdam 1973 pp 13–28.

    Google Scholar 

  106. Mostowski A contribution to teratology. Izbrannye voprosy algebry i logiki Nowosybirsk 1973 pp 184–196.

    Google Scholar 

  107. Mostowski Konstruktivnye mnozestva i ich prilozenije. Moskva 1973 (translated from English) pp 256.

    Google Scholar 

  108. Some Problems in the Axiomatic Theory of Clases. Bolletin U.M.I. 9 (1974) pp 161–170.

    MathSciNet  MATH  Google Scholar 

  109. Observations concerning elementary extensions of ω-models I. Proceedings of AMS Symposia in Pure Mathematics 25 (1975) pp 349–355.

    Article  MathSciNet  Google Scholar 

  110. Mostowski An exposition of forcing. in: Algebra and Logic, Springer Lecture Notes 450 (1975) pp 220–282.

    Google Scholar 

  111. Mostowski (+ W. Marek) On extendability of the models of ZF set theory to the models of KM theory of classes. in: Springer Lecture Notes 499, Proc. of the 1974 Kiel conference pp 460–542.

    Google Scholar 

  112. Mostowski A remark on models of the Gödel-Bernays axioms for set-theory. Preprint Uniwersytetu Warszawskiego 1974 (to appear in the Bernays volume).

    Google Scholar 

  113. Travaux de W. Sierpiński sur la theoriedes ensembles et ses applications. La theorie generale des ensembles. Introduction to: Wacław Sierpiński, Oeuvres choisies, vol. II Warszawa 1975 pp 9–13.

    Google Scholar 

  114. Mostowski (+ K. Kuratowski) Set theory. (revised edition). Studies in Logic and the Foundations of Mathematics Amsterdam Warszawa (w druku).

    Google Scholar 

  115. Mostowski Refleksje na temat pewnego wykładu z historii matematyki. O nauczaniu historii nauki, pp 231–243.

    Google Scholar 

  116. Mostowski Two remarks on the models of Morse’ set theory. (This proceedings).

    Google Scholar 

Download references

Authors
  1. Wiktor Marek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Srebrny
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrzej Zarach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wiktor Marek Marian Srebrny Andrzej Zarach

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag

About this paper

Cite this paper

Marek, W., Srebrny, M., Zarach, A. (1976). Curriculum vitae of A. Mostowski. In: Marek, W., Srebrny, M., Zarach, A. (eds) Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski. Lecture Notes in Mathematics, vol 537. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0096888

Download citation

  • DOI: https://doi.org/10.1007/BFb0096888

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07856-2

  • Online ISBN: 978-3-540-38122-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation