23 research outputs found
Full vs Partial Market Coverage with Minimum Quality Standards
The consequences of the adoption of quality standards on the extent of market coverage is investigated by modelling a game between regulator and low-quality firm in a vertically differentiated duopoly. The game has a unique equilibrium in the most part of the parameter range. There exists a non-negligible range where the game has no equilibrium in pure strategies. This result questions the feasibility of MQS regulation when firms endogenously determine market coverage
Recognisable languages over monads
The principle behind algebraic language theory for various kinds of
structures, such as words or trees, is to use a compositional function from the
structures into a finite set. To talk about compositionality, one needs some
way of composing structures into bigger structures. It so happens that category
theory has an abstract concept for this, namely a monad. The goal of this paper
is to propose monads as a unifying framework for discussing existing algebras
and designing new algebras
On Decidability of Intermediate Levels of Concatenation Hierarchies
It is proved that if definability of regular languages in the Sigma(n) fragment of the first-order logic on finite words is decidable, then it is decidable also for the Delta(n+1) fragment. In particular, the decidability for Delta(5) is obtained. More generally, for every concatenation hierarchy of regular languages, it is proved that decidability of one of its half levels implies decidability of the intersection of the following half level with its complement
