Results 11 to 20 of about 7,980,180 (293)
An Equivalent Form of Levy's Axiom Schema [PDF]
Proceedings of the American Mathematical Society, 1970 A generalized notion of ordinal inaccessibility is defined. A characterization of this notion in terms of normal ordinal functions yields as a consequence that a schema analogous to a form of Tarski’s Axiom of Inaccessible Cardinals is equivalent to Lévy’s axiom schema under the axiom of choice.
Murray Jorgensen
openaire +2 more sources
A new Hilbert-type integral inequality and the equivalent form [PDF]
International Journal of Mathematics and Mathematical Sciences, 2006 We give a new Hilbert-type integral inequality with the best constant factor by estimating the weight function. And the equivalent form is considered.
Yongjin Li, Jing Wu, Bing He
doaj +2 more sources
An equivalent property of a Hilbert-type integral inequality and its applications [PDF]
, 2022 Making use of complex analytic techniques as well as methods involving weight functions, we study a few equivalent conditions of a Hilbert-type integral inequality with nonhomogeneous kernel and parameters.
Andrica, D. +7 more
core +1 more source
Justification for inclusion dependency normal form [PDF]
, 2000 Functional dependencies (FDs) and inclusion dependencies (INDs) are the most fundamental integrity constraints that arise in practice in relational databases.
Vincent, Millist W., Levene, Mark
core +5 more sources
Local and non-local normalised equivalent strain functionals for cyclic fatigue [PDF]
, 2004 The concept of Cyclic Normalised Equivalent Strain Functionals (CNESnFs) suitable for lowcyclic fatigue is developed in this paper. It reduces any fatigue strength and durability model to a unique form what facilitates the models comparison ...
Mikhailov, SE, Namestnikova, IV
core +5 more sources
An Equivalent Form of Fundamental Triangle Inequality and its Applications
, 2008 An equivalent form of the fundamental triangle inequality is given. The result is then used to obtain an improvement of the Leuenberger's inequality and a new proof of Garfunkel-Bankoff ...
Bencze, Mihály +2 more
core +5 more sources
On the form equivalence of L-forms
Theoretical Computer Science, 1977 AbstractIn [5] the notion of an L form F defining a family Ld(F) of languages by means of X-interpretations has been introduced. Here X is one of a number of possible variations of the notion of interpretation originally used in [1] for grammar forms. In this paper it is shown that the questions whether Ld(F) = Ld(F1) for L forms F and F1 is decidable,
Hermann A. Maurer +2 more
openaire +2 more sources
Isomorphism, form equivalence and sequence equivalence of PD0L forms
Theoretical Computer Science, 1978 AbstractIt is shown that if two PD0L forms F1 and F2 are form equivalent, i.e., generate the same family of languages, then the PD0L sequences E(F1) and E(F2) are isomorphic, provided one of the sequences contains a word of length greater than one. This result leads to a simple algorithm of deciding the form equivalence of two PD0L forms F1 and F2 ...
Karel Culík II +4 more
openaire +2 more sources
On a more accurate Hardy-Mulholland-type inequality
Journal of Inequalities and Applications, 2016 By using weight coefficients, technique of real analysis, and Hermite-Hadamard’s inequality, we give a more accurate Hardy-Mulholland-type inequality with multiparameters and a best possible constant factor related to the beta function.
Bicheng Yang, Qiang Chen
doaj +1 more source
An Equivalent Linear Programming Form of General Linear Fractional Programming: A Duality Approach
Mathematics, 2021 Linear fractional programming has been an important planning tool for the past four decades. The main contribution of this study is to show, under some assumptions, for a linear programming problem, that there are two different dual problems (one linear ...
Mehdi Toloo
doaj +1 more source