Related papers: Stratified formulas are equivalent to Acyclic form…
In this work we derive the Hamiltonian formalism of the O(N) non-linear sigma model in its original version as a second-class constrained field theory and then as a first-class constrained field theory. We treat the model as a second-class…
While symmetries are well understood for Boolean formulas and successfully exploited in practical SAT solving, less is known about symmetries in quantified Boolean formulas (QBF). There are some works introducing adaptions of propositional…
A twisted ring is a ring endowed with a family of endomorphisms satisfying certain relations. One may then consider the notions of twisted module and twisted differential module. We study them and show that, under some general hypothesis,…
A cycle is algebraically trivial if it can be exhibited as the difference of two fibers in a family of cycles parameterized by a smooth scheme. Over an algebraically closed field, it is a result of Weil that it suffices to consider families…
In symmetric groups, studies of permutation factorizations or triples of permutations satisfying certain conditions have a long history. One particular interesting case is when two of the involved permutations are long cycles, for which…
We answer a question of Pakhomov by showing that there is a consistent, c.e. theory $T$ such that no theory which is definitionally equivalent to $T$ has a computable model. A key tool in our proof is the model-theoretic notion of mutual…
Propositional formulas that are equivalent in intuitionistic logic, or in its extension known as the logic of here-and-there, have the same stable models. We extend this theorem to propositional formulas with infinitely long conjunctions…
In this note we derive enumerative formulas for several types of labelled acyclic directed graphs by slight modifications of the familiar recursive formula for simple acyclic digraphs. These considerations are motivated by, and based upon,…
This article provides a simple proof of the quadratic formula, which also produces an efficient and natural method for solving general quadratic equations. The derivation is computationally light and conceptually natural, and has the…
In directed graphs, a cycle can be seen as a structure that allows its vertices to loop back to themselves, or as a structure that allows pairs of vertices to reach each other through distinct paths. We extend these concepts to temporal…
In this survey we discuss the results on the finitistic dimension of various stratified algebras. We describe what is already known, present some recent estimates, and list some open problems.
We study $\Sigma^1_2$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".
For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, the zero loci of those…
We investigate numerically in spherical geometry the interaction of stratification with precession. Both stable stratification and unstable stratification are studied. In the parameter regime we are concerned with, stable stratification…
We prove that the mapping class group of the one-holed Cantor tree surface is acyclic. This in turn determines the homology of the mapping class group of the once-punctured Cantor tree surface (i.e. the plane minus a Cantor set), in…
We characterize $t$-structures in stable $\infty$-categories as suitable quasicategorical factorization systems. More precisely we show that a $t$-structure $\mathfrak{t}$ on a stable $\infty$-category $\mathbf{C}$ is equivalent to a normal…
Cycloids are particular Petri nets for modelling processes of actions or events. They belong to the fundaments of Petri's general systems theory and have very different interpretations, ranging from Einstein's relativity theory and…
In this paper, it is demonstrated that derived equivalence between smooth, projective, connected schemes that are either surfaces or abelian implies equality of zeta functions.
We show how the scattering-into-cones and flux-across-surfaces theorems in Quantum Mechanics have very intuitive pathwise probabilistic versions based on some results by Carlen about large time behaviour of paths of Nelson diffusions. The…
An oblique projections based feedback stabilizability result in the literature is extended to a larger class of reaction-convection terms. A discussion is presented including a comparison between explicit oblique projections base feedback…