Applications of effective methods in computable mathematics
This thesis is divided into 5 chapters. The first chapter gives a brief introduction to computability theory and type-2 theory of effectivity that will used in the subsequent chapters. In chapter 2, we define some new computable separations axioms and investigate some of its properties with respec...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Thesis-Doctor of Philosophy |
| اللغة: | English |
| منشور في: |
Nanyang Technological University
2022
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://hdl.handle.net/10356/160017 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|