The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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)