From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in tree

The lattice of primary ideals of orders in quadratic number fields

Let $O$ be an order in a quadratic number field $K$ with ring of integers $D$, such that the conductor $\mathfrak F = f D$ is a prime ideal of $O$, where $f\in\mathbb Z$ is a prime. We give a complete description of the $\mathfrak F$-primary ideals of $O$. They form a lattice with a particular structure by layers; the first layer, which is the core of the lattice, consists of those $\mathfrak F$-primary ideals not contained in $\mathfrak F^2$. We get three different cases, according to whether the prime number $f$ is split, inert or ramified in $D$.Comment: Keywords: Orders, Conductor, Primary ideal, Lattice of ideals. to appear in Int. J. Number Theory (2016

PRINC domains and comaximal factorization domains

The notion of PRINC domain was introduced by Salce and Zanardo (2014), motivated by the investigation of the products of idempotent matrices with entries in a commutative domain. An integral domain R is a PRINC domain if every two-generated invertible ideal of R is principal. PRINC domains are closely related to the notion of unique comaximal factorization domain, introduced by McAdam and Swan (2004). In this article, we prove that there exist large classes of PRINC domains which are not comaximal factorization domains, using diverse kinds of constructions. We also produce PRINC domains that are neither comaximal factorization domains nor projective-free

"Un atto di accusa, e una preghiera". Un autocommento a "La Storia"

National audienceIl contributo analizza i documenti autografi (in buona parte inediti) redatti da Elsa Morante per la stesura della presentazione del romanzo, della quarta di copertina, e della prefazione all'edizione americana. Lo studio dei manoscritti fornisce significative chiavi ermeneutiche per l'interpretazione del romanzo e dei suoi messaggi comunicativi, fornendo un prezioso 'autocommento' morantiano a "La Storia"

Appunti sui manoscritti della "Storia" di Elsa Morante (con appendice di inediti)

National audienceBy offering both manuscript and typescript material related to Elsa Morante's "La Storia" (1974), this paper firstly reconstructs the bonds of dependence of such novel from "Senza i conforti della religione" then it studies the character of Davide Segre (and in particular his speech at the tavern and his period as a worker) afterwards it analyses the variations of the title of the novel and the short chronicles opening the chapters. The Appendix offers a transcription of two unpublished poems ascribed to Davide Segre as an adolescent which the author originally wanted to put at the end of the novel but which she finally dismissed.L'articolo presenta i materiali manoscritti e dattiloscritti relativi a "La Storia" (1974) di Elsa Morante ricostruendo in primo luogo i legami di filiazione che legano il romanzo del '74 a "Senza i conforti della religione"; in secondo luogo studiando il personaggio di Davide Segre (in particolare il discorso che tiene all'osteria e la sua parentesi operaia); successivamente analizza le varianti che interessano il titolo del romanzo e le cronistorie che aprono i vari capitoli. In appendice si trascrivono due componimenti inediti, attribuiti a Davide Segre adolescente, che l'autrice intendeva porre in coda al romanzo, ma che sono stati espunti

Avaliação econômica do tratamento do galucoma com colírios de associações fixas de timolol com análagos de prostaglandina em Florianópolis (SC)

Trabalho de Conclusão de Curso - Universidade Federal de Santa Catarina. Curso de Medicina. Departamento de Clínica Cirúrgica

The Re-Acceleration of the Shock Wave in the Radio Remnant of SN 1987A

We report on updated radio imaging observations of the radio remnant of Supernova 1987A (SN 1987A) at 9 GHz, taken with the Australia Telescope Compact Array (ATCA), covering a 25-year period (1992-2017). We use Fourier modeling of the supernova remnant to model its morphology, using both a torus model and a ring model, and find both models show an increasing flux density, and have shown a continuing expansion of the remnant. As found in previous studies, we find the torus model most accurately fits our data, and has shown a change in the remnant expansion at Day 9,300 $\pm$210 from 2,300 $\pm$200 km/s to 3,610 $\pm$240 km/s. We have also seen an increase in brightness in the western lobe of the remnant, although the eastern lobe is still the dominant source of emission, unlike what has been observed at contemporary optical and X-ray wavelengths. We expect to observe a reversal in this asymmetry by the year $\sim$2020, and note the south-eastern side of the remnant is now beginning to fade, as has also been seen in optical and X-ray data. Our data indicate that high-latitude emission has been present in the remnant from the earliest stages of the shockwave interacting with the equatorial ring around Day 5,000. However, we find the emission has become increasingly dominated by the low-lying regions by Day 9,300, overlapping with the regions of X-ray emission. We conclude that the shockwave is now leaving the equatorial ring, exiting first from the south-east region of the remnant, and is re-accelerating as it begins to interact with the circumstellar medium beyond the dense inner ring.Comment: 22 pages, 14 figures. Accepted to Ap

Dinâmicas culturais indígenas e suas relações com os lugares de identificação

O presente artigo apresenta reflexões sobre alguns posicionamentos assumidos por grupos indígenas, a partir de situações que tive a oportunidade de participar e observar. Buscarei dialogar com autores que trazem a identidade como um atributo relacional, que se refere à interação com outros, aproximando-me da argumentação sobre a identidade cultural e suas transformações, que carregam a necessidade de reconhecer as dinâmicas inerentes às vivências (inter)culturais e suas relações com lugares simbólicos que compõe o patrimônio imaterial. Também são apresentadas reflexões acerca do papel da escola indígena como instrumento para a reafirmação de suas identidades étnicas, e a relevância dos ambientes escolares expressarem representações simbólicas com essa intenção. Para finalizar, utilizo-me dos “lugares antropológicos” de Marc Augé (1994) relacionando-os com as situações descritas, que contemplam lugares de identificação de comunidades indígenas, alguns deles presentes em memórias ancestrais, mas ainda vivos e relacionados ao seu patrimônio imaterial

CAMINHOS QUE SE TECEM: ENTREVISTA COM HELENA ALPINI ROSA

Helena Alpini Rosa formou-se em História pela Universidade Federal de Santa Catarina - UFSC (1995), especializou-se em Metodologia de Atendimento a Criança e Adolescente em Situação de Risco pela Universidade do Estado de Santa Catarina - UDESC (2002), concluiu Mestrado em História em 20 09, e Doutorado também História em 2017, ambos pela UFSC. Foi professora de história, e desde 2003 atua na Secretaria de Estado da Educação de Santa Catarina SED/SC, na função de técnica d a Gerência de Modalidades, Programas e Projetos/GEMPE, da Diretoria de Gestão da Rede/DIGR. Esteve inserida em diversos projetos de extensão e pesquisa relacionados à educação em escolas indígenas do estado de Santa Catarina