András Hajnal. On a consistency theorem connected with the generalized continuum problem. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 131–136. - A. Hajnal. On a consistency theorem connected with the generalized continuum problem. Acta mathematica Academiae Scientiarum Hungaricae, vol. 12 , pp. 321–376. - Azriel Lévy. A generalization of Gödel's notion of constructibility. The journal of symbolic logic, vol. 25 no. 2 , pp. 147–155 [Book Review]

Journal of Symbolic Logic 32 (2):271-272 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271697

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,139

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

Hajnal András and Kalmár László. An elementary combinatorial theorem with an application to axiomatic set theory. Publicationes mathematlcae , vol. 4 , pp. 431–449.Burger E.. Eine Bemerkung zur Bernays-Godel-Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 178–179. [REVIEW]Azriel Levy - 1960 - Journal of Symbolic Logic 25 (4):354-354.
Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.
On a Consistency Theorem Connected with the Generalized Continuum Problem.A. Hajnal - 1967 - Journal of Symbolic Logic 32 (2):271-272.
Mullin Albert A.. On a theorem equivalent to Post's fundamental theorem of recursive function theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 203–205. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
Kalmár László. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 , pp. 1–27. [REVIEW]William W. Boone - 1958 - Journal of Symbolic Logic 23 (4):447-448.
A. N. Prior. The theory of implication. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 1–6. - A. N. Prior. The theory of implication: two corrections. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 381–382. - Bolesław Sobociński. A note on Prior's systems in “The theory of deduction.”Notre Dame journal of formal logic, vol. 5 no. 2 , pp. 139–140. [REVIEW]Alan Ross Anderson - 1966 - Journal of Symbolic Logic 31 (4):665-666.
Orey Steven. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 146–153.Feferman S., Kreisel G., and Orey S.. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 , pp. 52–63. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.

Analytics

Added to PP
2013-11-03

Downloads
91 (#231,350)

6 months
16 (#190,197)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references