Reactivity and fate of secondary alkane sulfonates (SAS) in marine sediments

This research is focused on secondary alkane sulfonates (SAS), anionic surfactants widely used in household applications that access aquatic environments mainly via sewage discharges.We studied their sorption capacity and anaerobic degradation in marine sediments, providing the first data available on this topic. SAS partition coefficients increased towards those homologues having longer alkyl chains(from up to 141 L kg 1 for C14 to up to 1753 L kg 1 for C17), which were those less susceptible to undergo biodegradation. Overall, SAS removal percentages reached up to 98% after 166 days of incubation using anoxic sediments. The degradation pathway consisted on the formation of sulfocarboxylic acids after an initial fumarate attack of the alkyl chain and successive b-oxidations. This is the first study showing that SAS can be degraded in absence of oxygen, so this new information should be taken into account for future environmental risk assessments on these chemicals

Induction, minimization and collection for Δ n+1 (T)–formulas

For a theory T, we study relationships among IΔ n +1 (T), LΔ n+1 (T) and B * Δ n+1 (T). These theories are obtained restricting the schemes of induction, minimization and (a version of) collection to Δ n+1 (T) formulas. We obtain conditions on T (T is an extension of B * Δ n+1 (T) or Δ n+1 (T) is closed (in T) under bounded quantification) under which IΔ n+1 (T) and LΔ n+1 (T) are equivalent. These conditions depend on Th Πn +2 (T), the Π n+2 –consequences of T. The first condition is connected with descriptions of Th Πn +2 (T) as IΣ n plus a class of nondecreasing total Π n –functions, and the second one is related with the equivalence between Δ n+1 (T)–formulas and bounded formulas (of a language extending the language of Arithmetic). This last property is closely tied to a general version of a well known theorem of R. Parikh. Using what we call Π n –envelopes we give uniform descriptions of the previous classes of nondecreasing total Π n –functions. Π n –envelopes are a generalization of envelopes (see [10]) and are closely related to indicators (see [12]). Finally, we study the hierarchy of theories IΔ n+1 (IΣ m ), m≥n, and prove a hierarchy theorem.Ministerio de Educación y Cultura DGES PB96-134

Local induction and provably total computable functions

Let I¦− 2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free ¦2 formulas. Answering a question of R. Kaye, L. Beklemishev showed that the provably total computable functions of I¦− 2 are, precisely, the primitive recursive ones. In this work we give a new proof of this fact through an analysis of certain local variants of induction principles closely related to I¦− 2 . In this way, we obtain a more direct answer to Kaye’s question, avoiding the metamathematical machinery (reflection principles, provability logic,...) needed for Beklemishev’s original proof. Our methods are model–theoretic and allow for a general study of I¦− n+1 for all n ¸ 0. In particular, we derive a new conservation result for these theories, namely that I¦− n+1 is ¦n+2–conservative over I§n for each n ¸ 1.Ministerio de Ciencia e Innovación MTM2008–06435Ministerio de Ciencia e Innovación MTM2011–2684

La dignidad de las ruinas. Un testimonio de Suite Habana

Indexación: Revista UNABTexto presentado en el ciclo de cine Historia de nueve ciudades, Departamento de Humanidades, Universidad Nacional Andrés Bello, 2015.http://revistahumanidades.unab.cl//wp-content/uploads/2017/06/Nota.-La-dignidad-de-las-ruinas.pd

Carlos Gardel. Su vida, su música, su época

Desde que en 1986 apostó la University of Pittsburgh Press por publicar The life, music & times of Carlos Gardel, resurgió mundialmente el tango como música pero también como un concepto. En aquella línea, el aporte del profesor Simon Collier fue crucial, pues por vez primera desde la academia se ahondaba en el estudio conjunto de la música y la biografía como un aporte para la historia cultural, convirtiendo al libro en un clásico

Local Induction and Provably Total Computable Functions: A Case Study

Let IΠ−2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free Π2 formulas. Answering a question of R. Kaye, L. Beklemishev showed that the provably total computable functions (p.t.c.f.) of IΠ−2 are, precisely, the primitive recursive ones. In this work we give a new proof of this fact through an analysis of the p.t.c.f. of certain local versions of induction principles closely related to IΠ−2 . This analysis is essentially based on the equivalence between local induction rules and restricted forms of iteration. In this way, we obtain a more direct answer to Kaye’s question, avoiding the metamathematical machinery (reflection principles, provability logic,...) needed for Beklemishev’s original proof.Ministerio de Ciencia e Innovación MTM2008–0643

Determination and occurrence of secondary alkane sulfonates (SAS) in aquatic environments

A new methodology has been developed for the determination of secondary alkane sulfonates (SAS), an anionic surfactant, in environmental matrices. Sediment and sludge samples were extracted using pressurized liquid extraction and sonication, whereas wastewater and surface water samples were processed using solid-phase extraction. Extraction recoveries were acceptable for both aqueous (78-120%) and solid samples (83-100%). Determination of SAS was carried out by high or ultra performance liquid chromatography e mass spectrometry using ion trap and time-of-flight detectors. The methodology was applied to samples from Guadalete River (SW Spain), where SAS concentrations below 1 mg L 1 were measured in surface water, and from 72 to 9737 mg kg 1 in sediments. Differential partitioning was observed for SAS homologues as those having a longer hydrocarbon chain which preferentially sorbed onto particulate matter. A preliminary environmental risk assessment also showed that SAS measured levels were not harmful to the aquatic community in the sampling area

Adecuación metodológica al aprendizaje por tareas del inglés en 5 años de educación infantil

El presente trabajo trata la enseñanza del inglés como lengua extranjera a través de las metodologías que más comúnmente se utilizan en la etapa de educación infantil, así como en la manera de llevarlas a cabo a través del enfoque por tareas y la forma de conecta las distintas actividades. Además también expone una propuesta de innovación educativa, en la que se exponen diversas actividades adaptadas a una clase de lengua extranjera, inglés, de cinco años, en las que se explica la metodología con la que esas actividades son llevadas a cabo. Aunque estas actividades no se han llevado a cabo, están basadas en la observación de una clase de inglés de estas características, por lo que se ha podido observar que metodologías son las más eficientes para la enseñanza de este idioma.Grado en Educación Infanti

Existentially Closed Models in the Framework of Arithmetic

We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.Ministerio de Educación y Ciencia MTM2011–2684

Identificación de nuevos agentes reguladores del inflamasoma: posibilidades para el desarrollo de fármacos antiinflamatorios

El contenido de esta revisión parte de un conocimiento global sobre el inflamasoma. Comenzando por los receptores de reconocimiento de patrones o PRR, que pueden tener una localización transmembranal o bien en orgánulos intracelulares. Los PRR se unen a ligandos que van a permitir que se desencadene el proceso de regulación o activación de los inflamasomas. Hay distintos tipos clasificados, según su modo de activación, en canónicos y no canónicos y también en distintas familias. El más conocido es el inflamasoma NLRP3, que se trascribe en respuesta a diversos estímulos y en su ensamblaje participa ASC y caspasa-1, activándose la última y produciéndose la liberación de IL-1β e IL-18 que da lugar a procesos inflamatorios de muerte celular. Algunas enfermedades como la fibromialgia, las enfermedades inflamatorias intestinales y las enfermedades cardiovasculares son causadas por la activación del inflamasoma. El conocimiento del proceso que da lugar a la activación y regulación del inflamasoma abre una ventana para reconocer posibles agentes reguladores que permitan tratar las patologías en las que interviene. Actualmente se ha conocido el mecanismo de acción de moléculas como el levornidazol (que disminuye la liberación de ROS, el creosol que reduce la expresión de NLRP3 y de proIL-1β), el resveratrol (inhibidor de la α-tubulina desacetilasa), la melatonina (que presenta efectos inhibidores sobre NF- κβ, suprime la liberación de histonas extracelulares e impide la expresión de genes que traducen el NLRP3), partenolida y BH 11-7082 (con capacidad de alquilar restos de cisteína que inhiben la activación de NF- κβ), el aspartato y glutamato (que van a inhibir la transcripción de la proteína NLRP3 y de la pro-IL- 1β al activar los canales NMDA) y el γ-tocotrienol (que actúa inhibiendo la señalización de NF-κB).Universidad de Sevilla. Grado en Farmaci