相关论文: Elementary equivalence versus Isomorphism

We address the question of finding algebraic properties that are respectively equivalent, for a morphism between algebraic varieties over an algebraically closed field of characteristic zero, to be an homeomorphism for the Zariski topology…

In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same…

We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg's theorem. This theorem states that the lattice of all boolean algebras of regular languages…

Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and pseudovarieties of monoids. In the present paper this result is generalized to an abstract…

In this review paper we give a geometrical formulation of the field equations in the Lagrangian and Hamiltonian formalisms of classical field theories (of first order) in terms of multivector fields. This formulation enables us to discuss…

Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the "observables") of background-independent theories and those…

We give an algebraic characterisation of first-order logic with the neighbour relation, on finite words. For this, we consider languages of finite words over alphabets with an involution on them. The natural algebras for such languages are…

It is shown that target space diffeomorphism invariance of a generic Lagrangian for a set of scalar fields leads to an analog of Einstein equations for the geometry of a level set of these fields.

Receptive field profiles registered by cell recordings have shown that mammalian vision has developed receptive fields tuned to different sizes and orientations in the image domain as well as to different image velocities in space-time.…

We prove that for a bijective, unital, linear map between absolute order unit spaces is an isometry if, and only if, it is absolute value preserving. We deduce that, on (unital) $JB$-algebras, such maps are precisely Jordan isomorphisms.…

We examine the variational and conformal structures of higher order theories of gravity which are derived from a metric-connection Lagrangian that is an arbitrary function of the curvature invariants. We show that the constrained first…

We characterize bijections on matrix spaces (operator algebras) preserving full rank (invertibility) of differences of matrix (operator) pairs in both directions.

We state a unified geometrical version of the variational principles for second-order classical field theories. The standard Lagrangian and Hamiltonian variational principles and the corresponding field equations are recovered from this…

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

The article provides a local classification of singularities of meromorphic second order linear differential equation with respect to analytic/meromorphic linear point transformations. It also addresses the problem of determining the Lie…

We consider generalized gradients in the general context of $G$-structures. They are natural first order differential operators acting on sections of vector bundles associated to irreducible $G$-representations. We study their geometric…

Natural language understanding applications such as interactive planning and face-to-face translation require extensive inferencing. Many of these inferences are based on the meaning of particular open class words. Providing a…

We estimate the fraction of isogeny classes of abelian varieties over a finite field which have a given characteristic polynomial P(T) modulo l. As an application we find the proportion of isogeny classes of abelian varieties with a…