相关论文: Differential Meadows

Zero automata are a probabilistic extension of parity automata on infinite trees. The satisfiability of a certain probabilistic variant of mso, called tmso + zero, reduces to the emptiness problem for zero automata. We introduce a variant…

Sets of monomials separating Zariski closed orbits under diagonalizable group actions are characterized in terms of the monoid of zero-sum sequences over the character group. This is applied to compare the degree bounds for separating…

We study the divisorial Zariski decomposition on varieties whose first Chern class is zero. We first prove that any exceptional divisor is contractible (up to a birational map that is an isomorphism in codimension one). We then characterize…

We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets.

We prove a Galois-type correspondence between compositions of purely inseparable field extensions (including infinite ones) and subalgebras of differential operators. This correspondence can be utilized to establish a connection between…

Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their…

Let $T$ be a tree, we show that the null space of the adjacency matrix of $T$ has relevant information about the structure of $T$. We introduce the Null Decomposition of trees, and use it in order to get formulas for independence number and…

We define a class of trim metric spaces and show that every finite metric space is the leaf space of a metric forest with trim base.

The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the…

We develop a theory of nearby and vanishing cycles in the context of finite-coefficient Zariski-constructible sheaves over a non-archimedean field which is non-trivially valued, complete, algebraically closed, and of mixed characteristic or…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

We discuss different generalizations of Zariski decomposition, relations between them and connections with finite generation of divisorial algebras.

This paper deals with properties of the algebraic variety defined as the set of zeros of a "deficient" sequence of multivariate polynomials. We consider two types of varieties: ideal-theoretic complete intersections and absolutely…

Cubical type theories are designed around an abstract unit interval from which types of paths, used to represent equalities, are defined. Varying the operations available on this interval yields different type theories. A reversal is an…

The zero divisor conjecture is sufficient to prove for certain class of finitely presented groups where the relations are given by a pairing of generators. We associate Mealy automata to such pairings, and prove that the zero divisor…

A nonlocal method to obtain discrete classical fields is presented. This technique relies on well-behaved matrix representations of the derivatives constructed on a non--equispaced lattice. The drawbacks of lattice theory like the fermion…

In this paper we aim at the description of foliations having tangent sheaf $T\mathcal F$ with $c_1(T\mathcal F)=c_2(T\mathcal F)=0$ on non-uniruled projective manifolds. We prove that the universal covering of the ambient manifold splits as…

The polynomial method has been used recently to obtain many striking results in combinatorial geometry. In this paper, we use affine Hilbert functions to obtain an estimation theorem in finite field geometry. The most natural way to state…

Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free ${\mathbb S}$-algebra ${\mathcal D}$ over a field $A$ of characteristic zero the theory of ${\mathcal D}$-fields has…

In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces,…