- The independence of the continuum hypothesis.Paul Cohen - 1963 - Proc. Nat. Acad. Sci. USA 50 (6):1143-1148.details
|
|
The Independence of the Continuum Hypothesis.Paul J. Cohen - 1963 - Proceedings of the National Academy of Sciences of the United States of America 50 (6):1143--8.details
|
|
Independence results in set theory.Paul J. Cohen - 1965 - Journal of Symbolic Logic 32 (1):39--54.details
|
|
Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre.Paul Bernays - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 3--49.details
|
|
Review: Kurt Godel, Consistency-Proof for the Generalized Continuum-Hypothesis. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (3):117-118.details
|
|
Review: Solomon Feferman, J. W. Addison, Leon Henkin, Alfred Tarski, Some Applications of the Notions of Forcing and Generic Sets (Summary); Solomon Feferman, Some Applications of the Notions of Forcing and Generic Sets. [REVIEW]James E. Baumgartner - 1972 - Journal of Symbolic Logic 37 (3):612-613.details
|
|
Some Consequences of the Axiom of Constructibility.J. W. Addison - 1963 - Journal of Symbolic Logic 28 (4):293-293.details
|
|
Zur Axiomatik der Mengenlehre.Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):215-216.details
|
|
Fraenkel's addition to the axioms of Zermelo.Richard Montague - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 662-662.details
|
|
The problem of predicativity.Joseph R. Shoenfield - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 132--139.details
|
|
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory.Kurt Gödel - 1940 - Princeton university press;: Princeton University Press;. Edited by George William Brown.details
|
|
The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis.Paul Bernays - 1940 - Journal of Symbolic Logic 5 (3):116-117.details
|
|
Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom).Ernst Specker - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13‐20):173-210.details
|
|
Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom).Ernst Specker - 1957 - Mathematical Logic Quarterly 3 (13-20):173-210.details
|
|
A. Lévy and R. M. Solovay. Measurable cardinals and the continuum hypothesis. Israel journal of mathematics, vol. 5 (1967), pp. 234–248. [REVIEW]R. M. Solovay - 1970 - Journal of Symbolic Logic 34 (4):654-655.details
|
|
Review: Azriel Levy, Independance Conditionnelle de V = L et d'Axiomes qui se Rattachent au Systeme de M. Godel. [REVIEW]J. C. Shepherdson - 1959 - Journal of Symbolic Logic 24 (3):226-226.details
|
|
Azriel Lévy. Indépendance conditionnelle de V = L et d'axiomes qui se rattache au système de M. Gödel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 245 , pp. 1582–1583. [REVIEW]J. C. Shepherdson - 1959 - Journal of Symbolic Logic 24 (3):226-226.details
|
|
Can You Take Solovay's Inaccessible Away?Saharon Shelah & Jean Raisonnier - 1989 - Journal of Symbolic Logic 54 (2):633-635.details
|
|
An independence result concerning the axiom of choice.Gershon Sageev - 1975 - Annals of Mathematical Logic 8 (1-2):1-184.details
|
|
An independence result concerning the Axiom of Choice.Gershon Sageev - 1975 - Annals of Mathematical Logic 8 (1):1.details
|
|
Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.details
|
|
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.details
|
|
On the Principle of Dependent Choices.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 14 (4):257-257.details
|
|
Über die Unabhangigkeit des Wohlordnungssatzes vom Ordnungsprinzip.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):129-130.details
|
|
The independence of a weak axiom of choice.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (4):350-366.details
|
|
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.details
|
|
Internal Cohen extensions.D. A. Martin - 1970 - Annals of Mathematical Logic 2 (2):143.details
|
|
On Ackermann's set theory.Azriel Lévy - 1959 - Journal of Symbolic Logic 24 (2):154-166.details
|
|
A generalization of gödel's notion of constructibility.Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):147-155.details
|
|
On the decomposition of sets of reals to borel sets.A. Levy & R. M. Solovay - 1972 - Annals of Mathematical Logic 5 (1):1-19.details
|
|
Review: Robert M. Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable. [REVIEW]Richard Laver - 1973 - Journal of Symbolic Logic 38 (3):529-529.details
|
|
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.details
|
|
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Mathematical Logic Quarterly 14 (7-12):97-142.details
|
|
Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.details
|
|
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.details
|
|
The Independence of the Axiom of Choice from the Boolean Prime Ideal Theorem.J. D. Halpern - 1967 - Journal of Symbolic Logic 32 (2):273-274.details
|
|
A Partition Theorem.J. D. Halpern - 1974 - Journal of Symbolic Logic 39 (1):181-182.details
|
|
On a consistency theorem connected with the generalized continuum problem.András Hajnal - 1956 - Mathematical Logic Quarterly 2 (8‐9):131-136.details
|
|
On a consistency theorem connected with the generalized continuum problem.András Hajnal - 1956 - Mathematical Logic Quarterly 2 (8-9):131-136.details
|
|
On Ackermann's Set Theory.Rudolf Grewe - 1966 - Dissertation, University of California, Los Angelesdetails
|
|
Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorie.Gerhard Gentzen - 1944 - Journal of Symbolic Logic 9 (3):70-72.details
|
|
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.details
|
|
The Independence of the Continuum Hypothesis II.Paul Cohen - 1964 - Proc. Nat. Acad. Sci. USA 51 (1):105-110.details
|
|