Search Results

open access

Borel Determinacy and Metamathematics

Description: Borel determinacy states that if G(T;X) is a game and X is Borel, then G(T;X) is determined. Proved by Martin in 1975, Borel determinacy is a theorem of ZFC set theory, and is, in fact, the best determinacy result in ZFC. However, the proof uses sets of high set theoretic type (N1 many power sets of ω). Friedman proved in 1971 that these sets are necessary by showing that the Axiom of Replacement is necessary for any proof of Borel Determinacy. To prove this, Friedman produces a model of ZC and… more
Date: December 2001
Creator: Bryant, Ross
open access

A Collapsing Result Using the Axiom of Determinancy and the Theory of Possible Cofinalities

Description: Assuming the axiom of determinacy, we give a new proof of the strong partition relation on ω1. Further, we present a streamlined proof that J<λ+(a) (the ideal of sets which force cof Π α < λ) is generated from J<λ+(a) by adding a singleton. Combining these results with a polarized partition relation on ω1
Date: May 2001
Creator: May, Russell J.
open access

Hyperspace Topologies

Description: In this paper we study properties of metric spaces. We consider the collection of all nonempty closed subsets, Cl(X), of a metric space (X,d) and topologies on C.(X) induced by d. In particular, we investigate the Hausdorff topology and the Wijsman topology. Necessary and sufficient conditions are given for when a particular pseudo-metric is a metric in the Wijsman topology. The metric properties of the two topologies are compared and contrasted to show which also hold in the respective topolog… more
Date: August 2001
Creator: Freeman, Jeannette Broad

The Pettis Integral and Operator Theory

Description: Let (Ω, Σ, µ) be a finite measure space and X, a Banach space with continuous dual X*. A scalarly measurable function f: Ω→X is Dunford integrable if for each x* X*, x*f L1(µ). Define the operator Tf. X* → L1(µ) by T(x*) = x*f. Then f is Pettis integrable if and only if this operator is weak*-to-weak continuous. This paper begins with an overview of this function. Work by Robert Huff and Gunnar Stefansson on the operator Tf motivates much of this paper. Conditions that make Tf weak*-to-weak c… more
Access: Restricted to UNT Community Members. Login required if off-campus.
Date: August 2001
Creator: Huettenmueller, Rhonda

Quantization Dimension for Probability Definitions

Description: The term quantization refers to the process of estimating a given probability by a discrete probability supported on a finite set. The quantization dimension Dr of a probability is related to the asymptotic rate at which the expected distance (raised to the rth power) to the support of the quantized version of the probability goes to zero as the size of the support is allowed to go to infinity. This assumes that the quantized versions are in some sense ``optimal'' in that the expected distances… more
Access: Restricted to UNT Community Members. Login required if off-campus.
Date: December 2001
Creator: Lindsay, Larry J.

Topological uniqueness results for the special linear and other classical Lie Algebras.

Description: Suppose L is a complete separable metric topological group (ring, field, etc.). L is topologically unique if the Polish topology on L is uniquely determined by its underlying algebraic structure. More specifically, L is topologically unique if an algebraic isomorphism of L with any other complete separable metric topological group (ring, field, etc.) induces a topological isomorphism. A local field is a locally compact topological field with non-discrete topology. The only local fields (up to i… more
Access: Restricted to UNT Community Members. Login required if off-campus.
Date: December 2001
Creator: Rees, Michael K.
Back to Top of Screen