The purpose of this paper is to use generalized power series to provide two classes of examples of valued elds. In the rst set of examples the valued elds are henselian, in general not maximal, with given residue eld and value group. In the second set of examples, the valued elds are all maximal and their families of residue elds and value groups form chains. In both cases, these elds possess a...

In this talk we will discuss some examples of graph homomorphisms. More precisely, the graph parameters which can be represented by counting the graph homomorphisms. The main reference is Section 2 in [2].

We present two examples in toric geometry concerning the relationship between smooth toric varieties and quasitoric manifolds (or more generally unitary torus manifolds), and extend the results of [8] to prove the non-existence of almost complex quasitorics over the duals of some certain cyclic 4-polytopes. We also provide the sufficient conditions on the base polytope and the characteristic ma...

We complement the literature by proving that for a fixed-point free map f : X → X the statements (1) f admits a finite functionally closed cover A with f [A]∩A = ∅ for all A ∈ A (i.e., a coloring) and (2) βf is fixed-point free are equivalent. When functionally closed is weakened to closed, we show that normality is sufficient to prove equivalence, and give an example to show it cannot be omitt...

After a presentation of Brou e's conjecture for principal blocks with an abelian defect group, we describe a Rickard complex for GL 2 (q) arising from thè-adic cohomology of a Deligne-Lusztig variety, in accordance with the explicit form given by Brou e to his conjecture in the case of Chevalley groups in non natural characteristic.

Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and W...

A summary of deterministic operations research models in linear programming, inventory theory, and dynamic programming. 1 Linear Programming A mathematical model of the problem is developed basically by applying a scientific approach as described earlier. There are a number of activities to be performed and each unit of each activity consumes some amount of each type of a resource. Resources ar...

A Riemannian almost product structure on a manifold induces on a submanifold of codimension 1 a structure generalizing the paracontact structures and containing a Riemannain metric and an one form . We show that the pair consisting of this Riemannian metric and one form defines a strongly convex Randers metric on submanifold. We establish some properties of this Randers metric and we provide so...

The notion of realizability algebra, which was introduced in [17, 18], is a tool to study the proof-program correspondence and to build new models of set theory, which we call realizability models of ZF. It is a variant of the well known notion of combinatory algebra, with a new instruction cc, and a new type for the environments. The sets of forcing conditions, in common use in set theory, are...

By an F -semi-linear G-representation we mean an F -space V with a (k-linear) G-action such that (a v) = a v for any 2 G, v 2 V and a 2 F . This is the same as a module over the algebra F hGi := F ZZ[G] with evident action of F and the diagonal action of G. If G acts on F faithfully, then F hGi is a central k-algebra. Semi-linear G-representations nite-dimensional over F form an abelian tensor ...