×

zbMATH — the first resource for mathematics

The algebraic treatment of the methodology of elementary deductive systems. (English. Polish, Russian summaries) Zbl 0067.25101

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] –Bemerkung der Redaktion, given at the end of Skolem’s work [18],Üder die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslichen Zahlenvariablen, ”Fundamenta Mathematicae”, 161, FM. 33 (1934).
[2] Bernays P., Hilbert D.,Grundlagen der Mathematik, Berlin 1934–39.
[3] Gödel K.,Die Vollständigkeit der Axiome des logischen Funktionenkalküls, ”Monatshefte für Math. und Physik”, 37 (1930), pp. 349–360. · JFM 56.0046.04
[4] Henkin L.,The completeness of the first-order functional calculus ”Journal of Symbolic Logic”, 14 (1949), pp. 159–166. · Zbl 0034.00602
[5] Herbrand J,Recherches sur la théorie de la démonstration, Prace Warszawskiego Towarzystwa Naukowego III, No.33, Warszawa 1930.
[6] Kuratowski K., Mostowski A.,The theory of sets, Warszawa-Wrocław 1952. · Zbl 0047.00903
[7] Lövenheim L.,Über Möglichkeiten im Relativkalkül, ”Mathematische Annalen”, 76 (1915), pp. 447–470. · JFM 45.0108.01
[8] Łoś J.,O matrycach logicznych, Prace Wrocławskiego Towarzystwa Naukowego, Seria B No. 19, Wrocław 1949.
[9] Łoś J.,An algebraic proof of completeness for the two-valued propositional calculus, ”Colloquium Mathematicum”, 2 (1951), pp. 236–240. · Zbl 0045.29504
[10] Łoś J.,On the categoricity in power of deductive theories and some related problems, ”Colloquium Mathematicum” 3.(1954), pp. 58–62. · Zbl 0055.00505
[11] Łoś J., Ryll-Nardzewski C.,On the application of Tychonoff’s theorem in mathematical proofs, ”Fundamenta Mathematicae”, 38 (1951), pp. 233–237. · Zbl 0044.27403
[12] Łoś J., Ryll-Nardzewski,Effectiveness of the theory of representations of Boolean algebras, to be published in ”Fundamenta Mathematicae”, 41.
[13] Mostowski A.,Über die Unabhängigkeit des Auswahlaxioms vom Ordnungsprinzip, ”Fundamenta Mathematicae” 32 (1939), pp. 201–252. · Zbl 0022.12004
[14] Mostowski A., Logika Matematyczna, Warszawa-Kraków 1948.
[15] Rasiowa H., Sikorski R.,A proof of the completeness theorem of Gödel, ”Fundamenta Mathematicae”, 37 (1950) pp. 193–200. · Zbl 0040.29303
[16] Reichbach J.,On the completeness of the functional calculus of first order, ”Studia Logica” II, pp. 245–250. · Zbl 0067.25004
[17] Sierpiński W.,Arytmetyka teoretyczna (in print).
[18] Skolem T.,Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslichen Zahlenvariablen, ”Fundamenta Mathematicae”, 33 (1934), pp. 150–161. · JFM 60.0025.02
[19] Stone H. M.,The theory of representations for Boolean algebras ”Trans. of Am. Math. Soc.”, 40 (1936), pp. 37–111. · Zbl 0014.34002
[20] Tarski A.,Über einige fundamentale Begriffe der Mathematik, Prace Warszawskiego Towarzystwa Naukowego, III, Volume 23 (1930), pp. 22–29. · JFM 57.1318.03
[21] Tarski A.,Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I, ”Monatshefte f. Math. u. Phys.”, 37 (1930), pp. 361–404. · JFM 56.0046.02
[22] Tarski A.,Une contribution à la théorie de la mesure, ”Fundamenta Mathematicae”, 15 (1930), pp. 42–50. · JFM 56.0089.05
[23] Tarski A.,Grundzüge des Systemenkalküls, Erster Teil, ”Fundamenta Mathematicae”, 25 (1935), pp. 501–526. · Zbl 0012.38501
[24] Tarski A.,Pojęcie prawdy w językach nauk dedukcyjnych, Prace Warszawskiego Towarzystwa Naukowego, III, No. 34, Warszawa 1933.
[25] Ulam K.,Concerning functions of sets, ”Fundamenta Mathematicae”, 14 (1929), pp. 231–233. · JFM 55.0150.03
[26] Veblen O.,A system of axioms for geometry, ”Trans. of Amer. Math. Soc.”, 5 (1904), pp. 343–384. · JFM 35.0495.02
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.