Related papers: Modules and Infinitary Logics

In this paper, we study the combinatorics of congruence subgroups of the modular group by generalizing results obtained in the non-modular case. For this, we define a notion of irreducible solutions from which we can build all the…

Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.

This paper develops stable canonical rules for intuitionistic modal logics, which were first introduced for superintuitionistic logics and transitive nor mal modal logics in [1] and [2] respectively. We first prove that every in…

We uncover a connection between the model-theoretic notion of superstability and that of noetherian rings and pure-semisimple rings. We characterize noetherian rings via superstability of the class of left modules with embeddings.…

We introduce higher-order support varieties for pairs of modules over a commutative local complete intersection ring, and give a complete description of which varieties occur as such support varieties. In the context of a group algebra of a…

The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a…

We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by G\"odel,…

We consider a class of nonlinear ordinary differential equations of the second order with parameters. We establish conditions for perturbations of the coefficients of the equation under which the zero solution is asymptotically stable.…

Under some assumptions, we compute the Picard group of moduli of stable sheaves on Abelian surfaces. Considering relative moduli spaces, it is sufficient to consider the moduli of stable sheaves on the product of elliptic curves. By using…

We define an extension of predicate logic, called Binding Logic, where variables can be bound in terms and in propositions. We introduce a notion of model for this logic and prove a soundness and completeness theorem for it. This theorem is…

We prove that acylindrically hyperbolic groups are monotileable. That is, every finite subset of the group is contained in a finite tile. This provides many new examples of monotileable groups, and progress on the question of whether every…

This paper deals with sufficiency conditions for irreducibility of certain induced modules. We also construct irreducible representations for a group $G$ over a field ${\mathbb K}$ where the group $G$ is a semidirect product of a normal…

We prove a representation stability result for the sequence of spaces $\overline M_{g, n}^A$ of pointed admissible $A$-covers of stable $n$-pointed genus-$g$ curves, for an abelian group $A$. For fixed genus $g$ and homology degree $i$, we…

We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach…

We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context.…

We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results apply to a wide class of modal logics including, for example,…

I introduce modal group theory, in which we study the category of all groups, considering embeddability as providing a notion of modal possibility. Using HNN extensions and Britton's lemma, I demonstrate that the modal language of groups is…

We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…

The concept of (a,b)-module comes from the study the Gauss-Manin lattices of an isolated singularity of a germ of an holomorphic function. It is a very simple ''abstract algebraic structure'', but very rich, whose prototype is the formal…

We prove that certain modules are faithful. This enables us to draw consequences about the reduction number and the integral closure of some classes of ideals.