Constructibility in higher order arithmetics
- 期刊名称Archive for Mathematical Logic
- 作者A. Sochor
- 卷第32卷
- 期第6期
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小480.34KB
- 发表时间1993
- DOI10.1007/bf01270463
- 页码381-389
Extendability of Functions on Models of ZFFinA. Sochor · 1988
Petr Vopěnka (∗16.5.1935)A. Sochor · 2001
ReviewsCharles E. Ziegler; Zenovia A. Sochor; William C. Gay; Jeremiah P. Conway; Philip Moran; Irving H. Anellis · 1982
Interpretations of the alternative set theoryA. Sochor · Archive for Mathematical Logic · 1993
Soviet taylorism revisitedSochor, Zenovia A. · Soviet Studies · 1981
Soviet Taylorism RevisitedZenovia A. Sochor · Soviet Studies · 1981
Was Bogdanov Russia's answer to Gramsci?Zenovia A. Sochor · 1981
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