Results 61 to 70 of about 349 (167)
A characterization of adjunction in a many-valued modal system
CQD Revista Eletrônica Paulista de MatemáticaGalois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa +1 more
doaj +1 more source
On the fixed‐point proportion of self‐similar groups
Bulletin of the London Mathematical Society, Volume 58, Issue 7, July 2026.Abstract We prove that super strongly fractal groups acting on regular rooted trees have null fixed‐point proportion. In particular, we show that the fixed‐point proportion of an infinite family of iterated monodromy groups of exceptional complex polynomials has the same property.
Jorge Fariña‐Asategui, Santiago Radi
wiley +1 more source
A Constructive Framework for Galois Connections
CoRR, 2017 Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool for mathematically specifying abstract domains.
openaire +2 more sources
The quantale of Galois connections [PDF]
algebra universalis, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Quasi‐convex surface subgroups in some one‐relator groups with torsion
Bulletin of the London Mathematical Society, Volume 58, Issue 7, July 2026.Abstract We find surface subgroups in certain one‐relator groups with torsion and use this to deduce a profinite criterion for a word in the free group to be primitive.
Andrew Ng
wiley +1 more source
Evaluation and analysis of the computation cost of linear network coding
Tongxin xuebao, 2011 The complexity of algebraic operation methods on Galois fields was analyzed and the operation mechanism of linear network coding was anatomized.Based on deterministic network coding data transmission and random network coding data transmission for single-
PU Bao-xing1, WANG Wei-ping2
doaj +2 more sources
Ricerche di matematica con Giuseppina Varone
Science & Philosophy, 2013 In memory of the researcher Pina Varone, I present the research carried out together for over 20 years. Some relevant issues and applicants were: the connection between teaching and research, and as an in-depth teaching emerge new research topics; the ...
Antonio Maturo
doaj
Galois connections categorically
Journal of Pure and Applied Algebra, 1990 This is an expansion of a previous paper [Lect. Notes Comput. Sci. 239, 122-134 (1986; Zbl 0615.06002)]. It is a somewhat discursive discussion of Galois connections in (briefly) partially ordered sets, concrete categories, and categories. In concrete categories the authors consider only Galois connections commuting with the forgetful functors, which ...
Herrlich, H., Hušek, M.
openaire +2 more sources
A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories
PhilosophiesThis paper introduces a meta-logical framework—based on the theory of institutions (a categorical version of abstract model theory)—to be used as a tool for the formalization of the two main views regarding the structure of scientific theories, namely ...
Maria Dimarogkona +2 more
doaj +1 more source
Formal Context Transforms and Their Affordances for Exploratory Data Analysis
MathematicsConsider a formal context (G, M, I) as the basic mechanism to capture information about a set G of objects, a set M of attributes and the relation I ∈ G × M between them. Traditional use of Formal Concept Analysis has some shortcomings in its information-
Francisco J. Valverde-Albacete +4 more
doaj +1 more source