Extended bar induction in applicative theories
- 作者Gerard R. Renardel de Lavalette
- 卷第50卷
- 期第2期
- 印刷ISSN0168-0072
- 文件大小2912.35KB
- 发表时间1990
- DOI10.1016/0168-0072(90)90047-6
- 页码139-189
同标题推荐
同作者推荐
The Non-commutative Specker PhenomenonKatsuya Eda · Journal of Algebra · 1998
Algebraic topology of Peano continuaKatsuya Eda · Topology and its Applications · 2005
Trees, fundamental groups and homology groupsKatsuya Eda; Masasi Higasikawa · 2001
On ℤ-kernel groupsKatsuya Eda · Archiv der Mathematik · 1983
Limit systems and chain conditionEda, Katsuya · Tsukuba Journal of Mathematics · 1980
$Z$-kernel groups of measurable cardinalitiesEda, Katsuya · Tsukuba Journal of Mathematics · 1984
Compact cardinals and abelian groupsEda, Katsuya; Abe, Yoshihiro · Tsukuba Journal of Mathematics · 1987