 Measure-Theoretic UniformityGerald E. Sacks A chapter in Foundations of Mathematics, 1969, pp 51-57 from Springer Abstract: Abstract Here we present the principal ideas and results of [5] with some indications of proof. The general notion of uniformity is difficult to harvest; nonetheless, various offshoots of it have borne fruit in all fields of mathematical logic. In this paper we introduce the notion of measure-theoretic uniformity, and we describe its use in recursion theory, hyperarithmetic analysis, and set theory. In recursion theory we show that the set of all sets T such that the ordinals recursive in T are the recursive ordinals has measure 1. In set theory we obtain all of Cohen’s independence results [1,2]. Solovay [8,9] has extended Cohen’s method by forcing statements with closed, measurable sets of conditions rather than finite sets of conditions; in this manner he exploits the concepts of forcing and genericity to prove: if ZF is consistent, then ZF + “there exists a translation-invariant, countably additive extension of Lebesgue measure defined on all sets of reals” + “the dependent axiom of choice” is consistent. Solovay’s result is also a consequence of the notion of measure-theoretic uniformity. Keywords: Natural Number; Absolute Measure; Arithmetical Function; Recursion Theory; Skolem Function (search for similar items in EconPapers) There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it. Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-642-86745-3_6 Ordering information: This item can be ordered from DOI: 10.1007/978-3-642-86745-3_6 Access Statistics for this chapter More chapters in Springer Books from Springer |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.