Extendability of Functions on Models of ZFFin
- 作者A. Sochor
- 卷第34卷
- 期第4期
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小429.28KB
- 发表时间1988
- DOI10.1002/malq.19880340406
- 页码309-315
同作者推荐
Much Shorter ProofsDick de Jongh; Franco Montagna · 1989
Generic Generalized Rosser Fixed PointsDick H. J. de Jongh and Franco Montagna · Studia Logica: An International Journal for Symbolic Logic · 1987
Provability Logic || Rosser Orderings and Free VariablesDick de Jongh and Franco Montagna · Studia Logica: An International Journal for Symbolic Logic · 1991
Provability Logic || On the Proof of Solovay's TheoremDick de Jongh, Marc Jumelet and Franco Montagna · Studia Logica: An International Journal for Symbolic Logic · 1991