Related papers: A constructive Galois connection between closure a…
We investigate existentially closed models (of a quite arbitrary theory) equipped which an action of a fixed group G. We embed these structures in a monster model D of some well-rounded theory and describe them as PAC substructures of D.…
This short note contains random thoughts about a factorization theorem for closure/interior operators on a powerset which is reminiscent to the notion of resolution for a monad/comonad. The question originated from formal topology but is…
A criterion for the existence of a plane model of an algebraic curve such that the Galois closures of projections from two points are the same is presented. As an application, it is proved that the Hermitian curve in positive characteristic…
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…
It turns out that one can read off facts about schemes up to universal homeomorphism from their Galois categories. Here we propose a first modest slate of entries in a dictionary between the geometric features of a perfectly reduced scheme…
We establish a quantum Galois correspondence for compact Lie groups of automorphisms acting on a simple vertex operator algebra.
This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs…
We develop a duality for operations on nested pairs of modules that generalizes the duality between absolute interior operations and residual closure operations from [ER21], extending our previous results to the expanded context. We apply…
Constructivists (and intuitionists in general) asked what kind of mental construction is needed to convince ourselves (and others) that some mathematical statement is true. This question has a much more practical (and even cynical)…
Many different programs are the implementation of the same algorithm. The collection of programs can be partitioned into different classes corresponding to the algorithms they implement. This makes the collection of algorithms a quotient of…
We introduce the calculus of Classical Transitions (CT), which extends the research line on the relationship between linear logic and processes to labelled transitions. The key twist from previous work is registering parallelism in typing…
In this paper, we prove a Galois correspondence for compact group actions on C*-algebras in the presence of a commuting minimal action. Namely, we show that there is a one to one correspondence between the C*-subalgebras that are globally…
We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any…
In this paper we define operations of preradicals of any abelian category. We define idempotent preradicals and radicals. We prove that every adjoint pair between abelian categories induces a Galois connection between the corresponding…
We introduce Galois Theory for Hopf-Galois Extensions proving existence of a Galois connection between subalgebras of an H-comodule algebra and generalised quotients of the Hopf algebra H. Moreover, we show that these quotients Q which…
We generalize the exact field theoretic correspondence proposed in arXiv:1103.5726 and embed it into the context of refined topological string. The correspondence originally proposed from the common integrable structures in different field…
As well-known, the concept "hypercyclic" in operator theory is the same as the concept "transitive" in dynamical system. Now the class of hypercyclic operators is well studied. Following the idea of research in hypercyclic operators, we…
We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…
In this paper we present a reformulation of the Galois correspondence theorem of Hopf Galois theory in terms of groups carrying farther the description of Greither and Pareigis. We prove that the class of Hopf Galois extensions for which…
We define a closure operation for ideals in a commutative ring which has all the good properties of solid closure (at least in the case of equal characteristic) but such that also every ideal in a regular ring is closed. This gives in…