Results 41 to 50 of about 349 (167)
Galois Connections for Recursive Types
, 2020 Building a static analyser for a real language involves modeling of large domains capturing the many available data types. To scale domain design and support efficient development of project-specific analyzers, it is desirable to be able to build, extend, and change abstractions in a systematic and modular fashion.
Ahmad Salim Al-Sibahi +3 more
openaire +3 more sources
A trace–path integral formula over function fields
Journal of the London Mathematical Society, Volume 114, Issue 2, August 2026.Abstract We show that an arithmetic path integral over the ℓ$\ell$‐torsion of a Jacobian J[ℓ]$J[\ell]$ is equal to the trace of the Frobenius action on a representation of the Heisenberg group H(J[ℓ])$H(J[\ell])$, up to an explicitly determined sign.
Yan Yau Cheng
wiley +1 more source
Logics from Galois connections
International Journal of Approximate Reasoning, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jouni Järvinen +2 more
openaire +3 more sources
Heights on ‘hybrid orbits’ in Shimura varieties
Proceedings of the London Mathematical Society, Volume 133, Issue 2, August 2026.Abstract We prove the ‘hybrid conjecture’ which is a common generalisation of the André–Oort conjecture and the André–Pink–Zannier conjecture, in the case of Shimura varieties of abelian type.
Rodolphe Richard, Andrei Yafaev
wiley +1 more source
A curious example involving ordered compactifications
Applied General Topology, 2002 For a certain product X x Y where X is compact, connected, totally ordered space, we find that the semilattice K0 (X x Y) of ordered compactifications of X x Y is isomorphic to a collection of Galois connections and to a collection of functions F which ...
Thomas A. Richmond
doaj +1 more source
On 7‐adic Galois representations for elliptic curves over Q$\mathbb {Q}$
Proceedings of the London Mathematical Society, Volume 133, Issue 2, August 2026.Abstract In recent years, significant progress has been made on Mazur's Program B, with many authors beginning a systematic classification of all possible images of p$p$‐adic Galois representations attached to elliptic curves over Q$\mathbb {Q}$. Currently, the classification is only complete for p∈{2,3,13,17}$p \in \lbrace 2,3,13,17\rbrace$.
Lorenzo Furio, Davide Lombardo
wiley +1 more source
The asymptotic Mahler measure of Gaussian periods
Proceedings of the London Mathematical Society, Volume 133, Issue 2, August 2026.Abstract We construct a sequence of cyclotomic integers (Gaussian periods) of particularly small Mahler measure/height. We study the asymptotics of their Mahler measure as a function of their conductor, to find that the growth rate is the (multivariate) Mahler measure of a family of log Calabi–Yau varieties of increasing dimension.
Gunther Cornelissen +2 more
wiley +1 more source
A Lattice-Theoretic Approach to Multigranulation Approximation Space
The Scientific World Journal, 2014 In this paper, we mainly investigate the equivalence between multigranulation approximation space and single-granulation approximation space from the lattice-theoretic viewpoint.
Xiaoli He, Yanhong She
doaj +1 more source
Antitone Galois Connections and Formal Concepts [PDF]
International Journal of Fuzzy Logic and Intelligent Systems, 2010 In this paper, we investigate the properties of antitone Galois connection and formal concepts. Moreover, we show that order reverse generating maps induce formal, attribute oriented and object oriented concepts on a complete residuated lattice.
Jung Mi Ko, Yong Chan Kim
openaire +2 more sources
Cpn$C_{p^n}$‐equivariant Mahowald invariants
Proceedings of the London Mathematical Society, Volume 133, Issue 2, August 2026.Abstract The classical Mahowald invariant is an operation that systematically produces new elements in the stable homotopy groups of spheres from known ones. We introduce the Cpn$C_{p^n}$‐Mahowald invariant: a relation π★SCpn−1⇀π*S$\pi _\star S_{\mathchoice{{ C_{p^{n-1}}}}{{\textstyle C_{p^{n-1}}}}{{\scriptstyle C_{p^{n-1}}}}{{\scriptscriptstyle C_{p ...
William Balderrama +2 more
wiley +1 more source