Skip to main content
SpringerLink
Log in

Cztery studia z metamatematyki

  • Published:
Studia Logica Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatura cytowana

  1. Bemerkung der Redaktion, dołączona do pracyT. Skolema:Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslichen Zahlenvariablen. Fund. Math. vol. 33, 1934, p. 161.

    Google Scholar 

  2. Cantor G.:Beiträge zur Begründung der transfiniten Mengenlehre, § 11. Mathemat. Annalen, vol. 46, 1895, pp. 510–512.

    Google Scholar 

  3. Church A.:Introduction to mathematical logic, vol. I, Princeton, 1956.

  4. Dedekind R.:Was Sind und was Sollen die Zahlen? Braunschweig, 1888.

  5. Gödel K.:Die Vollständigkeit der Axiome der logischen Funktionenkalküls. Monatshefte f. Math. u. Physik, vol. 37, 1930, pp. 349–60.

    Article  Google Scholar 

  6. Gödel K.:Über formal unentscheidbare Sätze der Principia Mathematica und v andter Systeme I. Monatshefte f. Math. u. Physik, vol. 38, 1931, pp. 173–198.

    Article  Google Scholar 

  7. Grzegorczyk A.:Zarys logiki matematycznej. Warszawa, 1961.

  8. Grzegorczyk A.:On the concept of categoricity. Studia Logica, vol. 13, 1962.

  9. Halpern J. D.:The independence of the axiom of choice from the Boolean prime ideal theorem. Fund. Math., vol. 55, 1964, pp. 57–66.

    Google Scholar 

  10. Henkin L.:A generalization of the concept of ω-consistency. Journal of Symbolic Logic, vol. 19, 1954, pp. 183–196.

    Google Scholar 

  11. Henkin L.:A generalization of the concept of ω-completeness. Journal of Symbolic Logic, vol. 22, 1957, pp. 1–14.

    Google Scholar 

  12. Huntington E.:A set of postulates for ordinary complex algebra. Trans. Amer. Math. Soc., vol. 6, 1905, pp. 209–229.

    MathSciNet  Google Scholar 

  13. Łoś J.:On the categoricity in power of elementary deductive systems and related problems. Coll. Math., vol. 3, 1954, pp. 58–62.

    Google Scholar 

  14. Łoś J.:Sur le théorème de Gödel pour les théories indenombrables. Bull. Acad. Polon. Sci., Cl. III, vol. 2, No. 7, 1954, pp. 319–320.

    Google Scholar 

  15. Łoś J.:The algebraic treatment of the methodology of elementary deductive systems. Studia Logica, vol. 2, 1955, pp. 151–211.

    Article  Google Scholar 

  16. Łoś J.:On the extending of models I. Fund. Math., vol. 42, 1955, pp. 38–54.

    Google Scholar 

  17. Malcev A.:Untersuchungen aus dem Gebiete der mathematischen Logik. Mat. Sbornik, vol. 1, 1936, pp. 323–335, Moskva.

    Google Scholar 

  18. Malcev A.:Ob odnom obščem metodie polučenija lokalnich teorem teorii grupp. Ivanovskij Gosud. Ped. Inst., Uč. Zap., vol. I, wyp. I, 1941.

  19. Mostowski A.:Logika matematyczna. Warszawa — Wrocław, 1948.

  20. Mostowski A.:Współczesny stan badań nad podstawami matematyki. Prace matematyczne, I, 1, Warszawa, 1955, str. 13–55.

    Google Scholar 

  21. Post E.:Introduction to a general theory of elementary propositions. Amer. Journ. Math., vol. 43, 1921, pp. 165–185.

    Google Scholar 

  22. Rasiowa H.:Constructive theories. Bull. Acad. Polon. Sci., Cl. III, vol. 2, 1954, pp. 121–124.

    Google Scholar 

  23. Rasiowa H., Sikorski R.:A proof of the completeness theorem of Gödel. Fund. Math., vol. 37, 1950, pp. 337–343.

    Google Scholar 

  24. Słupecki J.:Uogólnienie twierdzenia Lindenbauma. Sprawozd. z Prac Nauk. Wydz. Nauk Społ., z. 4, 1961.

  25. Tarski A.:Sur quelques théorèmes qui équivalent à l'axiome du choix. Fund. Math., vol. 5, 1924, pp. 147–154.

    Google Scholar 

  26. Tarski A.:Über einige fundamentale Begriffe der Metamathematik. Sprawozd. Two. Nauk. Warsz., Wydz. III, vol. 23, 1930, pp. 22–29.

    Google Scholar 

  27. Tarski A.:Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I. Monatshefte f. Math. u. Physik, vol. 37, 1930, pp. 361–404.

    Article  Google Scholar 

  28. Tarski A.:Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit. Monatshefte f. Math. u. Physik, vol. 40, 1933, pp. 97–112.

    Article  Google Scholar 

  29. Tarski A.:Pojęcie prawdy w językach nauk dedukcyjnych. Prace Tow. Nauk. Warsz., Wydz. III, No 34, 1933, str. 116.

    Google Scholar 

  30. Tarski A.:Z. badań metodologicznych nad definiowalnością terminów. Przegląd Filozoficzny, vol. 37, 1934, str. 438–460.

    Google Scholar 

  31. Tarski A.:Grundzüge des Systemenkalküls, Erster Teil. Fund. Math., vol. 25, 1935, pp. 503–526.

    Google Scholar 

  32. Tarski A.:Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the Intern. Congress of math., Cambridge, USA, 1950, 1, pp. 705–720.

  33. Teichmüller O.:Braucht der Algebraiker das Auswahlaxiom? Deutsche Math., vol. 1939, pp. 567–577.

  34. Tukey J. W.:Convergence and uniformity in topology. Princeton, 1940.

  35. Vaught R.:Applications of the Löwenheim-Skolem-Tarski theorem to problems of completeness and decidability. Indagat. Math., vol. 16, 1954, pp. 467–472.

    Google Scholar 

  36. Vaught R.:On the axiom of choice and some metamathematical theorem. Bull. Amer. Math. Soc., vol. 62, 1956, Abstract 371 t.

  37. Veblen O.:A system of axioms for geometry. Trans. Amer. Math. Soc., vol. 5, 1904, pp. 343–384.

    MathSciNet  Google Scholar 

  38. Robinson A.:On the metamathematics of algebra. Amsterdam 1951.

Download references

Author information

Authors and Affiliations

  1. Universytet Jagielloński, Kraków

    Stanisław J. Surma

Authors
  1. Stanisław J. Surma
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 19 Maii 1967

Rights and permissions

Reprints and permissions

About this article

Cite this article

Surma, S.J. Cztery studia z metamatematyki. Stud Logica 23, 79–102 (1968). https://doi.org/10.1007/BF02124629

Download citation

  • Issue Date:

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

Search

Navigation