Setting of this paper is Bishop's constructive mathematics. For a relation σ on a set with apartness is called quasi-antiorder if it is consistent and cotransitive. The quasi-antiorder σ is complete if holds . 0 1 / = σ σ − ∩ In this paper the following assertion ‘A quasi-antiorder is the intersection of a collection of quasi-antiorders.’ is given.

‎the notion of quasi-einstein metric in physics is equivalent to the notion of ricci soliton in riemannian spaces‎. ‎quasi-einstein metrics serve also as solution to the ricci flow equation‎. ‎here‎, ‎the riemannian metric is replaced by a hessian matrix derived from a finsler structure and a quasi-einstein finsler metric is defined‎. ‎in compact case‎, ‎it is proved that the quasi-einstein met...

the quasi-periodic order is a type of geometrical order in universe which is observed in the structure of quasi-crystals. this order was first introduced in mathematics in 1973 by roger penrose and then discovered in quasi-crystals in 1984 while spreading in mathematics, chemistry and physics. the paper professor james lu et al published in science magazine in 2007 illustrated that iranians wer...

In a large class of SUSY GUT models with seesaw mechanism of neutrino mass generation, lepton flavor violating (LFV) decays µ → e + γ, τ → µ + γ, etc., are predicted with rates that are within the reach of present and planned experiments. A crucial element in these predictions is the matrix of neutrino Yukawa couplings Y ν which can be expressed in terms of the light and RH heavy neutrino masse...

In this paper, we study the structure of set-multilinear arithmetic circuits and set-multilinear branching programs with the aim of showing lower bound results. We define some natural restrictions of these models for which we are able to show lower bound results. Some of our results extend existing lower bounds, while others are new and raise open questions. Specifically, our main results are t...

We investigate the complexity of finding a minimum connected (s, t)vertex separator ((s, t)-CVS) and present an interesting chordality dichotomy: we show that (s, t)-CVS is NP-complete on graphs of chordality at least 5 and present a polynomial-time algorithm for (s, t)-CVS on chordality 4 graphs. Further, we show that (s, t)-CVS is unlikely to have δlog2− n-approximation algorithm, for any > 0...

It is often useful, if not necessary, to reason about the syntactic structure of an expression in an interpreted language (i.e., a language with a semantics). This paper introduces a mathematical structure called a syntax framework that is intended to be an abstract model of a system for reasoning about the syntax of an interpreted language. Like many concrete systems for reasoning about syntax...

We classify all spherically symmetric dust solutions of Einstein’s equations which are self-similar in the sense that all dimensionless variables depend only upon z ≡ r/t. We show that the equations can be reduced to a special case of the general perfect fluid models with equation of state p = αμ. The most general dust solution can be written down explicitly and is described by two parameters. ...

We give new proofs of two theorems of Stanley on generating functions for the integer points in rational cones. The first, Stanley’s reciprocity theorem, relates the rational generating function σv+K(x) := ∑ m∈v+K∩Z x m, where K is a rational cone and v ∈ R, with σ−v+K◦(1/x). The second theorem asserts that the generating function of the Ehrhart quasipolynomial LP(n) := # (

In a large class of SUSY GUT models with seesaw mechanism of neutrino mass generation, lepton flavor violating (LFV) decays µ → e + γ, τ → µ + γ, etc., are predicted with rates that are within the reach of present and planned experiments. A crucial element in these predictions is the matrix of neutrino Yukawa couplings Y ν which can be expressed in terms of the light and RH heavy neutrino masse...