Horn sentences in identity theory

1959 ◽  
Vol 24 (4) ◽  
pp. 306-310 ◽  
Author(s):  
K. I. Appel
Keyword(s):  
Direct Product ◽  
Identity Theory ◽  
Cartesian Product ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Index Set ◽  
First Order ◽  
Elementary Class ◽  
Necessary And Sufficient ◽  
Order Predicate Calculus

Horn [2] obtained a sufficient condition for an elementary class to be closed under direct product. Chang and Morel [1] showed that this is not a necessary condition. We will show that, if consideration is restricted to identity theory, that is, a first-order predicate calculus with equality but no other relation symbols or operation symbols, Horn's condition is necessary and sufficient.A model for identity theory consists of a non-empty domain A, but no relations or operations except equality. If I is an index set, and for each is a model for identity theory, then the direct product of the is a model for identity theory and has domain A, the cartesian product of the Ai.

Theory of models with generalized atomic formulas

1960 ◽  
Vol 25 (1) ◽  
pp. 1-26 ◽  
Author(s):  
H. Jerome Keisler
Keyword(s):  
Natural Number ◽  
Finite Sequence ◽  
Sufficient Condition ◽  
Elementary Extension ◽  
Necessary And Sufficient Condition ◽  
Elementary Class ◽  
Relational Systems ◽  
Necessary And Sufficient

IntroductionWe shall prove the following theorem, which gives a necessary and sufficient condition for an elementary class to be characterized by a set of sentences having a prescribed number of alternations of quantifiers. A finite sequence of relational systems is said to be a sandwich of order n if each is an elementary extension of (i ≦ n—2), and each is an extension of (i ≦ n—2). If K is an elementary class, then the statements (i) and (ii) are equivalent for each fixed natural number n.

Separability criteria based on the Bloch representation of density matrices

2007 ◽  
Vol 7 (7) ◽  
pp. 624-638
Author(s):  
J. de Vicente
Keyword(s):  
Sufficient Conditions ◽  
Quantum Systems ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Pure Product ◽  
Separability Problem ◽  
Arbitrary Dimensions ◽  
Necessary And Sufficient ◽  
Bloch Representation

We study the separability of bipartite quantum systems in arbitrary dimensions using the Bloch representation of their density matrix. This approach enables us to find an alternative characterization of the separability problem, from which we derive a necessary condition and sufficient conditions for separability. For a certain class of states the necessary condition and a sufficient condition turn out to be equivalent, therefore yielding a necessary and sufficient condition. The proofs of the sufficient conditions are constructive, thus providing decompositions in pure product states for the states that satisfy them. We provide examples that show the ability of these conditions to detect entanglement. In particular, the necessary condition is proved to be strong enough to detect bound entangled states.

scholarly journals Existence of nonoscillatory solutions of first order nonlinear neutral equations

1990 ◽  
Vol 32 (2) ◽  
pp. 180-192 ◽  
Author(s):  
Lu Wudu
Keyword(s):  
Nonoscillatory Solution ◽  
Sufficient Condition ◽  
Neutral Equation ◽  
Necessary And Sufficient Condition ◽  
Nonoscillatory Solutions ◽  
Neutral Equations ◽  
First Order ◽  
Image Position ◽  
Necessary And Sufficient

AbstractConsider the nonlinear neutral equationwhere pi(t), hi(t), gj(t), Q(t) Є C[t0, ∞), limt→∞hi(t) = ∞, limt→∞gj(t) = ∞ i Є Im = {1, 2, …, m}, j Є In = {1, 2, …, n}. We obtain a necessary and sufficient condition (2) for this equation to have a nonoscillatory solution x(t) with limt→∞ inf|x(t)| > 0 (Theorems 5 and 6) or to have a bounded nonoscillatory solution x(t) with limt→∞ inf|x(t)| > 0 (Theorem 7).

scholarly journals Syarat Perlu dan Cukup untuk Keterbatasan Potensial Riesz di Ruang Morrey Klasik

2013 ◽  
Vol 14 (3) ◽  
pp. 227
Author(s):  
Mohammad Imam Utoyo ◽  
Basuki Widodo ◽  
Toto Nusantara ◽  
Suhariningsih Suhariningsih
Keyword(s):  
Characteristic Function ◽  
Morrey Space ◽  
Necessary Conditions ◽  
Riesz Potential ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Research Results ◽  
Necessary And Sufficient

This script was aimed to determine the necessary conditions for boundedness of Riesz potential in the classical Morrey space. If these results are combined with previous research results will be obtained the necessary and sufficient condition for boundedness of Riesz potential. This necessary condition is obtained through the use of characteristic function as one member of the classical Morrey space.

scholarly journals On B- Covariant Derivative of First Order for Some Tensors in different Spaces

2021 ◽  
Vol 2 (2) ◽  
pp. 30-37
Author(s):  
Alaa A. Abdallah ◽  
A. A. Navlekar ◽  
Kirtiwant P. Ghadle
Keyword(s):  
Curvature Tensor ◽  
Covariant Derivative ◽  
Torsion Tensor ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
First Order ◽  
Recurrence Property ◽  
Necessary And Sufficient ◽  
The Relationship

In this paper, we study the relationship between Cartan's second curvature tensor $P_{jkh}^{i}$ and $(h) hv-$torsion tensor $C_{jk}^{i}$ in sense of Berwald. Moreover, we discuss the necessary and sufficient condition for some tensors which satisfy a recurrence property in $BC$-$RF_{n}$, $P2$-Like-$BC$-$RF_{n}$, $P^{\ast }$-$BC$-$RF_{n}$ and $P$-reducible-$BC-RF_{n}$.

scholarly journals ON THE FINITENESS PROBLEM FOR AUTOMATON (SEMI)GROUPS

2012 ◽  
Vol 22 (06) ◽  
pp. 1250052 ◽  
Author(s):  
ALI AKHAVI ◽  
INES KLIMANN ◽  
SYLVAIN LOMBARDY ◽  
JEAN MAIRESSE ◽  
MATTHIEU PICANTIN
Keyword(s):  
Decision Problem ◽  
Decision Procedure ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Mealy Automata ◽  
Necessary And Sufficient ◽  
New Criteria

This paper addresses a decision problem highlighted by Grigorchuk, Nekrashevich, and Sushchanskiĭ, namely the finiteness problem for automaton (semi)groups. For semigroups, we give an effective sufficient but not necessary condition for finiteness and, for groups, an effective necessary but not sufficient condition. The efficiency of the new criteria is demonstrated by testing all Mealy automata with small stateset and alphabet. Finally, for groups, we provide a necessary and sufficient condition that does not directly lead to a decision procedure.

The necessary and sufficient condition for clustering of nodes based on the signs of connections in generalized signed networks

2019 ◽  
Vol 33 (10) ◽  
pp. 1950086
Author(s):  
Qi Wang ◽  
Yinhe Wang ◽  
Zilin Gao ◽  
Lili Zhang ◽  
Wenli Wang
Keyword(s):  
Clustering Algorithms ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Signed Networks ◽  
Clustering Problem ◽  
Structural Hole ◽  
Signed Network ◽  
Necessary And Sufficient ◽  
Sufficient And Necessary Condition

This paper investigates the clustering problem for the generalized signed networks. By rigorous derivations, a sufficient and necessary condition for clustering of the nodes in generalized signed networks is proposed in this paper. In order to obtain this condition, the concept of friends group is first introduced for the nodes based on their links’ sign. Then, the unprivileged network is also defined in this paper by employing the concepts of structural hole and broker. Compared with the existing clustering algorithms, the outstanding advantage in this paper is that only the positive or negative (especially, or zero) sign of the links is required regardless of their density or sparsity. We have proved mathematically that a generalized signed network is classifiable if and only if it is an unprivileged network. Finally, two examples associated with numerical simulations are proposed to generate the unprivileged networks.

A NOTE ON INEQUALITY CONSTRAINTS IN THE GARCH MODEL

2008 ◽  
Vol 24 (3) ◽  
pp. 823-828 ◽  
Author(s):  
Henghsiu Tsai ◽  
Kung-Sik Chan
Keyword(s):  
Generating Function ◽  
Sufficient Conditions ◽  
Inequality Constraints ◽  
Conditional Variance ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Economic Statistics ◽  
Absolute Monotonicity ◽  
Necessary And Sufficient ◽  
The Garch Model

We consider the parameter restrictions that need to be imposed to ensure that the conditional variance process of a GARCH(p,q) model remains nonnegative. Previously, Nelson and Cao (1992, Journal of Business ’ Economic Statistics 10, 229–235) provided a set of necessary and sufficient conditions for the aforementioned nonnegativity property for GARCH(p,q) models with p ≤ 2 and derived a sufficient condition for the general case of GARCH(p,q) models with p ≥ 3. In this paper, we show that the sufficient condition of Nelson and Cao (1992) for p ≥ 3 actually is also a necessary condition. In addition, we point out the linkage between the absolute monotonicity of the generalized autoregressive conditional heteroskedastic (GARCH) generating function and the nonnegativity of the GARCH kernel, and we use it to provide examples of sufficient conditions for this nonnegativity property to hold.

Sign in / Sign up

Export Citation Format

Share Document