A New Proof that “Krull implies Zorn”

In the present note we give a direct deduction of the Axiom of Choice from the Maximal Ideal Theorem for commutative rings with unit. Mathematics Subject Classification: 03E25, 04A25, 13A15.     

Théorème de l'application spectrale pour le spectre essentiel quasi-Fredholm

In 1958, T. Kato proved that a closed semi-Fredholm operator in a Banach space can be written where is a nilpotent operator and is a regular one.

J. P. Labrousse studied and characterised this class of operators in the case of Hilbert spaces. He also defined a new spectrum named ``essential quasi-Fredholm spectrum' and denoted .

In this paper we prove that the essential quasi-Fredholm spectrum defined by J. P. Labrousse satisfies the mapping spectral theorem, i.e.: If is a bounded operator in a Hilbert space and an analytic function in a neighbourhood of the spectrum of , then .

RÉSUMÉ. En 1958, T. Kato a montré que si est un opérateur fermé dans un espace de Banach et semi-Fredholm, alors il existe tels que où est nilpotent et est régulier.

J. P. Labrousse a étudié et caractérisé cette classe d'opérateurs dans le cadre des espaces de Hilbert et a défini un nouveau spectre qu'on appelle ``spectre essentiel quasi-Fredholm' et noté par .

Dans ce travail nous allons démontrer que le spectre essentiel quasi-Fredholm défini par J. P. Labrousse vérifie le théorème de l'application spectrale, c'est à dire: Si est un opérateur bourné d'un espace de Hilbert dans lui même et une fonction analytique au voisinage du spectre de , alors .

     

Le degré de Lindelöf est -invariant

Two Tychonoff spaces and are said to be -equivalent if and are linearly homeomorphic. It is shown that if and are -equivalent, then the Lindelöf numbers of and are the same. The proof given is a strengthening of the one given by N.V. Velichko to show that the Lindelöf property is -invariant.

     

Une propriété de continuité du temps local

Let denote the local time (at 0) associated with a martingale . The aim of this note is to prove that the mapping is continuous from into weak-.

     

Sémantique de type Kripke d'un système logique basé sur un ensemble ordonné fini

In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems the use of a set of constants constitutes a fundamental tool. We have introduced in [8] a logic system called without this kind of constants but limited to the case that T is a finite poset. We have proved a completeness result for this system w.r.t. an algebraic semantics. We introduce in this paper a Kripke‐style semantics for a subsystem of for which there existes a deduction theorem. The set of “possible worldsr is enriched by a family of functions indexed by the elements of T and satisfying some conditions. We prove a completeness result for system with respect to this Kripke semantics and define a finite Kripke structure that characterizes the propositional fragment of logic . We introduce a reational semantics (found by E. Orlowska) which has the advantage to allow an interpretation of the propositionnal logic using only binary relations. We treat also the computational complexity of the satisfiability problem of the propositional fragment of logic .     

Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem

An abstract simplicial complex is a finite family of subsets of a finite set, closed under subsets. Every abstract simplicial complex naturally determines a Bratteli diagram and a stable AF-algebra . Consider the following problem:

INPUT: a pair of abstract simplicial complexes and ;

QUESTION: is isomorphic to ?

We show that this problem is Gödel incomplete, i.e., it is recursively enumerable but not decidable. This result is in sharp contrast with the recent decidability result by Bratteli, Jorgensen, Kim and Roush, for the isomorphism problem of stable AF-algebras arising from the iteration of the same positive integer matrix. For the proof we use a combinatorial variant of the De Concini-Procesi theorem for toric varieties, together with the Baker-Beynon duality theory for lattice-ordered abelian groups, Markov's undecidability result, and Elliott's classification theory for AF-algebras.

     

-Weyl's theorem for operator matrices

If is a upper triangular matrix on the Hilbert space , then -Weyl's theorem for and need not imply -Weyl's theorem for , even when . In this note we explore how -Weyl's theorem and -Browder's theorem survive for operator matrices on the Hilbert space.

     

On a reducibility of the Kampé de Fériet function

The main objective of this research note is to provide an interesting result for the reducibility of the Kampé de Fériet function. The result is derived with the help of two results for the terminating ₃F₂ series very recently obtained by Rakha et al. A few interesting special cases have also been given. Copyright © 2014 John Wiley & Sons, Ltd.     

Opérateurs d'extension linéaires explicites dans des intersections de classes ultradifférentiables

B. S. Mityagin proved that the Chebyshev polynomials form a Schauder basis of the space of C ^∞ functions on the interval [–1,1]. Whereof he deduced an explicit continuous linear extension operator. These results were extended, by A. Goncharov, to compact sets without Markov's property. On the reverse, M. Tidten gave examples of compact sets for which there is no continuous linear extension operator. In this paper, we generalize these works to the intersections of ultradifferentiable classes of functions built on the model of the non quasianalytic intersection of Gevrey classes. We get, among other things, a Whitney linear extension theorem for ultradifferentiable jets of Beurling type.     

Recursiveness of ω-Operations

It is well known that any finitary operation is recursive in a suitable total numeration. A. Orlicki showed that there is an ω-operation not recursive in any total numeration. We will show that any ω-operation is recursive in a partial numeration. Mathematics Subject Classification: 03D45.     

On a convolution inequality of Saitoh

Let be in the class of locally integrable functions on . Define the convolution product inductively by and for . The inequality

is obtained for each , . Further, the constant is shown to be the best possible, and the nonzero extremal functions are determined.

     

Jump Theorems for REA Operators

In [2], Jockusch and Shore have introduced a new hierarchy of sets and operators called the REA hierarchy. In this note we prove analogues of the Friedberg Jump Theorem and the Sacks Jump Theorem for many REA operators. MSC: 03D25, 03D55.     

Estimates for an oscillatory integral operator related to restriction to space curves

We consider the oscillatory integral operator defined by

where 1$">, and is a real-valued function in . This operator may be thought of as a variable-curve version of the adjoint of the Fourier restriction operator for space curves. Under a certain nondegeneracy condition on , we obtain estimates for with a suitable bound for the operator norm . This generalizes a result of Hörmander for the plane to higher dimensions.

     

A proof of the normal form theorem for the closed terms of Girard's system F by means of computability

In this paper a proof of the normal form theorem for the closed terms of Girard's system F is given by using a computability method à la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as well. From the proof-theoretical point of view the interest of the proof is that the definition of computable derivation here used does not seem to be well founded. MSC: 03F05, 03B15.     

ω-operations over partial enumerated sets

In the present paper we concentrate on fundamental problems concerning ω-operations over partial enumerated sets. The notion of “HOM-lifts” seems to be an adequate tool for this kind of investigations. MSC: 03D45, 18A30.     

Serre duality for noncommutative projective schemes

We prove the Serre duality theorem for the noncommutative projective scheme when is a graded noetherian PI ring or a graded noetherian AS-Gorenstein ring.

     

The structure of some virtually free pro- groups

We prove two conjectures on pro- groups made by Herfort, Ribes and Zalesskii. The first says that a finitely generated pro- group which has an open free pro- subgroup of index is a free pro- product , where the are free pro- of finite rank and the are cyclic of order . The second says that if is a free pro- group of finite rank and is a finite -group of automorphisms of , then is a free factor of . The proofs use cohomology, and in particular a ``Brown theorem' for profinite groups.

     

Caractérisations de la représentation de Burau

This paper is devoted to characterizations of the (reduced) Burau representation of the Artin braid group, in terms of rigid local systems. We prove that the Burau representation is the only representation of the Hecke algebra for which some local system associated to every linear representation of the braid group is irreducible and rigid in the sense of Katz. We also use previous results to give a characterization of the corresponding Knizhnik-Zamolodchikov system.     

A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95