Item request has been placed!

Item request cannot be made.

Processing Request

THE REVERSE MATHEMATICS OF CAC FOR TREES

Item request has been placed!

Item request cannot be made.

Processing Request

اقرأ أكثر حفظ في قائمتي

المؤلفون: JULIEN CERVELLE; WILLIAM GAUDELIER; LUDOVIC PATEY
المصدر:
The Journal of Symbolic Logic. :1-28
الموضوع:
TheoryofComputation_MISCELLANEOUS; Philosophy; Logic; TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS; ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS; Data_FILES; ComputingMilieux_COMPUTERSANDEDUCATION; Computer Science::Networking and Internet Architecture; FOS: Mathematics; Quantitative Biology::Populations and Evolution; Mathematics - Logic; Computer Science::Data Structures and Algorithms; Logic (math.LO)
الدخول الالكتروني :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ef5ede1492f46cd722433c525cec64b
https://doi.org/10.1017/jsl.2023.27

معلومة اضافية
- بيانات النشر:
  Cambridge University Press (CUP), 2023.
- الموضوع:
  2023
- نبذة مختصرة :
  CAC for trees is the statement asserting that any infinite subtree of $\mathbb{N}^{
  28 pages
- ISSN:
  1943-5886
  0022-4812
- الرقم المعرف:
  10.1017/jsl.2023.27
- Rights:
  OPEN
- الرقم المعرف:
  edsair.doi.dedup.....5ef5ede1492f46cd722433c525cec64b

تعليقات

No Comments.