Iranian thyme honey plays behavioral, cellular and molecular important roles as an amazing preventive and therapeutic agent in the brain of Alzheimer?s rat model

Alzheimer's disease (AD) is a progressive neurodegenerative disorder with neuronal loss in the hippocampus. Our aim was to evaluate the effects of Iranian thyme honey (single dose: 2 gr/kg) vs rivastigmine (0.3 mg/kg) in vivo on spatial memory and in vitro on important parameters of oxidative stress as well as quantitative and qualitative studies of hippocampal neurons of AD rat models with this design that 30 days after oral administration of 17 mg/kg AlCl3, 20 AD rats were received that underwent a 6-weeks therapeutic period and another 20 rats underwent a 6-weeks preventive period and also 20 rats were as controls. Y-Maze test was performed to show memory deficiency as well as TBARS and FRAP assays to measure malondialdehyde (MDA) and total antioxidant, respectively. In addition, H&E staining was also done for cell counting and morphological changes. We observed that AD rats with hippocampal damage had more significant errors during the Y-maze test than the control and other rats. Likewise, MDA and neurodegeneration increased in the AD group while in all preventive and therapeutic group's especially Iranian thyme honey, they decreased and conversely, total antioxidant and number of normal cells elevated and healthy neurons were observed in all parts of the hippocampus and cortex. Our results despite the limitations showed the powerful antioxidant properties and cytoprotective effects of Iranian thyme honey vs rivastigmine on hippocampal neurons that consequently enhanced memory and if advanced diagnostic tests in human clinical patients show other more pronounced effects, we have certainly started a key and targeted strategy

Allegories: decidability and graph homomorphisms

International audienceAllegories were introduced by Freyd and Scedrov; they form a fragment of Tarski's calculus of relations. We show that their equational theory is decidable by characterising it in terms of a specific class of graph homomorphisms. We actually do so for an extension of allegories which we prove to be conservative, namely allegories with top. This generalisation makes it possible to exploit the correspondence between terms and K4-free graphs, for which isomorphism was known to be finitely axiomatisable