Psoriasis and Systematized Epidermal Nevus
- 期刊名称Archives of Dermatology
- 作者Sugai, Tetsuro
- 卷第102卷
- 期第6期
- 印刷ISSN0003-987X
- 文件大小7959.88KB
- 发表时间1970-12-01
- DOI10.1001/archderm.1970.04000120074014
Generalized ultrapowersJoram Hirschfeld · Archive for Mathematical Logic · 1980
The Model Companion of ZFJoram Hirschfeld · Proceedings of the American Mathematical Society · 1975
A lower bound for Ramsey's theoremJoram Hirschfeld · 1980
Examples in the Theory of Existential CompletenessJoram Hirschfeld · The Journal of Symbolic Logic · 1978
The Nonstandard Treatment of Hilbert's Fifth ProblemJoram Hirschfeld · Transactions of the American Mathematical Society · 1990
[Lecture Notes in Mathematics] Forcing, Arithmetic, Division Rings Volume 454 || Simple models and R.E. ultrapowersHirschfeld, Joram; Wheeler, William H. · 1975
Cutland Nigel J.. Nonstandard measure theory and its applications. The bulletin of the London Mathematical Society, vol. 15 (1983), pp. 529–589.Hirschfeld, Joram · The Journal of Symbolic Logic · 1989
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