相关论文: Elementary equivalence versus Isomorphism

We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This implies decidability of the individual levels. More generally we show that the…

This paper deals with the comparison of two common types of equivalence groups of differential equations, and this gives rise to a number of results presented in the form of theorems. It is shown in particular that one type can be…

In this paper, we provide a classification of certain points on Hilbert modular varieties over finite fields under a mild assumption on Newton polygon. Furthermore, we use this characterization to prove estimates for the size of isogeny…

We study isogeny classes of abelian varieties over a function field in one variable over the field of complex numbers.

The elements of the class of non-homogeneous differential operators which are based on the same vector field, when viewed as acting on appropriate Hilbert spaces, are shown to be isomorphic to each other. It shown that the replacement of a…

A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…

We study the local isomorphism classes, also known as genera or weak equivalence classes, of fractional ideals of orders in \'etale algebras. We provide a classification in terms of linear algebra objects over residue fields. As a…

We describe a deterministic process to associate a practical, permanent label to isomorphism classes of abelian varieties defined over finite fields with commutative endomorphism algebra as long as they are ordinary or defined over a prime…

The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λ$\mu$-calculus, which can be…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

We present here the notion of breadth-first signature and its relationship with numeration system theory. It is the serialisation into an infinite word of an ordered infinite tree of finite degree. We study which class of languages…

We distinguish the axiomatic study of proofs in geometry from study about geometry from general axioms for mathematics. We briefly report on an abuse of that distinction and its unfortunate effect on US high school education. We review a…

Let F be a holomorphic foliation of general type on CP(2) which admits a rational first integral. We provide bounds for the degree of the first integral of F just in function of the degree, the birational invariants of F and the geometric…

We consider the deformation theory of two kinds of geometric objects: foliations on one hand, pre-symplectic forms on the other. For each of them, we prove that the geometric notion of equivalence given by isotopies agrees with the…

We classify, up to a natural equivalence relation, vector fields of the plane which belong to the kernel of a 1--form. This form can be closed, in which case the vector fields are integrable, or not, in which case the differential of the…

Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polynomials from a model theoretic point of view. In this paper we…

One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…

A variety is a class of algebraic structures axiomatized by a set of equations. An equation is linear if there is at most one occurrence of an operation symbol on each side. We show that a variety axiomatized by linear equations has the…

The invariance of physical observables under redefinitions of the quantum fields is a well-known and important property of quantum field theory. We study perturbative field redefinitions in effective theories, paying special attention to…

We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers. We construct such a homeomorphism by choosing a small…