Σ1(κ)-DEFINABLE SUBSETS OF H(κ +)
- 期刊名称The Journal of Symbolic Logic
- 作者LÜCKE, PHILIPP; SCHINDLER, RALF; SCHLICHT, PHILIPP
- 卷第82卷
- 期第3期
- 印刷ISSN0022-4812
- 电子ISSN1943-5886
- 文件大小340.67KB
- 发表时间2017-09
- DOI10.1017/jsl.2017.36
- 页码1106-1131
同作者推荐
Intensional isomorphism and identity of beliefAlonzo Church · 1954
The Richard ParadoxAlonzo Church · The American Mathematical Monthly · 1934
Contradiction and Absurdityby K. BaierReview by: Alonzo Church · The Journal of Symbolic Logic · 1955
[untitled]Review by: Alonzo Church · The Journal of Symbolic Logic · 1975
The Paradoxesby Evert BethReview by: Alonzo Church · The Journal of Symbolic Logic · 1939
Symbolic Logicby Saunders Mac LaneReview by: Alonzo Church · The Journal of Symbolic Logic · 1939
Inaugural Addressby R. VaidyanathaswamiReview by: Alonzo Church · The Journal of Symbolic Logic · 1939
Mathematical Biophysicsby N. RashevskyReview by: Alonzo Church · The Journal of Symbolic Logic · 1949