×

zbMATH — the first resource for mathematics

One hundred and two problems in mathematical logic. (English) Zbl 0318.02002

MSC:
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-XX Mathematical logic and foundations
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Annals of Mathematical Logic 4 pp 21– (1972)
[2] The decidability of certain intermediate prepositional logics 33 pp 258– (1968)
[3] Proceedings of the Second Scandinavian Logic Symposium pp 171– (1971)
[4] Analysis and \(\Sigma\)4 0 games (1974)
[5] A form of determinateness equivalent to the existence of 0# (1971)
[6] Fundamenta Mathematicae 66 pp 287– (1970)
[7] DOI: 10.1090/S0002-9904-1968-11995-0 · Zbl 0165.31605 · doi:10.1090/S0002-9904-1968-11995-0
[8] Infinitary analogs of theorems from first order model theory 36 pp 216– (1971) · Zbl 0232.02037
[9] Minimal \(\alpha\)-recursion theoretic degrees 38 pp 18– (1973)
[10] Fundamenta Mathematicae 57 pp 253– (1965)
[11] Theoria 35 pp 1– (1969)
[12] DOI: 10.1016/0003-4843(72)90007-1 · Zbl 0262.02040 · doi:10.1016/0003-4843(72)90007-1
[13] DOI: 10.1002/malq.19680143002 · Zbl 0176.27803 · doi:10.1002/malq.19680143002
[14] DOI: 10.1215/S0012-7094-68-03513-8 · Zbl 0281.02043 · doi:10.1215/S0012-7094-68-03513-8
[15] Dutch Academy A 65 pp 307– (1962)
[16] Introduction to metamathematics pp 82– (1950)
[17] Proceedings of the 4th ACM Symposium on Theory of Computing pp 157– (1972)
[18] A minimal pair of \(\Pi\)1 0 classes 36 pp 66– (1971) · Zbl 0219.02033
[19] DOI: 10.1090/S0002-9939-1970-0265154-X · doi:10.1090/S0002-9939-1970-0265154-X
[20] An application of \(\Sigma\)4 0 determinacy to the degrees of unsolvability 38 pp 293– (1973)
[21] Mathematical logic and foundations of set theory pp 87– (1966)
[22] DOI: 10.1007/BF00568059 · Zbl 0202.01001 · doi:10.1007/BF00568059
[23] Proceedings of the London Mathematical Society 19 pp 1– (1969)
[24] Transactions of the American Mathematical Society 131 pp 539– (1968)
[25] Compositie 14 pp 23– (1959)
[26] Fundamenta Mathematicae · Zbl 0017.15601
[27] Recursive function theory newsletter pp 10– (1972)
[28] The theory of models pp 132– (1965)
[29] Beth definability in infinitary languages 39 pp 22– (1974)
[30] Lecture Notes in Mathematics 344 pp 392– (1973)
[31] Mathematical logic and foundations of set theory pp 63– (1966)
[32] The undecidable pp 5– (1965)
[33] A decision method for elementary algebra and geometry (1951)
[34] DOI: 10.1007/BFb0079683 · doi:10.1007/BFb0079683
[35] DOI: 10.1090/S0002-9939-1972-0286661-1 · doi:10.1090/S0002-9939-1972-0286661-1
[36] Proceedings of the American Mathematical Society
[37] Transactions of the American Mathematical Society
[38] Fundamenta Mathematicae 41 pp 203– (1955)
[39] DOI: 10.2307/1970860 · Zbl 0244.02023 · doi:10.2307/1970860
[40] DOI: 10.2307/1970696 · Zbl 0207.00905 · doi:10.2307/1970696
[41] Annals of Mathematics
[42] Fundamenta Mathematicae (1974)
[43] DOI: 10.1090/S0002-9939-1974-0327521-9 · doi:10.1090/S0002-9939-1974-0327521-9
[44] DOI: 10.1007/BF02762675 · Zbl 0263.02010 · doi:10.1007/BF02762675
[45] Borel sets and hyperdegrees 38 pp 405– (1973)
[46] DOI: 10.1007/BFb0066789 · doi:10.1007/BFb0066789
[47] The consistency of classical set theory relative to a set theory with intuitionistic logic 38 pp 315– (1973) · Zbl 0278.02045
[48] DOI: 10.2140/pjm.1970.34.547 · Zbl 0198.02701 · doi:10.2140/pjm.1970.34.547
[49] On the \(\Delta\) operation on semantic systems (1972)
[50] DOI: 10.2307/1970765 · Zbl 0259.02054 · doi:10.2307/1970765
[51] Annals of Mathematical Logic 2 pp 326– (1971)
[52] Annals of Mathematical Logic 3 pp 101– (1971)
[53] Fundamenta Mathematicae 72 pp 79– (1971) · Zbl 0245.01016
[54] DOI: 10.1016/0003-4843(72)90006-X · Zbl 0262.02039 · doi:10.1016/0003-4843(72)90006-X
[55] Proceedings of a Symposium at Clermont Ferrand pp 25– (1961)
[56] Why first order logic (1970)
[57] DOI: 10.1016/0003-4843(72)90004-6 · Zbl 0262.02037 · doi:10.1016/0003-4843(72)90004-6
[58] Axiomatic set theory, Proceedings of Symposia in Pure Mathematics 13 pp 331– (1971) · Zbl 0225.02043
[59] Logic Colloquium ’69 pp 289– (1971)
[60] Intuitionism and proof theory pp 435– (1970)
[61] Uncountable prepositional logic (1968)
[62] Intuitionism and proof theory pp 303– (1970)
[63] Fundamenta Mathematicae 56 pp 325– (1965)
[64] The theory of models pp 70– (1965)
[65] Annals of Mathematical Studies (1963)
[66] Set theory and the continuum hypothesis (1966) · Zbl 0182.01301
[67] Extensions of some theorems of Gödel and Church 1 pp 87– (1936)
[68] Fundamenta Mathematicae 79 pp 101– (1973)
[69] Infinitary logic and admissible sets 34 pp 226– (1969)
[70] Dissertationes Mathematicae. Rozprawy Matematyczne 68 pp 5– (1970)
[71] ZF \(\Sigma\)4 0 determinateness 37 pp 661– (1972)
[72] DOI: 10.1090/S0002-9947-1973-0432416-X · doi:10.1090/S0002-9947-1973-0432416-X
[73] Lecture Notes in Mathematics 337 pp 206– (1973)
[74] DOI: 10.1016/0003-4843(70)90009-4 · Zbl 0222.02075 · doi:10.1016/0003-4843(70)90009-4
[75] Fundamenta Mathematicae 49 pp 205– (1961)
[76] The number of countable models 35 pp 14– (1970)
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.