amara in jurisprudential sources is said to any evidence which indicate the fact. indication is not definitively in the sight of foghaha and osooliyeen, but due to the prevailing conjecture which can be achieved from that evidence. witnesses’ testimony (bayyinah) as valid evidence in the jurisprudence and law is known as an “amara” in the sight of jurists witch its validity is from legislator. ...

Olivier Baudon y, Guillaume Fertin y and Ivan Havel z y LaBRI U.M.R. CNRS 5800, Universit e Bordeaux I 351 Cours de la Lib eration, F33405 Talence Cedex z Faculty of Mathematics and Physics, Charles University Malostransk e n am. 25, 118 00 Praha, Czech Republic fbaudon,[email protected], [email protected] Abstract We study an n-dimensional directed symmetric hypercube Hn, in which e...

We begin by giving some background to this result. A matroid M is an excluded minor for a minor-closed class of matroids if M is not in the class but all proper minors of M are. It is natural to attempt to characterize a minor-closed class of matroids by giving a complete list of its excluded minors. Unfortunately, a minor-closed class of matroids can have an infinite number of excluded minors....

‎we investigate graham higman's paper enumerating $p$-groups‎, ‎ii‎, ‎in which he formulated his famous porc conjecture‎. ‎we are able to simplify some of the theory‎. ‎in particular‎, ‎higman's paper contains five pages of homological algebra which he uses in‎ ‎his proof that the number of solutions in a finite field to a finite set of‎ ‎monomial equations is porc‎. ‎it turns out tha...

We prove a strong form of the Brumer–Stark Conjecture and, as a consequence, a strong form of Rubin’s integral refinement of the abelian Stark Conjecture, for a large class of abelian extensions of an arbitrary characteristic p global field k. This class includes all the abelian extensions K/k contained in the compositum kp∞ := kp · k∞ of the maximal pro-p abelian extension kp/k and the maximal...

We give a polynomial counterexample to a discrete version of the Markus-Yamabe Conjecture and a conjecture of Deng, Meisters and Zampieri, asserting that if F : C → C is a polynomial map with det(JF ) ∈ C∗, then for all λ ∈ R large enough λF is global analytic linearizable. These counterexamples hold in any dimension ≥ 4.

We give a polynomial counterexample to both the Markus-Yamabe Conjecture and the discrete Markus-Yamabe problem for all dimensions ≥ 3.

‎An  oriented perfect path double cover (OPPDC) of a‎ ‎graph $G$ is a collection of directed paths in the symmetric‎ ‎orientation $G_s$ of‎ ‎$G$ such that‎ ‎each arc‎ ‎of $G_s$ lies in exactly one of the paths and each‎ ‎vertex of $G$ appears just once as a beginning and just once as an‎ ‎end of a path‎. ‎Maxov{'a} and Ne{v{s}}et{v{r}}il (Discrete‎ ‎Math‎. ‎276 (2004) 287-294) conjectured that ...

The Erdős–Faber–Lovász conjecture states that if a graph G is the union of n cliques of size n no two of which share more than one vertex, then χ(G) = n. We provide a formulation of this conjecture in terms of maximal partial clones of partial operations on a set.