,

Well ordering principles for iterated Pi^1_1-comprehension

, и .
Selecta Mathematica, (2023)
DOI: 10.1007/s00029-023-00879-2

Метаданные

тэги

Пользователи данного ресурса

  • @freund

Комментарии и рецензии