Journal of Mathematical Logic, Ahead of Print.

In this article we explore some properties of H-structures which are introduced in [2]. We describe a construction of H-structures based on one-dimensional asymptotic classes which preserves pseudofiniteness. That is, the H-structures we construct are ultraproducts of finite structures. We also prove that under the assumption that the base theory is supersimple of SU-rank one, there are no new definable groups in H-structures. This improves the corresponding result in [2].

The digital business model emerges as a new business model and gradually penetrates global industries, and countries are putting in place various digital strategies to support their development. As one of the important tools, taxation strategies are highly expected by countries, which not only describe the economic development pattern of a country but also show the digital leadership of a country. Some countries have introduced their own unilateral digital services tax to govern their digital business models, while others have looked (...) more to the global minimum tax, resulting in the current situation of both a unilateral digital services tax and a global minimum tax. However, both of them are of great reference value for the tax governance of digital business models. This paper compares the development history of digital tax strategies, categorizes, and analyzes the design logic of existing digital tax strategies, and takes China, one of the major digital economy countries, as an example to propose China’s digital tax strategies by drawing on international experience. We set an example for the design of digital economy tax strategies for countries around the world so that they can manage digital business models more efficiently. (shrink)

We study a family of ultraproducts of finite fields with the Frobenius automorphism in this paper. Their theories have the strict order property and TP2. But the coarse pseudofinite dimension of the definable sets is definable and integer-valued. Moreover, we establish a partial connection between coarse dimension and transformal transcendence degree in these difference fields.

We study a family of ultraproducts of finite fields with the Frobenius automorphism in this paper. Their theories have the strict order property and TP2. But the coarse pseudofinite dimension of the definable sets is definable and integer-valued. Moreover, we also discuss the possible connection between coarse dimension and transformal transcendence degree in these difference fields.

The author requires to retract this paper because there is a gap in the proof of Lemma 3.2, hence also in Theorem 3.1. The revised version is in preparation.

We study a family of ultraproducts of finite fields with the Frobenius automorphism in this paper. Their theories have the strict order property and TP2. But the coarse pseudofinite dimension of the definable sets is definable and integer-valued. Moreover, we also discuss the possible connection between coarse dimension and transformal transcendence degree in these difference fields.

The thesis pseudofinite structures and counting dimensions is about the model theory of pseudofinite structures with the focus on groups and fields. The aim is to deepen our understanding of how pseudofinite counting dimensions can interact with the algebraic properties of underlying structures and how we could classify certain classes of structures according to their counting dimensions. Our approach is by studying examples. We treat three classes of structures: The first one is the class of H-structures, which are generic expansions (...) of existing structures. We give an explicit construction of pseudofinite H-structures as ultraproducts of finite structures. The second one is the class of finite difference fields. We study properties of coarse pseudofinite dimension in this class, show that it is definable and integer-valued and build a partial connection between this dimension and transformal transcendence degree. The third example is the class of pseudofinite primitive permutation groups. We generalise Hrushovski’s classical classification theorem for stable permutation groups acting on a strongly minimal set to the case where there exists an abstract notion of dimension, which includes both the classical model theoretic ranks and pseudofinite counting dimensions. In this thesis, we also generalise Schlichting’s theorem for groups to the case of approximate subgroups with a notion of commensurability.prepared by Tingxiang Zou.E-mail: [email protected]: https://tel.archives-ouvertes.fr/tel-02283810/document. (shrink)

This study investigated the relative role of sub-syllabic components in spoken word recognition of Mandarin Chinese using an eye-tracking experiment with a visual world paradigm. Native Mandarin speakers were presented with four pictures and an auditory stimulus. They were required to click the picture according to the sound stimulus they heard, and their eye movements were tracked during this process. For a target word, nine conditions of competitors were constructed in terms of the amount of their phonological overlap with the (...) target: consonant competitor, rime competitor, tone competitor, consonant plus rime competitor, consonant plus tone competitor, rime plus tone competitor, cohort competitor, cohort plus tone competitor, and baseline competitor. A growth curve analysis was conducted with the fixation to competitors, targets, and distractors, and the results showed that competitors with consonant or rime overlap can be adequately activated, while tone overlap plays a weaker role since additional tonal information can strengthen the competitive effect only when it was added to a candidate that already bears much phonological similarity with the target. Mandarin words are processed in an incremental way in the time course of word recognition since different partially overlapping competitors could be activated immediately; like the pattern found in English, both cohort and rime competitors were activated to compete for lexical activation, but these two competitors were not temporally distinctive and mainly differed in the size of their competitive effects. Generally, the gradation of activation based on the phonological similarity between target and candidates found in this study was in line with the continuous mapping models and may reflect a strategy of native speakers shaped by the informative characteristics of the interaction among different sub-syllabic components. (shrink)