Ordinal arithmetic and(Sigma_{1})-elementarity
- 期刊名称Archive for Mathematical Logic
- 作者Timothy J. Carlson
- 卷第38卷
- 期第7期
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小103.27KB
- 发表时间1999-10
- DOI10.1007/s001530050150
- 页码449-460
On relative enumerability of Turing degreesShamil Ishmukhametov · Archive for Mathematical Logic · 2000
Isolation and the high/low hierarchyShamil Ishmukhametov; Guohua Wu · Archive for Mathematical Logic · 2002
On a Problem of Cooper and EpsteinShamil Ishmukhametov · The Journal of Symbolic Logic · 2003
On a problem of Cooper and EpsteinIshmukhametov, Shamil · The Journal of Symbolic Logic · 2003
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