We study closed choice principles for different spaces. Given information about what does not constitute a solution, closed choice determines a solution. We show that with closed choice one can characterize several models of hypercomputation in a uniform framework using Weihrauch reducibility. The classes of functions which are reducible to closed choice of the singleton space, of the natural n...

In this paper we introduce b− open, b− closed, quasi b− open, quasi b − closed, strongly b − open and strongly b − closed functions and investigate properties and characterizations of these new types of functions.

A division ring of positive characteristic with countably many pure types is a field. Wedderburn showed in 1905 that finite fields are commutative. As for infinite fields, we know that superstable [1, Cherlin, Shelah] and supersimple [4, Pillay, Scanlon, Wagner] ones are commutative. In their proof, Cherlin and Shelah use the fact that a superstable field is algebraically closed. Wagner showed ...

Stable bistructures are a generalisation of event structures to represent spaces of functions at higher types; the partial order of causal dependency is replaced by two orders, one associated with input and the other output in the behaviour of functions. They represent Berry’s bidomains. The representation can proceed in two stages. Bistructures form a categorical model of Girard’s linear logic...

We enrich thin concurrent games with symmetry, recently introduced by Castellan et al, with probabilities, and build on top of it a cartesian closed category with an interpretation of Probabilistic PCF (PPCF). Exploiting that the strategies obtained from PPCF terms have a deadlock-free interaction, we deduce that there is a functor preserving the interpretation from our games to the probabilist...

Integrated Traffic Management Systems (ITMS) are now implemented in different cities in India to primarily address the concerns of road-safety and security. An automated Red Light Violation Detection System (RLVDS) is an integral part of the ITMS. In our present work we have designed and developed a complete system for generating the list of all stop-line violating vehicle images automatically ...

this paper develops a closed-loop supply chain including one manufacturer, one retailer and a third party, in which the manufacturer produces a product under appropriate quality and sells it through a retailer in the market. the retailer pays the expense of marketing effort and a third party collects the used products from consumers and sends to the manufacturer. the manufacturer remanufactures...

We follow [23] in defining the set of primitive recursive functions. The important helper notion is the homogeneous function from finite sequences of natural numbers into natural numbers where homogeneous means that all the sequences in the domain are of the same length. The set of all such functions is then used to define the notion of a set closed under composition of functions and under prim...