The complexity class of [Formula: see text]-polynomial local search problems is introduced and is used to give new witnessing theorems for fragments of bounded arithmetic. For 1 ≤ i ≤ k + 1, the [Formula: see text]-definable functions of [Formula: see text] are characterized in terms of [Formula: see text]-PLS problems. These [Formula: see text]-PLS problems can be defined in a weak base theory such as [Formula: see text], and proved to be total in [Formula: see text]. Furthermore, the [Formula: (...) see text]-PLS definitions can be skolemized with simple polynomial time functions, and the witnessing theorem itself can be formalized, and skolemized, in a weak base theory. We introduce a new [Formula: see text]-principle that is conjectured to separate [Formula: see text] and [Formula: see text]. (shrink)

We investigate the relation between intermediate predicate logics based on countable linear Kripke frames with constant domains and Gödel logics. We show that for any such Kripke frame there is a Gödel logic which coincides with the logic defined by this Kripke frame on constant domains and vice versa. This allows us to transfer several recent results on Gödel logics to logics based on countable linear Kripke frames with constant domains: We obtain a complete characterisation of axiomatisability of logics based (...) on countable linear Kripke frames with constant domains. Furthermore, we obtain that the total number of logics defined by countable linear Kripke frames on constant domains is countable. (shrink)

As forms of private self-regulation, multi-stakeholder initiatives have emerged as an important empirical phenomenon in global governance processes. At the same time, MSIs are also theoretically intriguing because of their inherent double nature. On the one hand, MSIs spell out CSR standards that define norms for corporate behavior. On the other hand, MSIs are also the result of corporate and stakeholder behavior. We combine the perspectives of institutional theory and club theory to conceptualize this double nature of MSIs. Based on (...) a stage model that looks at the interplay of actor and institutional dynamics, we generate insights into why actors join a voluntary MSI, how the various motivations and intentions of the actors influence the standard development, and how these as well as the MSI design are subsequently influenced by both external and internal dynamics. (shrink)

There is a constructive method to define a structure of simple k-cyclic Post algebra of order p, L p,κ, on a given finite field F, and conversely. There exists an interpretation Ф₁ of the variety V generated by L p,κ into the variety V) generated by F and an interpretation Ф₂ of V) into V such that Ф₂Ф₁ = B for every B ϵ V and Ф₁₂ = R for every R ϵ V). In this paper we show how we (...) can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. (shrink)

ABSTRACT:The notion of “democracy” has become a much-debated concept in scholarship on business ethics, management, and organization studies. The strategy of this paper is to distinguish between a principle of organization that fosters participation and a principle of legitimation that draws on consent. Based on this distinction, we highlight conceptual shortcomings of the literature on stakeholder democracy. We demonstrate that parts of the literature tend to confound ends with means. Many approaches employ type I democracy notions of participation and often (...) take for granted that this also improves type II democratic legitimation. We hold this to be a mistake. We provide examples of the ambiguity of organizational procedures and show that under some circumstances a decrease in the degree of participation may actually increase legitimation because a governance structure that results in higher productivity can provide higher benefits for all parties involved, serve their interests and therefore meet their agreement. Less type I democracy may mean more type II democracy. We believe this to be an important insight for judging the legitimacy of both capitalistic firms and competitive markets. (shrink)

In dem Sammelband, der als Festschrift zum 65. Geburtstag von Franz Hundsnurscher erscheint, sind 47 Beiträge zu zwei thematischen Schwerpunkten versammelt, die im Werk Hundsnurschers von zentraler Bedeutung sind: Semantik und Dialoganalyse. Im ersten Teil werden neben grundlegenden Fragen der Semantik Aspekte der semantischen Beschreibung von Phraseologismen, des Fremdwortgebrauchs und des Grundwortschatzes diskutiert; neben synchronen (meist gebrauchstheoretischen) Untersuchungen zu Einzelwörtern und Quasisynonymengruppen im Deutschen stehen sprachhistorische und kontrastive Arbeiten. Vor allem mit theoretischen und methodologischen Fragen der Dialoganalyse, mit Fragen der (...) Analyse institutioneller Kommunikation (Politik, Recht, Wirtschaft) und literarischer Dialoge setzen sich die Beiträge des zweiten Teils auseinander. (shrink)