Funciones algebraicamente constructibles y formas cuadráticas

Laburpena

Se estudian las funciones algebraicamente constructibles sobre un conjunto algebraico real VCRn, introducidas por C,McCrory y A.Parusinsi. Estas funciones se identifican con las signaturas de las formas cuadráticas sobre el espectro real del anillo de polinomios de V. Se utiliza esta identificacion para obtener resultados geometricos sobre la caracterizacion y la descripcion de las funciones algebraicamente constructibles. Estos resultados tienen la propiedad importante de ser constructivos y dar lugar a algoritmos por induccion sobre la dimension. Ademas de todo esto, utilizando metodos similares, se generalizan los resultados al caso de variedades de Nash y funciones Nash constructibles.