An intuitionistic proof of Kruskal’s theorem
- 期刊名称Archive for Mathematical Logic
- 作者Wim Veldman
- 卷第43卷
- 期第2期
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小420.64KB
- 发表时间2004-02
- DOI10.1007/s00153-003-0207-x
- 页码215-264
Two cardinals models with gap one revisitedSaharon Shelah · 2005
Recursive logic framesSaharon Shelah; Jouko Väänänen · 2006
Two cardinal models for singular μShimon Garti; Saharon Shelah · 2007
The stationary set splitting gamePaul B. Larson; Saharon Shelah · 2008
Generating ultrafilters in a reasonable wayAndrzej Rosłanowski; Saharon Shelah · 2008
On long increasing chains modulo flat idealsSaharon Shelah · 2010
Embeddings of Cohen AlgebrasSaharon Shelah; Jindřich Zapletal · Advances in Mathematics · 1997
The Automorphism Tower Problem RevisitedWinfried Just; Saharon Shelah; Simon Thomas · Advances in Mathematics · 1999
Homology of proof-netsFrançois Métayer · Archive for Mathematical Logic · 1994
Countable models of 1-based theoriesAnand Pillay · Archive for Mathematical Logic · 1992
Intuitionistic typical ambiguityDaniel Dzierzgowski · Archive for Mathematical Logic · 1992
Onκ-complete reduced productsTapani Hyttinen · Archive for Mathematical Logic · 1992
The monadic theory of (ω2,Shmuel Lifsches; Saharon Shelah · Archive for Mathematical Logic · 1992
Strong counterexamples to Borel hyperdeterminacyC. Ward Henson · Archive for Mathematical Logic · 1992
Subsets of models of arithmeticRoman Kossak; Jeffrey B. Paris · Archive for Mathematical Logic · 1992
Constructibility in higher order arithmeticsA. Sochor · Archive for Mathematical Logic · 1993