Introduction
- 期刊名称Notre Dame Journal of Formal Logic
- 作者Chatzidakis, Zoé; Marker, David; Martin-Pizarro, Amador; Moosa, Rahim; Starchenko, Sergei
- 卷第54卷
- 印刷ISSN0029-4527
- 文件大小98.42KB
- 发表时间2013
- DOI10.1215/00294527-2143880
- 页码277-277
Generating ultrafilters in a reasonable wayAndrzej Rosłanowski; Saharon Shelah · 2008
Measured creaturesAndrzej Rosłanowski; Saharon Shelah · 2006
Universal forcing notions and idealsAndrzej Rosłanowski; Saharon Shelah · Archive for Mathematical Logic · 2007
Sheva-sheva-sheva: Large creaturesAndrzej Rosłanowski; Saharon Shelah · 2007
More forcing notions imply diamondAndrzej Rosłanowski and Saharon Shelah · Archive for Mathematical Logic · 1996
Adding one random realBartoszyński, Tomek; Rosłanowski, Andrzej; Shelah, Saharon · The Journal of Symbolic Logic · 1996
Ideals without cccBalcerzak, Marek; RosŁanowski, Andrzej; Shelah, Saharon · The Journal of Symbolic Logic · 1998
Compressibility and Kolmogorov ComplexityBinns, Stephen; Nicholson, Marie · Notre Dame Journal of Formal Logic · 2013
Weak Theories of Concatenation and ArithmeticHorihata, Yoshihiro · Notre Dame Journal of Formal Logic · 2012
On Existence in Set TheoryFreire, Rodrigo A. · Notre Dame Journal of Formal Logic · 2012
On Generalizing KolmogorovDietz, Richard · Notre Dame Journal of Formal Logic · 2010
Metalogic of Intuitionistic Propositional CalculusCitkin, Alex · Notre Dame Journal of Formal Logic · 2010
On a family of paradoxes.Prior, A. N. · Notre Dame Journal of Formal Logic · 1961
Degrees of Relative ProvabilityCai, Mingzhong · Notre Dame Journal of Formal Logic · 2012
The Computational Content of Arithmetical ProofsHetzl, Stefan · Notre Dame Journal of Formal Logic · 2012