Related papers: Deduction modulo theory

A survey paper on some recent results on additive problems with prime powers.

This is a detailed introductory survey of the cohomological dimension theory of compact metric spaces.

We study primary submodules and primary decompositions from a differential and computational point of view. Our main theoretical contribution is a general structure theory and a representation theorem for primary submodules of an arbitrary…

The modular decomposition is a technique that applies but is not restricted to graphs. The notion of module naturally appears in the proofs of many graph theoretical theorems. Computing the modular decomposition tree is an important…

This is an introductory article to the theory of multiple gaps.

This is a survey of the spectral theory of tensors.

The first-order model theory of modules has been studied for decades. More recently, the model theoretic study of nonelementary classes of modules--especially Abstract Elementary Classes of modules--has produced interesting results. This…

This is a supplement to the article "Markov Chain Monte Carlo Based on Deterministic Transformations" available at http://arxiv.org/abs/1106.5850

In this survey, we give a short overview of the recent progress on the multidimensional L2 conjecture. It can also serve as an introduction to the subject.

This paper gives a short introduction into the metric theory of spaces with dilations.

The theory of modular deformations is generalized for the category of complex analytic polyhedra which includes germs of complex space as well as any compact complex analytic space. The objective of the theory is a construction of fine…

In this survey we discuss various aspects of the singularity invariants with differential origin derived from the $D$-module generated by $f^s$.

This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented…

We survey some recent developments in the analytic theory of multiple Dirichlet series with arithmetical coefficients on the numerators.

The main purpose of this survey is to introduce an inexperienced reader to additive prime number theory and some related branches of analytic number theory. We state the main problems in the field, sketch their history and the basic…

The Stratified Foundations are a restriction of naive set theory where the comprehension scheme is restricted to stratifiable propositions. It is known that this theory is consistent and that proofs strongly normalize in this theory.…

This is an expository paper on the subject of the title. It assumes basic scheme theory, commutative and homological algebra.

I study the modal theory of linear orders under embeddings, monotone maps, condensations, and end-extensions. I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and…

We introduce a perfect discrete Morse function on the moduli space of a polygonal linkage. The ingredients of the construction are: (1) the cell structure on the moduli space, and (2) the discrete Morse theory approach, which allows to…

An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.