Yang Yue Yang – författare

ASEAN countries play a crucial role in the Belt and Road Initiative (BRI) that was initiated in 2013. A number of priority BRI projects have since been implemented. The implementation of BRI brings new opportunities and challenges to countries in the region, and also to regional integration.In this book, researchers from universities and think-tanks in ASEAN countries study the BRI from the perspective of regional studies. It presents an analysis of responses on BRI of the government and people from individual ASEAN members.The book addresses three areas: First, the strengths and weaknesses of ASEAN countries, and the opportunities and challenges for them in implementing the BRI (a SWOT analysis); second, the impacts of BRI on building the ASEAN community; and third, interactions between BRI and ASEAN-China cooperation.

In order for the joint research by Network of ASEAN-China Think-tanks (NACT) to reach out to a much wider audience, NACT began to publish joint research of all Working Groups since 2019. This book is a collection of research papers contributed by ASEAN and China scholars who attended NACT Working Group Meeting on Regional Cooperation for Sustainable Energy Development on April 16, 2019 and NACT Working Group Meeting on Environmental Protection in ASEAN and China on May 17, 2019. The contributing scholars give their ingenious and insightful thoughts on ASEAN-China energy and environmental protection cooperation from either a national or a regional perspective. Two NACT Working Group Reports are also incorporated in the appendices of this book, including innovative and practical policy recommendations on strengthening ASEAN-China sustainable energy and environmental protection cooperation in existing priority areas and identifying new ones.

Since 2019, Network of ASEAN-China Think-tanks (NACT) has been publishing joint researches of all its Working Groups. This book is a collection of research papers contributed by ASEAN and China scholars.This book is published at a time of growing debate in the region over connectivity. The contributing scholars provide their ingenious and insightful thoughts from either a national or regional perspective. The book also contains Working Group Report that include innovative and practical policy recommendations on strengthening the connectivity between ASEAN and China.

The Association of Southeast Asian Nations (ASEAN) has been one of the world''s most dynamic and fastest-growing regions over the years. Its average combined GDP growth rate is more than 6% and the total combined GDP was valued at US$3.0 trillion in 2018. ASEAN countries have managed to significantly reduce their national poverty over the last few decades. Although a correlation exists between economic growth and poverty reduction, millions of people in ASEAN countries still do not have sufficient incomes to fulfill their basic needs including food, shelter, clothes and sanitation.This book is a collection of working group papers contributed by members of Network of ASEAN-China Think-tanks (NACT) and covers best practices on poverty alleviation in ASEAN member states as well as in China, and ASEAN-China cooperation. It discusses experiences of ASEAN member states and China such as with regard to national policies, principles, definitions, approaches, progress, and challenges in poverty reduction. It reviews and evaluates the way forward including existing joint projects, opportunities, and challenges in the future cooperation and offers policy recommendations from both national and regional perspectives to help policymakers better cope with the daunting poverty challenges.

This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. The scope involves the topics of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015. This special collection reports on important and recent interactions between the fields of Set Theory and Computation Theory. This includes the new research areas of computational complexity in set theory, randomness beyond the hyperarithmetic, powerful extensions of Goodstein''s theorem and the capturing of large fragments of set theory via elementary-recursive structures.Further chapters are concerned with central topics within Set Theory, including cardinal characteristics, Fraïssé limits, the set-generic multiverse and the study of ideals. Also Computation Theory, which includes computable group theory and measure-theoretic aspects of Hilbert''s Tenth Problem. A volume of this broad scope will appeal to a wide spectrum of researchers in mathematical logic.

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.

This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the leading experts in recursion theory (computability theory) and set theory. Topics covered include the structure theory of various notions of degrees of unsolvability, algorithmic randomness, reverse mathematics, forcing, large cardinals and inner model theory, and many others.

This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It consists of articles by four of the leading experts in recursion theory (computability theory) and set theory. The survey paper of Rod Downey provides a comprehensive introduction to algorithmic randomness, one of the most active areas of current research in recursion theory. Theodore A Slaman''s article is the first printed account of the ground-breaking work of Slaman-Woodin and Slaman-Shore on the definability of the Turing jump. John Steel presents some results on the properties of derived models of mice, and on the existence of mice with large derived models. The study was motivated by some of the well-known Holy Grails in inner model theory, including the Mouse Set Conjecture. In his presentation, W Hugh Woodin gives an outline of an expanded version (unpublished) on suitable extender sequences, a subject that was developed in the attempt to understand inner model theory for large cardinals beyond the level of superstrong cardinals.The volume serves as a useful guide for graduate students and researchers in recursion theory and set theory to some of the most important and significant developments in these subjects in recent years.

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions rather than on the relationship between different forcing axioms or their consistency strengths.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey''s Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.