A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.

Donald Mowbray, Pain and suffering in medieval theology: Academic Debates at the University of Paris in the Thirteenth Century, Boydel and Brewer, Woodbridge, 2009; 192 p, ISBN 9781843834618.

Fil: Peretó Rivas, Rubén.

Irven M. Resnick (Ed.), A companion to Albert the Great. Theology, Philosophy and the sciences, Leiden- Boston, Brill, 2013, ISBN 978-90-04-23407-9, 833 págs.

Fil: Costarelli Brandi, Hugo Emilio. Universidad Nacional de Cuyo

Augustine Casiday, Reconstructing the theology of Evagrius Ponticus. Beyond Heresy, Cambridge University Press, Cambridge 2013, 267 pp., ISBN: 978-0-521-89620-1

Fil: Peretó Rivas, Rubén.

Theology or therapy? In what sense does depression exist?

Peer reviewed

Accumulation of a Clock-Regulated Transcript during Flower-Inductive Darkness in Pharbitis nil1

To clarify the molecular basis of the photoperiodic induction of flowering in the short-day plant Pharbitis nil cv Violet, we examined changes in the level of mRNA in cotyledons during the flower-inductive photoperiod using the technique of differential display by the polymerase chain reaction. A transcript that accumulated during the inductive dark period was identified and a cDNA corresponding to the transcript, designated PnC401 (P. nil C401), was isolated. RNA-blot hybridization verified that levels of PnC401 mRNA fluctuated with a circadian rhythm, with maxima between 12 and 16 h after the beginning of the dark period) and minima of approximately 0. This oscillation continued even during an extended dark period but was damped under continuous light. Accumulation of PnC401 mRNA was reduced by a brief exposure to red light at the 8th h of the dark period (night-break treatment) or by exposure to far-red light at the end of the light period (end-of-day far-red treatment). These results suggest that fluctuations in levels of PnC401 mRNA are regulated by phytochrome(s) and a circadian clock and that they are associated with photoperiodic events that include induction of flowering.