Independence in computable algebra

We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and difference closed fields with the relevant notions of independence. To cover these classes of structures we introduce a new technique of safe extensions that was not necessary for the previously known results of this kind. We will then apply our techniques to derive new corollaries on the number of computable presentations of these structures. The condition also implies classical and new results on vector spaces, algebraically closed fields, torsion-free abelian groups and Archimedean ordered abelian groups.Comment: 24 page

Duality symmetry and the form fields of M-theory

In previous work we derived the topological terms in the M-theory action in terms of certain characters that we defined. In this paper, we propose the extention of these characters to include the dual fields. The unified treatment of the M-theory four-form field strength and its dual leads to several observations. In particular we elaborate on the possibility of a twisted cohomology theory with a twist given by degrees greater than three.Comment: 12 pages, modified material on the differentia

The Bianchi variety

The totality Lie(V) of all Lie algebra structures on a vector space V over a field F is an algebraic variety over F on which the group GL(V) acts naturally. We give an explicit description of Lie(V) for dim V=3 which is based on the notion of compatibility of Lie algebra structures.Comment: 26 pages, 8 figures, to appear on Diff. Geom. App