Displaying 2921 – 2940 of 5989

Showing per page

On isomorphism classes of C ( 2 [ 0 , α ] ) spaces

Elói Medina Galego (2009)

Fundamenta Mathematicae

We provide a complete isomorphic classification of the Banach spaces of continuous functions on the compact spaces 2 [ 0 , α ] , the topological sums of Cantor cubes 2 , with smaller than the first sequential cardinal, and intervals of ordinal numbers [0,α]. In particular, we prove that it is relatively consistent with ZFC that the only isomorphism classes of C ( 2 [ 0 , α ] ) spaces with ≥ ℵ₀ and α ≥ ω₁ are the trivial ones. This result leads to some elementary questions on large cardinals.

On iterated forcing for successors of regular cardinals

Todd Eisworth (2003)

Fundamenta Mathematicae

We investigate the problem of when ≤λ-support iterations of < λ-complete notions of forcing preserve λ⁺. We isolate a property- properness over diamonds-that implies λ⁺ is preserved and show that this property is preserved by λ-support iterations. Our condition is a relative of that presented by Rosłanowski and Shelah in [2]; it is not clear if the two conditions are equivalent. We close with an application of our technology by presenting a consistency result on uniformizing colorings of ladder...

On joint distribution in quantum logics. I. Compatible observables

Anatolij Dvurečenskij (1987)

Aplikace matematiky

The notion of a joint distribution in σ -finite measures of observables of a quantum logic defined on some system of σ -independent Boolean sub- σ -algebras of a Boolean σ -algebra is studied. In the present first part of the paper the author studies a joint distribution of compatible observables. It is shown that it may exists, although a joint obsevable of compatible observables need not exist.

On joint distribution in quantum logics. II. Noncompatible observables

Anatolij Dvurečenskij (1987)

Aplikace matematiky

This paper i a continuation of the first part under the same title. The author studies a joint distribution in σ -finite measures for noncompatible observables of a quantum logic defined on some system of σ -independent Boolean sub- σ -algebras of a Boolean σ -algebra. We present some necessary and sufficient conditions fot the existence of a joint distribution. In particular, it is shown that an arbitrary system of obsevables has a joint distribution in a measure iff it may be embedded into a system...

On knowledge games.

J. M. Lasry, J. M. Morel, S. Solimini (1989)

Revista Matemática de la Universidad Complutense de Madrid

We give a formalization of the ?knowledge games? which allows to study their decidability and convergence as a problem of mathematics. Our approach is based on a metalemma analogous to those of Von Neumann and Morgenstern at the beginning of Game Theory. We are led to definitions which characterize the knowledge games as objects is standard set theory. We then study rigorously the most classical knowledge games and, although we also prove that the ?common knowledge? in these games may be incomputable,...

On L 1 Space Formed by Complex-Valued Partial Functions

Yasushige Watase, Noboru Endou, Yasunari Shidama (2012)

Formalized Mathematics

In this article, we formalized L1 space formed by complexvalued partial functions [11], [15]. The real-valued case was formalized in [22] and this article is its generalization.

Currently displaying 2921 – 2940 of 5989