Related papers: Elementary equivalence versus Isomorphism
We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…
In this paper, we explore the 'equivalence principle' (EP): roughly, statements about mathematical objects should be invariant under an appropriate notion of equivalence for the kinds of objects under consideration. In set theoretic…
We discuss different generalizations of the classical notion of the index of a singular point of a vector field to the case of vector fields or 1-forms on singular varieties, describe relations between them and formulae for their…
We relate the geometry of the resonance varieties associated to a commutative differential graded algebra model of a space to the finiteness properties of the completions of its Alexander-type invariants. We also describe in simple…
This paper studies two topics concerning on the orthogonal complement of one dimensional subspace with respect to a given quadratic form on a vector space over a number field. One is to determine the invariants for the isomorphism class of…
We provide a variant of Baer's theorem about isomorphism of endomorphism rings of vector spaces over division rings, where the full endomorphism rings are replaced by some subrings of finitary maps.
We show some applications of the formulas-as-polynomials correspondence: 1) a method for (dis)proving formula isomorphism and equivalence based on showing (in)equality; 2) a constructive analogue of the arithmetical hierarchy, based on the…
We study varieties defined over nonstandard fields using techniques of nonstandard mathematics.
Using the momentum constraint, the standard evolution system is written in a fully first order form. The class of first order invariant algebraic slicing conditions is considered. The full set of characteristic fields is explicitly given.…
Varieties of Sums of Powers describe the additive decompositions of an homogeneous polynomial into powers of linear forms. Despite their long history, going back to Sylvester and Hilbert, few of them are known for special degrees and number…
We investigate the group gradings on the algebra of upper triangular matrices over an arbitrary field, viewed as a Lie algebra. These results were obtained a few years early by the same authors. We provide streamlined proofs, and present a…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
First class type equalities, in the form of generalized algebraic data types (GADTs), are commonly found in functional programs. However, first-class representations of other relations between types, such as subtyping, are not yet directly…
We explore the ability of word embeddings to capture both semantic and morphological similarity, as affected by the different types of linguistic properties (surface form, lemma, morphological tag) used to compose the representation of each…
We study varieties that contain unranked tree languages over all alphabets. Trees are labeled with symbols from two alphabets, an unranked operator alphabet and an alphabet used for leaves only. Syntactic algebras of unranked tree languages…
Differential forms is a highly geometric formalism for physics used from field theories to General Relativity (GR) which has been a great upgrade over vector calculus with the advantages of being coordinate-free and carrying a high degree…
We study how the field of definition of a rational function changes under iteration. We provide a complete classification of polynomials with the property that the field of definition of one of their iterates drops in degree (over a given…
Initial semantics aims to model inductive structures and their properties, and to provide them with recursion principles respecting these properties. An ubiquitous example is the fold operator for lists. We are concerned with initial…
We study two general approaches how to describe spin one particles, using vector and antisymmetric tensor fields within RChT. In this paper we focus on the question of an equivalence of both ways. The appearing problems lead us to the…
In quantum geometry, we consider a set of loops, a compact orientable surface and a solid compact spatial region, all inside $\mathbb{R} \times \mathbb{R}^3 \equiv \mathbb{R}^4$, which forms a triple. We want to define an ambient isotopic…