Abstract
CAC for trees is the statement asserting that any infinite subtree of N-
小提示:本篇文献需要登录阅读全文,点击跳转登录
Cervelle, J; Gaudelier, W; Patey, L
Patey, L (通讯作者),Univ PARIS, IMJ PRG, CNRS, EQUIPE LOGIQUE, Paris, France.
JOURNAL OF SYMBOLIC LOGIC, 2023; ():