Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].     

多目标分数变分问题的对偶性

本文利用参数逼近在函数广义（F，ρ）－凸的条件下，建立了一类多目标式变分问题关于有效解的对偶理论。     

Uniform non-amenability of free Burnside groups

The aim of this paper is to show that free Burnside groups of sufficiently large odd exponent are non-amenable in a certain strong sense. More precisely their left regular representations are isolated from the trivial representation uniformly on finite generating sets. It follows that free Burnside groups are of uniform exponential growth. This answers a question of de la Harpe. This work has been partially supported by the NSF grant DMS-0605093 and by the RFBR Grant # 05-01-00892. Received: 25 April 2006     

The first <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-cohomology of some groups with one end

Let p be a real number greater than one. In this paper we study the vanishing and nonvanishing of the first L ^p -cohomology space of some groups that have one end. We also make a connection between the first L ^p -cohomolgy space and the Floyd boundary of the Cayley graph of a group. We apply the result about Floyd boundaries to show that there exists a real number p such that the first L ^p -cohomology space of a nonelementary hyperbolic group does not vanish. Received: 4 August 2006 Revised: 2 November 2006     

Synthesis of functional polymers—Vinylidene fluoride based fluorinated copolymers and terpolymers bearing bromoaromatic side‐group

The radical co‐ and terpolymerization of 4‐[(α,β,β‐trifluorovinyl)oxy]bromo benzene (TFVOBB) with 1,1‐difluoroethylene (or vinylidene fluoride, VDF, or VF₂), hexafluoropropene (HFP), perfluoromethyl vinyl ether (PMVE), and chlorotrifluroroethylene (CTFE) is presented. Although TFVOBB could be thermocyclodimerized, it could not homopolymerize under radical initiation. TFVOBB could be copolymerized in solution under a radical initiator with VDF or CTFE comonomers, while its copolymerization with HFP or PMVE were unsuccessful. The terpolymerization of TFVOBB with VDF and HFP, or VDF and PMVE, or VDF and CTFE also led to original fluorinated terpolymers bearing bromoaromatic side‐groups. The conditions of co‐ and terpolymerization were optimized in terms of the nature of the radical initiators, and of the nature of solvents (fluorinated or nonhalogenated). Various monomer concentrations in the co‐ and terpolymers were assessed by ¹⁹F and ¹H‐NMR spectroscopy. The thermal and physico chemical properties were also studied. © 2004 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 42: 5077–5097, 2004     

19F NMR study of relative polarities and reactivities of N-H,N-Hg,and N-Au bonds in 2-(4-fluorophenyl)benzimidazole and its PhHg and Ph3PAu derivatives in intermolecular exchange

It has been shown by the¹⁹F NMR method that the relative polarities of nitrogenelement bonds in 2-(4-fluorophenyl)benzimidazole and its PhHg and PPh₃Au derivatives increase in the order N-H19F NMR. It has been found that these reactions occur by a bimolecular associative mechanism and that the N-H bond is substantially less reactive than the N-Hg and N-Au bonds, which have identical reactivities within the limits of sensitivity of the method used.Translated fromIzvestiya Akademii Nauk. Seriya Khimicheskaya, No. 8, pp. 1574–1580, August, 1995.This work was carried out with financial support from the Russian Foundation for Basic Research (Project No. 93-03-5528).     

Induction and foundation in the theory of hereditarily finite sets

The paper contains an axiomatic treatment of the intuitionistic theory of hereditarily finite sets, based on an induction axiom-schema and a finite set of single axioms. The main feature of the principle of induction used (due to Givant and Tarski) is that it incorporates Foundation. On the analogy of what is done in Arithmetic, in the axiomatic system selected the transitive closure of the membership relation is taken as a primitive notion, so as to permit an immediate adaptation of the theory to cases of restricted induction (in particular primitive recursive induction). At the end of the paper several different forms of induction, which play an important role in the development of the theory, are compared. An alternative axiomatization of the theory, which is of intrinsic interest, is also discussed.     

On top-down splaying

The splay tree is a self-adjusting binary search tree which has a good amortized performance. This paper studies some properties of top-down splay trees. Different ways to charge for the primitive operations of top-down splaying are discussed. We also give some empirical results concerning the behaviour of different top-down restructuring algorithms.This work was supported by the Academy of Finland.