中文
Liu Lu's Research Homepage > Publications

RT22 does not imply WKL0

Hits:

  • Release time:2020-01-10

  • Journal:Journal of Symbolic Logic

  • Volume:77

  • Issue:2

  • Page Number:609-620

  • Translation or Not:no

  • Date of Publication:2012-05-10

  • Links to published journals:https://arxiv.org/abs/1602.03784

  •

Central South University  All rights reserved  湘ICP备05005659号-1 Click:
  MOBILE Version

The Last Update Time:..