Measure on P: Strength of the Notion

Author: Strauss M.  

Publisher: Academic Press

ISSN: 0890-5401

Source: Information and Computation, Vol.136, Iss.1, 1997-07, pp. : 1-23

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

We give a notion of measure at P in a paradigm that differs somewhat from the standard theory. Our new notion overcomes some limitations of earlier formulations, specifically, concerning closure of null sets under union. First, we analyze formally some of the difficulties in defining measure at P. We then present the new definitions and determine the basic properties of the notion, including the density and immunity characteristics of a random language. We argue that these results are parallel to previous measure results at exponential time.