Artículos con la etiqueta ‘Geometría algebraica’

Scheme representation for first-order logic

Por • 13 feb, 2014 • Category: Educacion

Although contemporary model theory has been called “algebraic geometry minus fields”, the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes, geometric entities which relate to first-order logical theories in much the same way that algebraic schemes relate to commutative rings. The construction relies on a Grothendieck-style representation theorem which associates every coherent or classical first-order theory with an affine scheme: a topological groupoid (the spectrum of the theory) together with a sheaf of (local) syntactic categories.



Self-Similarity in Geometry, Algebra and Arithmetic

Por • 27 nov, 2012 • Category: Crítica

We define the concept of self-similarity of an object by considering endomorphisms of the object as `similarity’ maps. A variety of interesting examples of self-similar objects in geometry, algebra and arithmetic are introduced. Self-similar objects provide a framework in which, one can unite some results and conjectures in different mathematical frameworks. In some general situations, one can define a well-behaved notion of dimension for self-similar objects. Morphisms between self-similar objects are also defined and a categorical treatment of this concept is provided. We conclude by some philosophical remarks.