Semantic A-translation and Super-consistency entail Classical Cut Elimination

We show that if a theory R defined by a rewrite system is super-consistent, the classical sequent calculus modulo R enjoys the cut elimination property, which was an open question. For such theories it was already known that proofs strongly normalize in natural deduction modulo R, and that cut elimination holds in the intuitionistic sequent calculus modulo R. We first define a syntactic and a semantic version of Friedman's A-translation, showing that it preserves the structure of pseudo-Heyting algebra, our semantic framework. Then we relate the interpretation of a theory in the A-translated algebra and its A-translation in the original algebra. This allows to show the stability of the super-consistency criterion and the cut elimination theorem

Deformations of modules of maximal grade and the Hilbert scheme at determinantal schemes

Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade (which means that the ideal I_t(\cA) generated by the maximal minors of a homogeneous presentation matrix, \cA, of M has maximal codimension in R). Suppose X:=Proj(R/I_t(\cA)) is smooth in a sufficiently large open subset and dim X > 0. Then we prove that the local graded deformation functor of M is isomorphic to the local Hilbert (scheme) functor at X \subset Proj(R) under a week assumption which holds if dim X > 1. Under this assumptions we get that the Hilbert scheme is smooth at (X), and we give an explicit formula for the dimension of its local ring. As a corollary we prove a conjecture of R. M. Mir\'o-Roig and the author that the closure of the locus of standard determinantal schemes with fixed degrees of the entries in a presentation matrix is a generically smooth component V of the Hilbert scheme. Also their conjecture on the dimension of V is proved for dim X > 0. The cohomology H^i_{*}({\cN}_X) of the normal sheaf of X in Proj(R) is shown to vanish for 0 < i < dim X-1. Finally the mentioned results, slightly adapted, remain true replacing R by any Cohen-Macaulay quotient of a polynomial ring.Comment: 24 page

Personnes en difficulté face à l\u27écrit (Les)

Maîtriser les compétences de base en compréhension orale ou écrite et en calcul facilite l’accès à l’emploi et l\u27évolution professionnelle. C\u27est une condition essentielle pour l’autonomie dans la vie quotidienne. A la demande d\u27un collectif de grandes organisations et d\u27associations nationales fédérées par l\u27Agence nationale de lutte contre l\u27illettrisme (ANLCI), la lutte contre l’illettrisme a été déclarée Grande cause nationale en 2013 par le Premier ministre. Une deuxième génération de plan régional de prévention et de lutte contre l’illettrisme en Ile-de- France (2014-2016) a été finalisée. Dans ce contexte, l’Insee, en collaboration avec l’ANLCI, la direction de l’Animation de la recherche, des études et des statistiques (Dares) du ministère du Travail et de l’emploi, la direction de l’Evaluation, de la prospective et de la performance (DEPP) du ministère de l’Education nationale, le département des Statistiques, des études et de la documentation (DSED) duministère de l’Intérieur, la Délégation générale à la langue française et aux langues de France (DGLFLF) du ministère de la Culture et le Secrétariat général du comité interministériel des villes (SG-CIV), a mené l’enquête Information et Vie quotidienne en 2011-2012 dont l’objectif est de déterminer le niveau de maîtrise des compétences de base des individus : en compréhension orale ou écrite et en calcul. Ce dossier fait suite à la publication des premiers résultats de l’enquête régionale en décembre 2012. Il donne un éclairage sur les niveaux de compétences des Franciliens et s’attache à définir les populations touchées par les difficultés face à l’écrit et au calcul

Deformation theory of Cohen-Macaulay approximation

In [22] we established axiomatic parametrised Cohen-Macaulay approximation which in particular was applied to pairs consisting of a finite type flat family of Cohen-Macaulay rings and modules. In this sequel we study the induced maps of deformation functors and deduce properties like smoothness and injectivity under general, mainly cohomological conditions on the module.publishedVersio

HIGHER UTILISATION OF AGRICULTURAL MECHANISATION THROUGH ORGANISING MACHINE RING ASSOCIATIONS

During the 1990s, turbulent processes emerged in the Balkans, conflictss, economic crises, where most affected was agricultural production and farmers. During that period, there were still large factories, the so-called Agricultural-Industrial Combines, which had 70% of the arable land. At the time of the transition, most of those plants collapsed economically, agricultural machinery was sold at auction, the land was divided into tenders, the areas were shrunk and a process was gradually started in which everyone wanted to be a farmer. Agricultural machinery, although purchased new, with insufficient number of effective working hours during the year had a high cost per machine working hour. It has emerged as a result of large service outages, overhaul, and maintenance of tractors on the one hand, but also small agricultural parcels and small production on the other. High costs contribute to high production prices of the agricultural product. Although small farmers have a small volume of work, they still buy and purchase new propulsion machines, the purchase of which made them even more indebted, instead of organizing and jointly procuring what they need and thus enabling rational agricultural production. Therefore, through this scientific paper, we have analyzed everything that farmers can get, and what to lose if they are organized in tractor cooperatives (machine rings). Through surveys and recording the actual situation on the ground, we gained a realistic picture of the situation with our farms, and what it should be like

Editorial: Policy Monitoring and Evaluation Practices in Developing Countries

Editoria

EXPLOITATION RESEARCH OF SOUR CHERRY PROCESSING MACHINES

This paper includes the exploitation characteristics of line machines for removing sorou cherry seeds, produced in different plants near Argulica village, the Karbinci municipality. The analysis were made on the sour cherry in which more dominant was the so called „oblacinska“, collected in at least 50 localities altogether, mainly in climate conditions of eastern part of N. Macedonia, in which there were cases where the crops were irrigated with water, but also cases where crops were not irrigated. The orchards with irrigation the yield is 15-20 t/ha, whereas the orchards without irrigation 8-10 t/ha. Diseases comes mostly from monilinia spp, blumerella jappi and stigmina carpophila. Besides the root borer, the economic damage is caused by the cherry fly. The fruits were collected from crops with altitude of 200 to 800 meters, from different climates. There were measured and tested the exploitation characteristics of the lines machines for sour cherry processing and finishing installed in factory in village Argulica and that: machines for manipulation presented with first stand, first tube with all components (barboter), slanting elevator, laundry control, control tape, calibrator, knock-seed and further packaging machine. Working conditions were quite optimal, while the workers involved were seasonal