Results 101 to 110 of about 12,528 (136)

GALOIS REPRESENTATIONS CONNECTED WITH HYPERBOLIC CURVES

Mathematics of the USSR-Izvestiya, 1992
In 1983 Grothendieck formulated the so-called ``fundamental conjectures of the unabelian geometry''. The author defines the concept of elementary unabelian variety and considers the Grothendieck conjectures in this special setting, by studying the actions of the Galois groups on the fundamental groups of curves.
openaire   +2 more sources

A category of Galois connections

1987
We study Galois connections by examining the properties of three categories. The objects in each category are Galois connections. The categories differ in their hom-sets; in the most general category the morphisms are pairs of functions which commute with the maps of the domain and codomain Galois connections. One of our main results is that one of the
J. M. McDill, A. C. Melton, G. E. Strecker   +2 more
openaire   +1 more source

Non-constructive Galois-Tukey connections

Journal of Symbolic Logic, 1997
AbstractThere are inequalities between cardinal characteristics of the continuum that are true in any model of ZFC, but without a Borel morphism proving the inequality. We answer some questions from Blass [1].
openaire   +3 more sources

Galois Connections for Flow Algebras

2011
We generalise Galois connections from complete lattices to flow algebras. Flow algebras are algebraic structures that are less restrictive than idempotent semirings in that they replace distributivity with monotonicity and dispense with the annihilation property; therefore they are closer to the approach taken by Monotone Frameworks and other classical
Piotr Filipiuk, Michał Terepeta, Hanne Riis Nielson, Flemming Nielson   +3 more
openaire   +1 more source

Generalizations and Galois-Tukey Connections

2013
It is possible to see the hat problem on the parity relation as actually being a two-agent hat problem, though we must consider a more general type of hat problem; in doing so, we uncover a close relationship with so-called Galois-Tukey connections. In this final chapter, we explore the relationships between results extending those in Chapter 4 and ...
Christopher S. Hardin, Alan D. Taylor
openaire   +1 more source

Deductive Systems and Galois Connections

2004
The concept of a b-deductive system will be introduced. An interconnection between b-deductive systems and congruence kernels will be shown. We define a Galois connection between sets of binary term functions and systems of subsets of a given algebra and study closed sets with respect to the induced closure operators and the algebraic properties of ...
I. Chajda, R. Halaš
openaire   +1 more source

Logical Relations and Galois Connections

2002
Algebraic properties of logical relations on partially ordered sets are studied. It is shown how to construct a logical relation that extends a collection of base Galois connections to a Galois connection of arbitrary higher-order type. "Theorems-for-free" is used to show that the construction ensures safe abstract interpretation of parametrically ...
Kevin Backhouse, Roland Backhouse
openaire   +1 more source

Galois Connections*

1999
Jean-Paul Doignon, Jean-Claude Falmagne
openaire   +1 more source

Atlas-based data integration for mapping the connections and architecture of the brain

Science, 2022
Trygve B Leergaard, Jan G Bjaalie
exaly  

Galois connections

1986
Horst Herrlich, Miroslav Hušek
openaire   +1 more source