1. IntroductionCan the discourse of tianxia (“All-under-Heaven”) provide a peaceful resolution to the “Taiwan problem”? This article seeks to address this question. The urgency of such a resolution seems to be evident at this moment: since the Russian invasion of Ukraine, starting on February 24, 2022, observers of international politics have focused on the People’s Republic of China (PRC) with regard to its position on Russia’s aggression, on the one hand, and to its decision on Taiwan, on the other. Consequently, (...) the question of “Will Taiwan be the next Ukraine?” was raised so frequently that the PRC’s former minister of foreign affairs had to urge other states to stop drawing a comparison between Taiwan and Ukraine.1 However, such a call has not eased the concern over the PRC’s potential invasion of Taiwan, as key actors in international politics, such as the United States, the European Union, and the United Kingdom, continue to reiterate their position regarding a peaceful resolution between China and Taiwan,2 suggesting the lack of it to this day. (shrink)

Let an oracle be called low for prefix-free complexity on a set in case access to the oracle improves the prefix-free complexities of the members of the set at most by an additive constant. Let an oracle be called weakly low for prefix-free complexity on a set in case the oracle is low for prefix-free complexity on an infinite subset of the given set. Furthermore, let an oracle be called low and weakly for prefix-free complexity along a sequence in case (...) the oracle is low and weakly low, respectively, for prefix-free complexity on the set of initial segments of the sequence. Our two main results are the following characterizations. An oracle is low for prefix-free complexity if and only if it is low for prefix-free complexity along some sequences if and only if it is low for prefix-free complexity along all sequences. An oracle is weakly low for prefix-free complexity if and only if it is weakly low for prefix-free complexity along some sequence if and only if it is weakly low for prefix-free complexity along almost all sequences. As a tool for proving these results, we show that prefix-free complexity differs from its expected value with respect to an oracle chosen uniformly at random at most by an additive constant, and that similar results hold for related notions such as a priori probability. Furthermore, we demonstrate that on every infinite set almost all oracles are weakly low but are not low for prefix-free complexity, while by Shoenfield absoluteness there is an infinite set on which uncountably many oracles are low for prefix-free complexity. Finally, we obtain no-gap results, introduce weakly low reducibility, or WLK-reducibility for short, and show that all its degrees except the greatest one are countable. (shrink)

We show that a computable function $f:\mathbb R\rightarrow \mathbb R$ has Luzin’s property if and only if it reflects $\Pi ^1_1$ -randomness, if and only if it reflects $\Delta ^1_1$ -randomness, and if and only if it reflects ${\mathcal {O}}$ -Kurtz randomness, but reflecting Martin–Löf randomness or weak-2-randomness does not suffice. Here a function f is said to reflect a randomness notion R if whenever $f$ is R-random, then x is R-random as well. If additionally f is known to have (...) bounded variation, then we show f has Luzin’s if and only if it reflects weak-2-randomness, and if and only if it reflects $\emptyset '$ -Kurtz randomness. This links classical real analysis with algorithmic randomness. (shrink)

We show that a computable function $f:\mathbb R\rightarrow \mathbb R$ has Luzin’s property if and only if it reflects $\Pi ^1_1$ -randomness, if and only if it reflects $\Delta ^1_1$ -randomness, and if and only if it reflects ${\mathcal {O}}$ -Kurtz randomness, but reflecting Martin–Löf randomness or weak-2-randomness does not suffice. Here a function f is said to reflect a randomness notion R if whenever $f$ is R-random, then x is R-random as well. If additionally f is known to have (...) bounded variation, then we show f has Luzin’s if and only if it reflects weak-2-randomness, and if and only if it reflects $\emptyset '$ -Kurtz randomness. This links classical real analysis with algorithmic randomness. (shrink)

We answer a question of Jockusch by constructing a hyperimmune-free minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical Sacks forcing. Some other applications are presented.

We prove that there is no sw-complete c.e. real, negatively answering a question in [6].

Computably Lipschitz reducibility , was suggested as a measure of relative randomness. We say α≤clβ if α is Turing reducible to β with oracle use on x bounded by x+c. In this paper, we prove that for any non-computable real, there exists a c.e. real so that no c.e. real can cl-compute both of them. So every non-computable c.e. real is the half of a cl-maximal pair of c.e. reals.

We study lowness for genericity. We show that there exists no Turing degree which is low for 1-genericity and all of computably traceable degrees are low for weak 1-genericity.

We study the problem of existence of maximal chains in the Turing degrees. We show that: 1. ZF+DC+"There exists no maximal chain in the Turing degrees" is equiconsistent with ZFC+"There exists an inaccessible cardinal"; 2. For all a ∈ 2ω.(ω₁)L[a] = ω₁ if and only if there exists a $\Pi _{1}^{1}[a]$ maximal chain in the Turing degrees. As a corollary, ZFC + "There exists an inaccessible cardinal" is equiconsistent with ZFC + "There is no (bold face) $\utilde{\Pi}{}_{1}^{1}$ maximal chain of (...) Turing degrees". (shrink)

We give a new proof of Friedman's conjecture that every uncountable Δ11 set of reals has a member of each hyperdegree greater than or equal to the hyperjump.

Let [NB]₁ denote the ideal generated by nonbounding c.e. degrees and NCup the ideal of noncuppable c.e. degrees. We show that both [NB]₁ ∪ NCup and the ideal generated by nonbounding and noncuppable degrees are new, in the sense that they are different from M, [NB]₁ and NCup—the only three known definable ideals so far.

We prove that there exists a noncomputable c.e. real which is low for weak 2-randomness, a definition of randomness due to Kurtz, and that all reals which are low for weak 2-randomness are low for Martin-Löf randomness.

We investigate the initial segment complexity of random reals. Let K denote prefix-free Kolmogorov complexity. A natural measure of the relative randomness of two reals α and β is to compare complexity K and K. It is well-known that a real α is 1-random iff there is a constant c such that for all n, Kn−c. We ask the question, what else can be said about the initial segment complexity of random reals. Thus, we study the fine behaviour of K (...) for random α. Following work of Downey, Hirschfeldt and LaForte, we say that αK β iff there is a constant such that for all n, . We call the equivalence classes under this measure of relative randomness K-degrees. We give proofs that there is a random real α so that lim supn K−K=∞ where Ω is Chaitin's random real. One is based upon work of Solovay, and the other exploits a new idea. Further, based on this new idea, we prove there are uncountably many K-degrees of random reals by proving that μ=0. As a corollary to the proof we can prove there is no largest K-degree. Finally we prove that if n ≠ m then the initial segment complexities of the natural n- and m-random sets and Ω︀) are different. The techniques introduced in this paper have already found a number of other applications. (shrink)

Objective: Patients with hypochondriasis hold unexplainable beliefs and a fear of having a lethal disease, with poor compliances and treatment response to psychotropic drugs. Although several studies have demonstrated that patients with hypochondriasis demonstrate abnormalities in brain structure and function, gray matter volume and functional connectivity in hypochondriasis still remain unclear.Methods: The present study collected T1-weighted and resting-state functional magnetic resonance images from 21 hypochondriasis patients and 22 well-matched healthy controls. We first analyzed the difference in the GMV between the (...) two groups. We then used the regions showing a difference in GMV between two groups as seeds to perform functional connectivity analysis. Finally, a support vector machine was applied to the imaging data to distinguish hypochondriasis patients from HCs.Results: Compared with the HCs, the hypochondriasis group showed decreased GMV in the left precuneus, and increased GMV in the left medial frontal gyrus. FC analyses revealed decreased FC between the left medial frontal gyrus and cuneus, and between the left precuneus and cuneus. A combination of both GMV and FC in the left precuneus, medial frontal gyrus, and cuneus was able to discriminate the hypochondriasis patients from HCs with a sensitivity of 0.98, specificity of 0.93, and accuracy of 0.95.Conclusion: Our study suggests that smaller left precuneus volumes and decreased FC between the left precuneus and cuneus seem to play an important role of hypochondriasis. Future studies are needed to confirm whether this finding is generalizable to patients with hypochondriasis. (shrink)

We prove that for any locally countable $\Sigma _{1}^{1}$ partial order P = 〈2ω,≤P〉, there exists a nonmeasurable antichain in P. Some applications of the result are also presented.

We prove that there is no maximal low d.c.e degree.

We prove that every Turing degree a bounding some non-GL₂ degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.

Mauldin [15] proved that there is an analytic set, which cannot be represented by $B\cup X$ for some Borel set B and a subset X of a $\boldsymbol{\Sigma }^0_2$ -null set, answering a question by Johnson [10]. We reprove Mauldin’s answer by a recursion-theoretical method. We also give a characterization of the Borel generated $\sigma $ -ideals having approximation property under the assumption that every real is constructible, answering Mauldin’s question raised in [15].

本书从界定证据相关性的内涵入手,分别探讨了逻辑上的相关性和法律上的相关性,从而澄清了一些在借鉴英美国家证据规则时出现的概念混淆。.

Accountability is of universal interest to the business ethics community, but the emphasis to date has been primarily at the level of the industry, organization, or key individuals. This paper unites concepts from relational and felt accountability and team dynamics to provide an initial explanatory framework that emphasizes the importance of social interactions to team accountability. We develop a measure of team accountability using participants in the USA and Europe and then use it to study a cohort of 65 teams (...) of Irish business students over three months as they complete a complex simulation. Our hypotheses test the origins of team accountability and its effects on subsequent team performance and attitudinal states. Results indicate that initial team accountability is strongly related to team trust, commitment, efficacy, and identifying with the team emotionally. In established teams, accountability increases effort and willingness to continue to collaborate but did not significantly improve task performance in this investigation. (shrink)

Objectives: The N2b is an event-related potential component thought to index higher-order executive function. While the impact of concussion on executive functioning is frequently discussed in the literature, limited research has been done on the role of N2b in evaluating executive functioning in patients with concussion. The aims of this review are to consolidate an understanding of the cognitive functions reflected by the N2b and to account for discrepancies in literature findings regarding the N2b and concussion.Methods: A scoping review was (...) conducted on studies that used the N2b to measure cognitive functioning in healthy control populations, as well as in people with concussions.Results: Sixty-six articles that met inclusion criteria demonstrated that the N2b effectively represents stimulus-response conflict management, response selection, and response inhibition. However, the 19 included articles investigating head injury found widely varied results: some studies found the amplitude of the N2b to be increased in the concussion group, while others found it to be decreased or unchanged.Conclusion: Based on the available evidence, differences in the amplitude of the N2b have been linked to response selection, conflict, and inhibition deficits in concussion. However, due to large variations in methodology across studies, findings about the directionality of this effect remain inconclusive. The results of this review suggest that future research should be conducted with greater standardization and consistency. (shrink)

A real x is -Kurtz random if it is in no closed null set . We show that there is a cone of -Kurtz random hyperdegrees. We characterize lowness for -Kurtz randomness as being -dominated and -semi-traceable.

We prove that the continuous function${\rm{\hat \Omega }}:2^\omega \to $ that is defined via$X \mapsto \mathop \sum \limits_n 2^{ - K\left} $ for all $X \in {2^\omega }$ is differentiable exactly at the Martin-Löf random reals with the derivative having value 0; that it is nowhere monotonic; and that $\mathop \smallint \nolimits _0^1{\rm{\hat{\Omega }}}\left\,{\rm{d}}X$ is a left-c.e. $wtt$-complete real having effective Hausdorff dimension ${1 / 2}$.We further investigate the algorithmic properties of ${\rm{\hat{\Omega }}}$. For example, we show that the maximal (...) value of ${\rm{\hat{\Omega }}}$ must be random, the minimal value must be Turing complete, and that ${\rm{\hat{\Omega }}}\left \oplus X{ \ge _T}\emptyset \prime$ for every X. We also obtain some machine-dependent results, including that for every $\varepsilon > 0$, there is a universal machine V such that ${{\rm{\hat{\Omega }}}_V}$ maps every real X having effective Hausdorff dimension greater than ε to a real of effective Hausdorff dimension 0 with the property that $X{ \le _{tt}}{{\rm{\hat{\Omega }}}_V}\left$; and that there is a real X and a universal machine V such that ${{\rm{\Omega }}_V}\left$ is rational. (shrink)

We show that the structure R of recursively enumerable degrees is not a Σ₁-elementary substructure of Dn, where Dn (n > 1) is the structure of n-r.e. degrees in the Ershov hierarchy.

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and 15th ALCs.

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

The quality and quantity of training data are crucial to the performance of a deep-learning-based brain-computer interface system. However, it is not practical to record EEG data over several long calibration sessions. A promising time- and cost-efficient solution is artificial data generation or data augmentation. Here, we proposed a DA method for the motor imagery EEG signal called brain-area-recombination. For the BAR, each sample was first separated into two ones by left/right brain channels, and the artificial samples were generated by (...) recombining the half-samples. We then designed two schemas corresponding to the single- and multi-subject scenarios. Extensive experiments using the classifier of EEGnet were conducted on two public datasets under various training set sizes. In both schemas, the BAR method can make the EEGnet have a better performance of classification. To make a comparative investigation, we selected two common DA methods, and the BAR method beat them. Further, using the proposed BAR for augmentation, EEGnet achieved up to 8.3% improvement than a typical decoding algorithm CSP-SVM, note that both the models were trained on the augmented dataset. This study shows that BAR usage can significantly improve the classification ability of deep learning to MI-EEG signals. To a certain extent, it may promote the development of deep learning technology in the field of BCI. (shrink)

This study is intended to create an innovative contextual English learning environment making use of the widely used communication software, LINE ChatBot, based on the Artificial Intelligence Markup Language, in order to improve speaking and listening ability among learners. A total of 73 students were invited to participate in learning activities involving a 4-week English conversation exercise including both speaking and listening. Additionally, in order to explore the influence of competition on language acquisition, we added competition characteristics to the learning (...) activities in the experimental group to enhance learning motivation and learning outcomes. The results showed that with the help of the LINE ChatBot contextual learning environment, the performance of both groups of students was slightly enhanced, but no significant differences were found. Meanwhile, extrinsic motivation in both the experimental and control group was improved if they spoke anonymously. That is, the contextual learning environment based on the LINE ChatBot significantly improved the learners’ English speaking and listening ability. In addition, the results showed that the addition of a competition element effectively enhanced the learners’ intrinsic motivation to learn English on the LINE ChatBot. (shrink)

Body ownership concerns what it is like to feel a body part or a full body as mine, and has become a prominent area of study. We propose that there is a closely related type of bodily self-consciousness largely neglected by researchers—experiential ownership. It refers to the sense that I am the one who is having a conscious experience. Are body ownership and experiential ownership actually the same phenomenon or are they genuinely different? In our experiments, the participant watched a (...) rubber hand or someone else’s body from the first-person perspective and was touched either synchronously or asynchronously. The main findings: (1) The sense of body ownership was hindered in the asynchronous conditions of both the body-part and the full-body experiments. However, a strong sense of experiential ownership was observed in those conditions. (2) We found the opposite when the participants’ responses were measured after tactile stimulations had ceased for 5 s. In the synchronous conditions of another set of body-part and full-body experiments, only experiential ownership was blocked but not body ownership. These results demonstrate for the first time the double dissociation between body ownership and experiential ownership. Experiential ownership is indeed a distinct type of bodily self-consciousness. (shrink)

Is corporate social responsibility linked to performance-related instrumentality or real moral concerns? Does CSR create resource advantages? Reasons for and results of CSR remain unclear. We choose a leading retail company in a Confucian, collectivist, and high power distance society and ask whether managers are naturally oriented toward societal actions. We study managerial perceptions regarding the importance and the performance of CSR in relation to other management factors. Drawing on Hunt's ) resource advantage theory, we find that the perceived importance (...) of CSR is only fair vis-à-vis other management factors, but its high performance makes it a core resource for the company. (shrink)

This study explores the research paradigms of contemporary business ethics research in 2001–2008. With citation data from the top two business ethics journals included in the Social Sciences Citation Index, this study conducts citation and co-citation analysis to identify the most important publications, scholars, and research themes in the business ethics area and then maps the intellectual structure of business ethics studies between 2001 and 2008. The results show that current business ethics studies cluster around four major research themes, including (...) morality and social contract theory, ethical decision making, corporate social responsibility, and stakeholder theory. This study helps profile the invisible network of knowledge production in business ethics and provides important insights on current research paradigms of business ethics studies. (shrink)

This study explores the research paradigms of contemporary business ethics research in 2001–2008. With citation data from the top two business ethics journals included in the Social Sciences Citation Index, this study conducts citation and co‐citation analysis to identify the most important publications, scholars, and research themes in the business ethics area and then maps the intellectual structure of business ethics studies between 2001 and 2008. The results show that current business ethics studies cluster around four major research themes, including (...) morality and social contract theory, ethical decision making, corporate social responsibility, and stakeholder theory. This study helps profile the invisible network of knowledge production in business ethics and provides important insights on current research paradigms of business ethics studies. (shrink)

Given the widespread acceptance of computational thinking in educational systems around the world, primary and higher education has begun thinking about how to cultivate students' CT competences. The artificial intelligence of things combines artificial intelligence and the Internet of things and involves integrating sensing technologies at the lowest level with relevant algorithms in order to solve real-world problems. Thus, it has now become a popular technological application for CT training. In this study, a novel AIoT learning with Augmented Reality technology (...) was proposed and explored the effect of CT skills. The students used AR applications to understand AIoT applications in practice, attempted the placement of different AR sensors in actual scenarios, and further generalized and designed algorithms. Based on the results of the experimental course, we explored the influence of prior knowledge and usage intention on students' CT competence training. The results show that proposed AIoT learning can increase students' learning intention and that they had a positive impact on problem solving and comprehension with AR technology, as well as application planning and design. (shrink)

We investigate two issues about the subjective experience of one's body: first, is the experience of owning a full-body fundamentally different from the experience of owning a body-part?Second, when I experience a bodily sensation, does it guarantee that I cannot be wrong about whether it is me who feels it? To address these issues, we conducted a series of experiments that combined the rubber hand illusion (RHI) and the “body swap illusion.” The subject wore a head mounted display (HMD) connected (...) with a stereo camera set on the experimenter's head. Sitting face to face, they used their right hand holding a paintbrush to brush each other's left hand. Through the HMD, the subject adopted the experimenter's first-person perspective (1PP) as if it was his/her own 1PP: the subject watched either the experimenter's hand from the adopted 1PP, and/or the subject's own hand from the adopted third-person perspective (3PP) in the opposite direction (180°), or the subject's full body from the adopted 3PP (180°, with or without face). The synchronous full-body conditions generate a “self-touching illusion”: many participants felt that “I was brushing my own hand!” We found that (1) the sense of body-part ownership and the sense of full-body ownership are not fundamentally different from each other; and (2) our data present a strong case against the mainstream philosophical view called the immunity principle (IEM). We argue that it is possible for misrepresentation to occur in the subject's sense of “experiential ownership” (the sense that I am the one who is having this bodily experience). We discuss these findings and conclude that not only the sense of body ownership but also the sense of experiential ownership call for further interdisciplinary studies. (shrink)