Results 61 to 70 of about 343 (169)

Hilbert Algebras with Hilbert-Galois Connections II

Bulletin of the Section of Logic
Hilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,f,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq g(b)\), and \(g(a\rightarrow b)\leq ...
Sergio A. Celani, Daniela Montagie
doaj   +1 more source

Galois Connections in Categorial Type Logic

Electronic Notes in Theoretical Computer Science, 2004
AbstractThe introduction of unary connectives has proved to be an important addition to the categorial vocabulary. The connectives considered so far are order-preserving; in this paper instead, we consider the addition of order-reversing, Galois connected operators. In §2 we do the basic model-theoretic and proof-theoretic groundwork.
Carlos Areces, Raffaella Bernardi, Michael Moortgat   +2 more
openaire   +8 more sources

Motivic mirror symmetry and χ$\chi$‐independence for Higgs bundles in arbitrary characteristic

Proceedings of the London Mathematical Society, Volume 132, Issue 6, June 2026.
Abstract We prove that the (twisted orbifold) motives of the moduli spaces of SLn$\mathrm{SL}_n$ and PGLn$\mathrm{PGL}_n$‐Higgs bundles of coprime rank and degree on a smooth projective curve over an algebraically closed field in which the rank is invertible are isomorphic in Voevodsky's triangulated category of motives.
Victoria Hoskins, Simon Pepin Lehalleur
wiley   +1 more source

Conics Through Inequivalent 5-Arcs in PG(2, 32)

مجلة بغداد للعلوم
A k-arcs is usually defined to be a set of k points in the projective plane such that some lines meets K in two points. A conic is an irreducible plane quadric curve with six terms.
Zainab Abbas Khalaf, Emad Bakr Al-Zangana   +1 more
doaj   +1 more source

Study of MV-algebras via derivations

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019
The main goal of this paper is to give some representations of MV-algebras in terms of derivations. In this paper, we investigate some properties of implicative and difference derivations and give their characterizations in MV-algebras.
Wang Jun Tao, She Yan Hong, Qian Ting
doaj   +1 more source

Galois Connections: Mathematics, Art, and Archives [PDF]

Electronic Workshops in Computing, 2015
Evariste Galois (1811--1832) has been increasingly recognised as an important mathematician who despite his short life developed mathematical ideas that today have applications in computer science (such as Galois connections) and elsewhere. Some of Galois' mathematics can be visualised in interesting and even artistic ways, aided using software.
Jonathan P. Bowen, Tula Giannini
openaire   +1 more source

Wild conductor exponents of curves

Bulletin of the London Mathematical Society, Volume 58, Issue 5, May 2026.
Abstract We give an explicit formula for wild conductor exponents of plane curves over Qp$\mathbb {Q}_p$ in terms of standard invariants of explicit extensions of Qp$\mathbb {Q}_p$, generalising a formula for hyperelliptic curves. To do so, we prove a general result relating the wild conductor exponent of a simply branched cover of the projective line ...
Harry Spencer
wiley   +1 more source

Algorithm for Obtaining Complete Irreducible Polynomials over Given Galois Field for New Method of Digital Monitoring of Information Space

Computers
Irreducible polynomials are widely used in modern cryptography; however, algorithms for finding such polynomials remain quite complex and require significant computational resources.
Dina Shaltykova, Aliya Massalimova, Yelizaveta Vitulyova, Ibragim Suleimenov   +3 more
doaj   +1 more source

Galois connecting call-by-value and call-by-name [PDF]

Logical Methods in Computer Science
We establish a general framework for reasoning about the relationship between call-by-value and call-by-name. In languages with computational effects, call-by-value and call-by-name executions of programs often have different, but related, observable ...
Dylan McDermott, Alan Mycroft
doaj   +1 more source

Algebraicity of ratios of special L$L$‐values for GL(n)$\mathrm{GL}(n)$

Bulletin of the London Mathematical Society, Volume 58, Issue 5, May 2026.
Abstract We prove, under certain assumptions, the algebraicity of the ratio L(m,Π×χ)/L(m,Π×χ′)$L(m, \Pi \times \chi)/L(m, \Pi \times \chi ^{\prime })$, where Π$\Pi$ is a cuspidal automorphic cohomological unitary representation of GLn(AQ)$\mathrm{GL}_n(\mathbb {A}_\mathbb {Q})$, and χ$\chi$, χ′$\chi ^{\prime }$ are finite‐order Hecke characters such ...
Ankit Rai, Gunja Sachdeva
wiley   +1 more source