In this paper we analyze the consideration of intuitionistic logic as an extension of classical logic. This — at first sight surprising — point of view has been sustained explicitly by Jan Łukasiewicz on the basis of a mapping of classical propositional logic into intuitionistic propositional logic by Kurt Gödel in 1933. Simultaneously with Gödel, Gerhard Gentzen had proposed another mapping of Peano´s arithmetic into Heyting´s arithmetic. We shall discuss these mappings in connection with the problem...
The positive and negative results related to the problem of topologies of Grothendieck [2] have given many information on the projective and injective tensor products of Fréchet and DF-spaces. The purpose of this paper is to give some results about analogous questions in αpq-Lapresté's tensor products [4, chapitre 1] and in spaces of dominated operators Pietsch [5] for a class of Fréchet spaces having a certain kind of decomposition studied dy Bonet and Díaz [1] called T-decomposition....
Several properties of weakly p-summable sequences and of the scale of p-converging operators (i.e., operators transforming weakly p-summable sequences into convergent sequences) in projective and natural tensor products with an lp space are considered. The last section studies the Dunford-Pettis property of order p (i.e., every weakly compact operator is p-convergent) in those spaces.
We give an explicit description of a tensor norm equivalent on to the associated tensor norm to the ideal of -absolutely summing operators. As a consequence, we describe a tensor norm on the class of Banach spaces which is equivalent to the left projective tensor norm associated to .
Download Results (CSV)