1,721,074 research outputs found
Infographic – Design of the VIALE-M phase III trial of venetoclax and oral azacitidine maintenance therapy in acute myeloid leukemia
No full text Design of the VIALE-M phase III trial of venetoclax and oral azacitidine maintenance therapy in acute myeloid leukemia </p
Second order arithmetic as the model companion of set theory
No full textThis is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin’s generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the required care in details) a Π 2-property formalized in an appropriate language for second order number theory is forcible from some T⊇ ZFC+ large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T. In particular we show that the first order theory of Hω1 is the model companion of the first order theory of the universe of sets assuming the existence of class many Woodin cardinals, and working in a signature with predicates for Δ -properties and for all universally Baire sets of reals. We will extend these results also to the theory of Hא2 in a follow up of this paper
A binary modal logic for the intersection types of lambda-calculus
No full textIntersection types discipline allows to define a wide variety of models for the type free lambda-calculus, but the Curry-Howard isomorphism breaks down for this kind of type systems. In this paper we show that the correspondence between types and suitable logical formulas can still be recovered appealing to the fact that there is a strict connection between the semantics for lambda-calculus induced by the intersection types and a Kripke-style semantics for modal and relevant logics. Indeed, we present a modal logic hinted by the analysis of the sub-typing relation for intersection types, and we show that the deduction relation for such a modal system is a conservative extension of the relation of sub-typing. Then, we define a Kripke-style semantics for the formulas of such a system, present suitable sequential calculi, prove a completeness theorem and give a syntactical proof of the cut elimination property. Finally, we define a decision procedure for theorem-hood and we show that it yields the finite model property and cut-redundancy
L’assetto dell’italiano delle traduzioni in un corpus giornalistico. Aspetti qualitativi e quantitativi
No full textThis paper investigates differences in the language of articles published in Italian newspapers translated from foreign languages compared to the language of articles originally written in Italian. To this end, a corpus was compiled of approximately 1.9 million tokens composed of two subcorpora (translated and original) weighted according to different criteria (length and number of articles, distribution in time, number of authors/translators). By means of text analysis software, analyses were conducted to identify language traits related to source language interference and translation universals. Although the combined influence of source language, translation universals and stylistic conventions of the text genre under scrutiny makes it difficult to attribute findings to a specific factor, it seems clear that translators are less subject to the influence of English and the innovative traits of contemporary Italian than is the case for journalists
New Axioms in Set Theory
Full text linkIn this article we review the present situation in the foundations of set theory, discussing two programs meant to overcome the phenomenon of independence centered, respectively, on forcing axioms and Woodin’s V = Ultimate-L
conjecture. While doing so, we briefly introduce the key notions of set theory
Bruno Migliorini, l'uomo e il linguista (Rovigo 1896-Firenze 1975)
No full textBruno Migliorini (Rovigo 1896 – Firenze 1975) è uno dei più importanti linguisti italiani del Novecento. Dopo vari incarichi e un’esperienza di insegnamento a Friburgo, in Svizzera, nel 1938 fu chiamato a ricoprire presso l’Università di Firenze la prima cattedra di Storia della lingua italiana. A questo argomento è dedicata la parte più consistente della sua produzione scientifica, culmine della quale è la fondamentale Storia della lingua italiana, uscita nel 1960 e tradotta nelle principali lingue di cultura. Lo studio della lingua italiana non si limitò per Migliorini alla storia, ma si concentrò a più riprese e con contributi di grande importanza sulla lingua contemporanea, della quale seppe cogliere e spiegare i fermenti di cambiamento in rapporto al mutare delle condizioni storiche e sociali dell’epoca. Fondò con Giacomo Devoto la rivista dedicata all’italiano «Lingua nostra», che diresse fino alla morte, realizzò opere lessicografiche e manuali scolastici. Fu presidente dell’Accademia della Crusca dal 1949 al 1963.
Il volume raccoglie gli Atti del convegno tenutosi presso l’Accademia dei Concordi di Rovigo l’11 e il 12 aprile 2008, in occasione dei settant’anni dall’istituzione della prima cattedra di Storia della lingua italiana. I contributi che compongono le quattro sezioni in cui l’opera è suddivisa (L’uomo e lo studioso; Migliorini linguista e storico della lingua italiana; Migliorini lessicologo e lessicografo; Le altre lingue e l’educazione linguistica) tracciano un profilo della vita e delle ricerche di Bruno Migliorini, facendone emergere la grande attualità scientifica. Il volume è inoltre corredato da un cospicuo apparato di immagini e documenti legati a vari momenti della vita privata e dell’attività di ricerca di Bruno Migliorini
P. Van der Meer, Saint Augustin pasteur d'âmes, traduit du néerlandais par E. Viale, M. Jourjon, P. Darcy, M. Blondet, 1955
No full textPlagnieux Jean. P. Van der Meer, Saint Augustin pasteur d'âmes, traduit du néerlandais par E. Viale, M. Jourjon, P. Darcy, M. Blondet, 1955. In: Revue des Sciences Religieuses, tome 30, fascicule 3, 1956. pp. 294-295
Evidenze quantitative sull’italiano tradotto in un corpus giornalistico
No full textinterference” and the influence of “translation universals”. However, the characteristics of what was termed “translationese” have been identified and studied only sporadically through the systematic quantitative analysis of text corpora. The present study is specifically focussed on Italian and is aimed at investigating the language features of a corpus of newspaper articles collected ad-hoc and compared and contrasted with a similar corpus of newspaper articles originally written in Italian. The analysis was conducted according to the principles of corpus linguistics by means of dedicated text analysis software (Taltac2 in particular and TreeTagger). The lexicometric data provided by the software supply the starting material to investigate the lexical features of translated Italian, regardless of the subject matter dealt with in the articles. The results obtained from empirical evidence provides more insight into the linguistic traits of newspaper articles translated into Italian
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
- …
