本书内容涵盖执政党的政策与法律的关系,法的阶级性与社会性的关系,马克思主义关于法的概念和本质的基本原理,法是“理”与“力”的结合,法的作用与价值,民主与法制的关系,依法治国的治国方略以及对有关法学思潮 的评析等。.

Say that (a, d) is an isolation pair if a is a c.e. degree, d is a d.c.e. degree, a < d and a bounds all c.e. degrees below d. We prove that there are an isolation pair (a, d) and a c.e. degree c such that c is incomparable with a, d, and c cups d to o', caps a to o. Thus, {o, c, d, o'} is a diamond embedding, which was first proved by Downey in [9]. Furthermore, (...) combined with Harrington-Soare continuity of capping degrees, our result gives an alternative proof of N5 embedding. (shrink)

With references to the theoretical framework of Michel Foucault and Pierre Bourdieu, this book offers a critical investigation into such epic issues as the end of art and the inherent laws of literature's evolution, while conflating the two into one major argumentation. The book proceeds from Hegel's claim of "the end of art" to tackle the universal yet essential problem of literature: its legitimacy in a sociological sense. It invests Bourdieu's sociological terms -- power, capital, habitus, field, etc. into the (...) study of literature and art while taking on other theoretical enquiries, particularly the Marxist exploration into ideology, as well as aspects of economics and communication studies. This book will be a valuable resource for students and scholars of the sociology of literature, cultural studies, and those with specific interests in Chinese literature, literary and art theory. (shrink)

Say that a d.c.e. degree d is nonisolated if for any c.e. degree a

Logic and Philosophy of Logic

Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic

Direct download (4 more)  

 

Export citation  

 

Bookmark   2 citations  

In this paper, we study the bi-isolation phenomena in the d.c.e. degrees and prove that there are c.e. degrees c₁ < c₂ and a d.c.e. degree d ∈ (c₁, c₂) such that (c₁, d) and (d, c₂) contain no c.e. degrees. Thus, the c.e. degrees between c₁ and c₂ are all incomparable with d. We also show that there are d.c.e. degrees d₁ < d₂ such that (d₁, d₂) contains a unique c.e. degree.

本书对弘扬中华民族美德的经典篇章进行挖掘整理、条分缕析,涵盖古今代表篇什,导读、原文、赏析三位一体,帮助读者在阅读中得到思想的启迪、道德的升华。.

本书注重反映国内外法学、法理学研究的新发展、新成就,对法的一般原理、中国社会主义法的基本理论,及法律调整进行系统的论述。.

We show the existence of a high d. c. e. degree d and a low2 c.e. degree a such that d is isolated by a.

In [9]. Yates proved the existence of a Turing degree a such that 0. 0′ are the only c.e. degrees comparable with it. By Slaman and Steel [7], every degree below 0′ has a 1-generic complement, and as a consequence. Yates degrees can be 1-generic, and hence can be low. In this paper, we prove that Yates degrees occur in every jump class.

本书分为人生小灼、指间情爱、走散的炊烟三部分,内容包括:散步的心灵、一个孩子的心事、自卑与自欺、尊严、韩剧女人等.

Say a set Gω is 1-generic if for any eω, there is a string σG such that {e}σ↓ or τσ↑). It is known that can be split into two 1-generic degrees. In this paper, we generalize this and prove that any nonzero computably enumerable degree can be split into two 1-generic degrees. As a corollary, no two computably enumerable degrees bound the same class of 1-generic degrees.

We give a characterization of strongly compact cardinals in terms of Q κ λ. We also prove that weakly normal Q-measures on Q κ λ are ⊂κ-normal.

Say that α is an n-strongly c. e. real if α is a sum of n many strongly c. e. reals, and that α is regular if α is n-strongly c. e. for some n. Let Sn be the set of all n-strongly c. e. reals, Reg be the set of regular reals and CE be the set of c. e. reals. Then we have: S1 ⊂ S2 ⊂ · · · ⊂ Sn ⊂ · · · ⊂ ⊂ Reg (...) ⊂ CE. This gives a hierarchy of the c. e. reals. We also study the regularity of the d. c. e. reals. (shrink)

Cooper proved in [S.B. Cooper, Strong minimal covers for recursively enumerable degrees, Math. Logic Quart. 42 191–196] the existence of a c.e. degree with a strong minimal cover . So is the greastest c.e. degree below . Cooper and Yi pointed out in [S.B. Cooper, X. Yi, Isolated d.r.e. degrees, University of Leeds, Dept. of Pure Math., 1995. Preprint] that this strongly minimal cover cannot be d.c.e., and meanwhile, they proposed the notion of isolated degrees: a d.c.e. degree is isolated (...) by a c.e. degree if is the greatest c.e. degree below , and we also say that isolates . In [G. Wu, Bi-isolation in the d.c.e. degrees, J. Symbolic Logic 69 409–420], Wu extended Cooper–Yi’s notion and proved that there are intervals of d.c.e. degrees containing exactly one c.e. degree . Following Cooper and Yi’s notion, is called a bi-isolating degree. The bi-isolating degrees are dense in the high c.e. degrees. Arslanov asked whether the bi-isolating degrees occur in every jump class. In this paper, we prove that there are low bi-isolating degrees, providing a partial solution to Arslanov’s question. (shrink)

We give a characterization of strongly compact cardinals in terms of Qκλ. We also prove that weakly normal Q-measures on Qκλ are ⊂κ-normal.

Say that a nonzero c. e. degree b is a quasi-complement of a c. e. degree a if a ∩ b = 0 and a ∪ b is high. It is well-known that each cappable degree has a high quasi-complement. However, by the existence of the almost deep degrees, there are nonzero cappable degrees having no low quasi-complements. In this paper, we prove that any nonzero cappable degree has a low2 quasi-complement.

Naturteleologie, Ethik und Gentechnik -- Gentechnik aus historischer Sicht -- Zur Verantwortung des Genetikers -- Ethik und Gentherapie -- Moralisch-ethische Probleme der Gentherapie -- Genomanalyse : Selektion oder Prävention? -- Moralisch-ethische Probleme der Reproduktionsmedizin -- Zur teleologischen Verfasstheit des menschlichen Embryos -- Zum Person-Sein des menschlichen Embryos -- Embryonenschutz in Deutschland -- Sterbehilfe und Patientenverfügungen in den USA -- Leben aus der Sicht von Selbstorganisationstheorien -- Teleologiekritik in Spinozas Ethik.

Abusive supervision has long been found to have remarkably negative impacts on individual and organizational outcomes. Accordingly, prior studies have explored many organizational and supervisory predictors of abusive supervision and offered several interventions to reduce it. However, extant research lacks the bottom-up perspective to explore how employees can act to reduce abusive supervision, which is an important factor that enriches abusive supervision literature and helps employees protect themselves from being abused. Drawing on self-disclosure theory, we develop a model of whether (...) and how employee boundary blurring behavior may protect them from being abused by their supervisors. Specifically, we conducted two studies to test the theoretical model, including a scenario-based experimental study and a multi-source, multi-wave field study. The results reveal a negative indirect effect of employee boundary blurring behavior on abusive supervision via supervisor liking toward the employee. By uncovering employee boundary blurring behavior as an antecedent of abusive supervision, we enrich the abusive supervision literature with a bottom-up behavioral strategy for employees to proactively protect themselves from being abused. We hope our findings will encourage future studies to identify boundary conditions and other solutions for employees to minimize the risk of being abused. (shrink)

This paper investigates the relationship between technological finance, high-quality economic growth, and financial stability. Based on data of 30 provinces collected between 2004 and 2017, this paper adopts the method of factor analysis to construct comprehensive indexes of technological finance and financial stability before calculating green total factor productivity as the index of high-quality development, using the CRS Multiplicative Model. Then it constructs the spatial SAC model and PVAR model for analyses of the just-mentioned relationship based on the total sample (...) of the nation and regional samples in eastern, middle, and western China, respectively. The results reveal that All samples, whether the total national samples or regional samples of eastern, middle, and western China demonstrate the positive influence of technological finance on high-quality economic development, with an obvious spatial spillover effect. The impact factor is the highest in the eastern region, while the western region holds the lowest factor among the three. Judging by the general national sample, technological finance has an obvious negative shock effect on financial stability within a short period, but the effect gradually dwindles as time goes by. This rule applies to the sample of the eastern region, as its technological finance poses a short-time negative shock effect on financial stability, before gradually diminishing to 0. Neither western nor middle regions have displayed an obvious shock impact on financial stability. (shrink)

In this paper, we improve a result of Seetapun and prove that above any nonzero, incomplete recursively enumerable degree a, there is a high2 r.e. degree c>ac>a witnessing that a is locally noncappable . Theorem 1.1 provides a scheme of obtaining high2 nonboundings , as all known high2 nonboundings, such as high2 degrees bounding no minimal pairs, high2 plus-cuppings, etc.

Say that a d.c.e. degree d is isolated by a c.e. degree b, if bMathematics Subject Classification (2000): 03D25, 03D30, 03D35 RID=""ID="" Key words or phrases: Computably enumerable (...) set – d.c.e. degree – Isolation – High/low hierarchy RID=""ID="" Ishmukhametov's research is supported by RFBR grant 01-01-00733, and Wu's research is supported by the Marsden Fund of New Zealand. Wu would like to thank his supervisor, Prof. Rod Downey, for his many helpful suggestions and comments. (shrink)

This study examined the factors driving the public value of e-government from the viewpoint of the Chinese people. The usage of ICT through e-government systems must generate the adequate corresponding public value that can motivate the acceptance of e-government services. The sample 517 data generated from Chinese citizens were analyzed using AMOS 23 software by undertaking the structural equation model system of analysis. The results show that constructs such as information quality, service parameters, user orientation, efficiency, openness, and responsiveness were (...) significantly related to the public value of e-government. Additionally, the research validated that the public value of e-government has a direct influence on the behavioral intention to adopt e-government services. The managerial and practical implications of these research findings on the public value of e-government and the acceptance of e-government services are dissected meticulously. (shrink)

The main research question addressed in this study is if and how the shooting pattern and field-goal accuracy have changed in the NBA league in the past decade. This study analyzes NBA game data from the 2011–2012 regular season to the 2020–2021 season. Field goal attempts are grouped into five categories by the shooting distance. The Mann-Kendall trend test was employed to examine if changes are statistically significant over the years. Sixteen equal segments in one basketball game, each with 3 (...) min, were analyzed to examine the shooting pattern in different game segments. Results reveal an increasing trend in the percentage of 3-pointer shooting, which has nearly doubled from 22 to 39%. Meanwhile, the percentage of field goals within the range of 16–24 ft has decreased from 20 to 10%. Field-goal accuracy has shown an increasing trend for all shooting distances except for the 3-pointer shooting. The second and fourth 3-min within each quarter have the highest number of field goals. The first quarter has a higher shooting accuracy than the rest three quarters. In addition, results reveal that the last 3-min in each quarter has the lowest shooting accuracy. Reasons for the patterns of field goals in different segments are discussed from the perspective of game rule changes, the fatigue effects, and coaches’ game strategies. The reasons for changes in activity level and performance in different quarters are also discussed. This study offers new insights into the changes in basketball shooting patterns and accuracy in NBA games in the past decade. Practical meanings of this study for basketball players, coaches, and sports psychologists, as well as the strength and limitations of this study, are discussed. (shrink)

本书收有1987年11月北京召开的首届“政治科学学研讨会”论文20篇,文章用政治科学学观点对近代一些著名的政治科学现象进行了分析研究。.

In [Countable thin [Formula: see text] classes, Ann. Pure Appl. Logic 59 79–139], Cenzer, Downey, Jockusch and Shore proved the density of degrees containing members of countable thin [Formula: see text] classes. In the same paper, Cenzer et al. also proved the existence of degrees containing no members of thin [Formula: see text] classes. We will prove in this paper that the c.e. degrees containing no members of thin [Formula: see text] classes are dense in the c.e. degrees. We will (...) also prove that the c.e. degrees containing members of thin [Formula: see text] classes are dense in the c.e. degrees, improving the result of Cenzer et al. mentioned above. Thus, we obtain a new natural subclass of c.e. degrees which are both dense and co-dense in the c.e. degrees, while the other such class is the class of branching c.e. degrees 113–130] for nonbranching degrees and [T. A. Slaman, The density of infima in the recursively enumerable degrees, Ann. Pure Appl. Logic 52 155–179] for branching degrees). (shrink)

Say that an incomplete d.r.e. degree has almost universal cupping property, if it cups all the r.e. degrees not below it to 0′. In this paper, we construct such a degree d, with all the r.e. degrees not cupping d to 0′ bounded by some r.e. degree strictly below d. The construction itself is an interesting 0″′ argument and this new structural property can be used to study final segments of various degree structures in the Ershov hierarchy.

Lachlan observed that any nonzero d.c.e. degree bounds a nonzero c.e. degree. In this paper, we study the c.e. predecessors of d.c.e. degrees, and prove that given a nonzero d.c.e. degree , there is a c.e. degree below and a high d.c.e. degree such that bounds all the c.e. degrees below . This result gives a unified approach to some seemingly unrelated results. In particular, it has the following two known theorems as corollaries: there is a low c.e. degree isolating (...) a high d.c.e. degree [S. Ishmukhametov, G. Wu, Isolation and the high/low hierarchy, Arch. Math. Logic 41 259–266]; there is a high d.c.e. degree bounding no minimal pairs [C.T. Chong, A. Li, Y. Yang, The existence of high nonbounding degrees in the difference hierarchy, Ann. Pure Appl. Logic 138 31–51]. (shrink)

Cholak, Groszek and Slaman proved in J Symb Log 66:881–901, 2001 that there is a nonzero computably enumerable (c.e.) degree cupping every low c.e. degree to a low c.e. degree. In the same paper, they pointed out that every nonzero c.e. degree can cup a low2 c.e. degree to a nonlow2 degree. In Jockusch et al. (Trans Am Math Soc 356:2557–2568, 2004) improved the latter result by showing that every nonzero c.e. degree c is cuppable to a high c.e. degree (...) by a low2 c.e. degree b. It is natural to ask in which subclass of low2 c.e. degrees can b in Jockusch et al. (Trans Am Math Soc 356:2557–2568, 2004) be located. Wu proved in Math Log Quart 50:189–201, 2004 that b can be cappable. We prove in this paper that b in Jockusch, Li and Yang’s result can be noncuppable, improving both Jockusch, Li and Yang, and Wu’s results. (shrink)

After showing the downwards density of nonhemimaximal degrees, Downey and Stob continued to prove that the existence of a low₂, but not low, nonhemimaximal degree, and their proof uses the fact that incomplete m-topped degrees are low₂ but not low. As commented in their paper, the construction of such a nonhemimaximal degree is actually a primitive 0''' argument. In this paper, we give another construction of such degrees, which is a standard 0''-argument, much simpler than Downey and Stob's construction mentioned (...) above. (shrink)

A real α is called a c. e. real if it is the halting probability of a prefix free Turing machine. Equivalently, α is c. e. if it is left computable in the sense that L = {q ∈ ℚ : q ≤ α} is a computably enumerable set. The natural field formed by the c. e. reals turns out to be the field formed by the collection of the d. c. e. reals, which are of the form α—β, where (...) α and β are c. e. reals. While c. e. reals can only be found in the c. e. degrees, Zheng has proven that there are Δ02 degrees that are not even n-c. e. for any n and yet contain d. c. e. reals, where a degree is n-c. e. if it contains an n-c. e. set. In this paper we will prove that every ω-c. e. degree contains a d. c. e. real, but there are ω + 1-c. e. degrees and, hence Δ02 degrees, containing no d. c. e. real. (shrink)

Given a d.c.e. degree d, consider the d.c.e. sets in d and the corresponding degrees of their Lachlan sets. Ishmukhametov provided a systematic investigation of such degrees, and proved that for a given d.c.e. degree d > 0, the class of its c.e. predecessors in which d is c.e., denoted as R[d], can consist of either just one element, or an interval of c.e. degrees. After this, Ishmukhametov asked whether there exists a d.c.e. degree d for which the class R[d] (...) has no minimal element. We give a positive answer to this question. (shrink)

Picasso's Crucifixion of 1932 is one of his few works that contains Christian imagery. The painting combines traditional elements with aspects - typical of Picasso's oeuvre - that seem intentionally obscure. Iconographic tools of art history and theology are inadequate to explicate the work. Why did Picasso choose to measure himself against this subject? The answers are seen in his Catholic upbringing, his love for old master paintings, his desire to stay a step ahead of his public's expectations, the vicissitudes (...) of his private life, and the obsessive fears and desires that drove his creativity. Picasso's Crucifixion represents a step in the artist's complex and contradictory spiritual search, revealing an inquiry into the nature of Christianity and a psychological yearning for redemption. (shrink)