OAPEN Library: Recent submissions
Now showing items 201-220 of 48859
-
(2025)The chapter concerns compensation in the field of personal data protection, analysing the elements necessary for having access to compensation, the sujects liable, and the issue of quantification of damages.
-
(2025)This chapter examines the data subject rights, providing a detailed analysis of their content, also in light of jurisprudential developments in the field.
-
(2025)We come to a formalism introduced by Gentzen, namely the sequents calculus. We introduce here the basic concepts and prove the most important result about it, namely cut-elimination. Actually we will not illustrate here ...
-
(2025)We discuss the Second incompleteness theorem, some research developments and consequences. We introduce Turing’s progressions as attempt to attempt to overcome the problem of incompleteness. The we introduce the basics of ...
-
(2025)Another mathematically significant development in the research around the phenomenon of incompleteness on which we consider it important to focus attention, is that which has led to highlighting the link between this concept ...
-
(2025)The reception of incompleteness results within the mathematical community was very slow. One reason for the large underestimation of gödelians’ results in part of the community of mathematicians, which helped to brake their ...
-
(2025)We focus on some classical results concerning formal arithmetic,dating back to the classical era of the 1930s and 1940s, then in subsequent chapters inviting a comparison with more recent results. In this regard, we strongly ...
-
(2025)We start with the central result from which we derive the first Gödel Theorem. That the 1931 proof of the first theorem is syntactic and constructive. This means that it doesn’t appeal to truth and that we concretely give ...
-
(2025)A. Church in 1936 introduced a formal system based on the operations of function abstraction and application, called the lambda calculus and defined the notion of computable function in this system. Church’s original goal ...
-
(2025)The aim of this section is to account for Gödel’s original intuition with the means of modern computability theory, showing the different complexity of the theorems of a theory of formal arithmetic with certain properties, ...
-
(2025)The author reflects on Enrico Damiani's Polish studies, which aimed to spread Polish culture in Italy. The scholar pursues his goal with stubborn determination, convinced that his task is to provide readers with the tools ...
-
(2025)The author reconstructs Pollak's relationship with Damiani and other Italian Slavicists. Through the correspondence between Pollak and Damiani, the article highlights the close and fruitful relationship, both scientific ...
-
(2025)More than seventy years after its publication, it is important to consider the work of the multifaceted scholar who set out to offer an instrument intended for the training of Slavists and more generally for the public ...
-
(2025)The author publishes and introduces Riccardo Picchio's commemorative text in honor of Enrico Damiani on the occasion of the thirtieth anniversary at the Fondazione Scientifica Romana Umiastowska – January 10, 1954.
-
(2025)Enrico Damiani, known as the famous Slavist, specialized in Bulgarian and Polish literature with the publication (1938) in the form of an essay Teatr Pirandella (The Theatre of Pirandello) in the Italian-Polish magazine ...
-
(2025)Enrico Damiani worked for 35 years in the Library of the Chamber of Deputies. In 1915, he won the competition for secretary, a position that in the bureaucratic language of the time corresponded to the role of civil servant. ...
-
(2025)Enrico Damiani’s life and work have always been strongly characterized by his dual vocation as a librarian and a Slavist. In both of these activities Damiani was always guided by an innate sense of duty and a firm conviction ...
-
(2025)The author comments on and publishes a long unpublished letter from Enrico Damiani to Luigi Salvini, written a few days after the end of World War II. The letter, dated June 28, 1945, provides us with a wealth of information ...
-
(2026)The essay proposes a reading of Cicognini's Don Gastone di Moncada as a comedy on the virtues of Fidelity and Constancy. The character of D. Merichex and his soliloquy in II.9 is written by drawing on theological references; ...
-
(2026)The article deals with three case studies on the appropriation of Spanish comedy in the so-called “Spanish-style comedy” from the second half of the seventeenth century to the beginning of the eighteenth century. The textual ...
