Results 21 to 30 of about 449,654 (297)
Omitting Types in Fragments and Extensions of First Order Logic
Bulletin of the Section of Logic, 2021 Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensions ...
Tarek Sayed Ahmed
doaj +1 more source
Extensions of associative algebras [PDF]
Communications in Contemporary Mathematics, 2014 In this paper, we translate the problem of extending an associative algebra by another associative algebra into the language of codifferentials. The authors have been constructing moduli spaces of algebras and studying their structure by constructing their versal deformations. The codifferential language is very useful for this purpose.
Fialowski, A., Penkava, M.
openaire +4 more sources
Ingeniería y Ciencia, 2020 In this paper we present a survey of some algebraic characterizations of Hilbert’s Nullstellensatz for non-commutative rings of polynomial type. Using several results established in the literature, we obtain a version of this theorem for the skew ...
Armando Reyes +1 more
doaj +1 more source
On extensions of Cayley algebras [PDF]
Proceedings of the American Mathematical Society, 1966 In this note the authors prove the following theorem: Let \(A\) be an alternative algebra over \(F\) and \(B\) any subalgebra with identity \(e\). Then consider the following conditions. (i) There exists \(x, y\in B\), \(\alpha\in F\) such that \(e = \alpha(x, y)^4\), where \((x, y) = xy - yx\).
Humm, Margaret M., Kleinfeld, Erwin
openaire +2 more sources
Onto extensions of free groups [PDF]
Groups, Complexity, Cryptology, 2021 An extension of subgroups $H\leqslant K\leqslant F_A$ of the free group of rank $|A|=r\geqslant 2$ is called onto when, for every ambient free basis $A'$, the Stallings graph $\Gamma_{A'}(K)$ is a quotient of $\Gamma_{A'}(H)$.
Sebastià Mijares, Enric Ventura
doaj +1 more source
Extension of Algebraic Theories [PDF]
Proceedings of the American Mathematical Society, 1972 The algebraic theories of Lawvere are extended in a natural way to small complete categories. These categories exhibit not only the operations and identities, but some of the homomorphisms, functions, objects and constructions which are encountered when working within the algebraic categories associated with the theories.
Peake, E. J., Peters, G. R.
openaire +1 more source
Extending algebraic modelling languages for Stochastic Programming [PDF]
, 2003 Extending algebraic modelling languages for Stochastic ...
Mitra, G, Sadki, M, Valente, P
core +3 more sources
On extensions of superconformal algebras [PDF]
Journal of Mathematical Physics, 2005 Starting from vector fields that preserve a differential form on a Riemann sphere with Grassmann variables, one can construct a superconformal algebra by considering central extensions of the algebra of vector fields. In this paper, the N=4 case is analyzed closely, where the presence of weight zero operators in the field theory forces the introduction
openaire +3 more sources
Cores of hyperbolic 3-manifolds and limits of Kleinian groups II [PDF]
, 1999 Troels Jørgensen conjectured that the algebraic and geometric limits of an algebraically convergent sequence of isomorphic Kleinian groups agree if there are no new parabolics in the algebraic limit.
James W. Anderson +3 more
core +1 more source
Journal of Applied Mathematics, 2004 Using a general and simple algebraic approach, some results on Krall-type orthogonal polynomials and some of their extensions are obtained.
R. Álvarez-Nodarse +2 more
doaj +1 more source