Results 11 to 20 of about 1,965 (245)
Temporal Logic and Model Checking for Operator Precedence Languages [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and various versions of temporal logics to suitable subclasses of context-free languages and ...
Michele Chiari +2 more
doaj +1 more source
Algebraic extensions of difference fields [PDF]
Transactions of the American Mathematical Society, 1973 An inversive difference field K \mathcal {K} is a field K together with a finite number of automorphisms of K. This paper studies inversive extensions of inversive difference fields whose underlying field extensions are separable algebraic.
openaire +1 more source
Novelty for Different Prime Partial Bi-Ideals in Non-Commutative Partial Rings and Its Extension
Mathematics, 2023 In computer programming languages, partial additive semantics are used. Since partial functions under disjoint-domain sums and functional composition do not constitute a field, linear algebra cannot be applied.
M. Palanikumar +3 more
doaj +1 more source
Jónssonω0-generated algebraic field extensions [PDF]
Pacific Journal of Mathematics, 1987 A field \(K\) algebraic over its subfield \(F\) is said to be a \(J\)-extension (for Jónsson \(\omega_0\)-extension) of \(F\) if \(K/F\) is not finitely generated, but \(E/F\) is finitely generated for each proper intermediate field \(E\). This paper is primarily concerned with the problems of determining (1) the structure of a given \(J\)-extension ...
Gilmer, Robert, Heinzer, William
openaire +2 more sources
Notes on exchange interactions in holographic p-adic CFT
Physics Letters B, 2017 There is a renewed interest in conformal field theories (CFT) on ultrametric spaces (p-adic field and its algebraic extensions) in view of their natural adaptability to the holographic setting.
Parikshit Dutta +2 more
doaj +1 more source
Valuations in algebraic field extensions
Journal of Algebra, 2007 Let $K\to L$ be an algebraic field extension and $ $ a valuation of $K$. The purpose of this paper is to describe the totality of extensions $\left\{ '\right\}$ of $ $ to $L$ using a refined version of MacLane's key polynomials. In the basic case when $L$ is a finite separable extension and $rk =1$, we give an explicit description of the limit key
Herrera Govantes, F. J. +2 more
openaire +7 more sources
Integrability of conformal blocks. Part I. Calogero-Sutherland scattering theory
Journal of High Energy Physics, 2018 Conformal blocks are the central ingredient of the conformal bootstrap programme. We elaborate on our recent observation that uncovered a relation with wave functions of an integrable Calogero-Sutherland Hamiltonian in order to develop a systematic ...
Mikhail Isachenkov, Volker Schomerus
doaj +1 more source
Reverse Mathematics and Algebraic Field Extensions [PDF]
Computability, 2013 This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section §2, we show that WKL0 is equivalent to the ability to extend F-automorphisms of field extensions to automorphisms of $\bar F$, the algebraic closure of F. Section §3 explores finitary conditions for embeddability.
Dorais, François G. +2 more
openaire +2 more sources
Discrete Cartesian Coordinate Transformations: Using Algebraic Extension Methods
Applied SciencesIt is shown that it is reasonable to use Galois fields, including those obtained by algebraic extensions, to describe the position of a point in a discrete Cartesian coordinate system in many cases. This approach is applicable to any problem in which the
Aruzhan Kadyrzhan +3 more
doaj +1 more source
On finite arithmetic groups [PDF]
International Journal of Group Theory, 2013 Let $F$ be a finite extension of $Bbb Q$, ${Bbb Q}_p$ or a globalfield of positive characteristic, and let $E/F$ be a Galois extension.We study the realization fields offinite subgroups $G$ of $GL_n(E)$ stable under the naturaloperation of the Galois ...
Dmitry Malinin
doaj