Applications of effective methods in computable mathematics

• المؤلف الرئيسي: Salah Mostafa Mohamed Elsayed
• مؤلفون آخرون: Ng Keng Meng
• التنسيق: Thesis-Doctor of Philosophy
• اللغة: English
• منشور في: Nanyang Technological University 2022
• الموضوعات: Science::Mathematics::Mathematical logic
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/160017
• المؤسسة: Nanyang Technological University

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...