Field and Study Notes
- 期刊名称The Lichenologist
- 作者Brightman, F. H.; Jones, R. J.; Swinscow, T. D. V.; James, P. W.; Alvin, K. L.; Swinscow, T. D. V.
- 卷第1卷
- 期第3期
- 印刷ISSN0024-2829
- 电子ISSN1096-1135
- 文件大小103.11KB
- 发表时间1959-12
- DOI10.1017/s0024282959000317
Independence Results for Class Forms of the Axiom of ChoicePaul E. Howard, Arthur L. Rubin and Jean E. Rubin · The Journal of Symbolic Logic · 1978
Disjoint Unions of Topological Spaces and ChoicePaul Howard; Kyriakos Keremedis; Herman Rubin; Jean E. Rubin · 1998
Kinna-Wagner selection principles, axioms of choice and multiple choicePaul Howard; Arthur L. Rubin; Jean E. Rubin · 1997
Weak Forms of the Axiom of Choice and the Generalized Continuum HypothesisArthur L. Rubin; Jean E. Rubin · 1993
Versions of Normality and Some Weak Forms of the Axiom of ChoicePaul Howard; Kyriakos Keremedis; Herman Rubin; Jean E. Rubin · 1998
The Cardinality of the set of Dedekind Finite Cardinals in Fraenkel-Mostowski ModelsArthur L. Rubin; Jean E. Rubin · 1974
The Compactness Theorem in Mathematical LogicJean E. Rubin · Mathematics Magazine · 1973
Finite SetsJean E. Rubin · Mathematics Magazine · 1973
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957