Results 1 to 10 of about 153,996 (181)
Completeness of algebraic CPS simulations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms.
Ali Assaf, Simon Perdrix
doaj +6 more sources
Formalized Mathematics, 2021 Summary In this article we further develop field theory in Mizar [1], [2], [3] towards splitting fields. We deal with algebraic extensions [4], [5]: a field extension E of a field F is algebraic, if every element of E is algebraic over F.
Christoph Schwarzweller +1 more
+6 more sources
Generators and number fields for torsion points of a special elliptic curve [PDF]
Arab Journal of Mathematical Sciences, 2020 Let E be an elliptic curve with Weierstrass form y2=x3−px, where p is a prime number and let E[m] be its m-torsion subgroup. Let p1=(x1,y1) and p2=(x2,y2) be a basis for E[m], then we prove that ℚ(E[m])=ℚ(x1,x2,ξm,y1) in general.
Hasan Sankari, Mustafa Bojakli
doaj +1 more source
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
On The Roots of Unity in Several Complex Neutrosophic Rings [PDF]
Neutrosophic Sets and Systems, 2023 Roots of unity play a basic role in the theory of algebraic extensions of fields and rings. The aim of this paper is to obtain an algorithm to find all n-th roots of unity in five different kinds of neutrosophic complex rings, where many theorems and ...
Djamal Lhiani +3 more
doaj +1 more source
On Extensions for Gentle Algebras [PDF]
Canadian Journal of Mathematics, 2020 AbstractWe give a complete description of a basis of the extension spaces between indecomposable string and quasi-simple band modules in the module category of a gentle algebra.
Canakci, Ilke +2 more
openaire +3 more sources
Prime Spectrum of the Ring of Adeles of a Number Field
Mathematics, 2022 Much is known about the adele ring of an algebraic number field from the perspective of harmonic analysis and class field theory. However, its ring-theoretical aspects are often ignored.
Álvaro Serrano Holgado
doaj +1 more source
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
Construction of Generalized Rademacher Functions in Terms of Ternary Logic: Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing [PDF]
International Journal of Electronics and Telecommunications, 2022 Generalized Rademacher functions, constructed as a sequence of elements of Galois fields are intended to find the spectral representation of signals with levels.
Elizaveta S. Vitulyova +2 more
doaj +1 more source
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