On the separation of regularity properties of the reals

DOI10.1007/S00153-014-0386-7MaRDI QIDQ481865zbMATH OpenOpenAlexFDO

Authors Giorgio Laguzzi

Publication date 15 December 2014

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.11719

zbMATH Keywords

amalgamationLebesgue measurabilityregularity propertiesMiller measurabilitySilver measurability

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

Abstract: We present a model where omega_1 is inaccessible by reals, Silver measurability holds for all sets but Miller and Lebesgue measurability fail for some sets. This contributes to a line of research started by Shelah in the 1980s and more recently continued by Schrittesser and Friedman, regarding the separation of different notions of regularity properties of the real line.

Recommendations

• Generalized Silver and Miller measurability
• Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals
• Silver Measurability and its relation to other regularity properties
• On the structure of \(\Delta^ 1_ 4\)-sets of reals
• Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals

Cites work

• scientific article; zbMATH DE number 797415 (Why is no real title available?)
• A model of set-theory in which every set of reals is Lebesgue measurable
• Can you take Solovay's inaccessible away?
• Forcing absoluteness and regularity properties
• Generic trees
• On measure and category
• Projective Measure Without Projective Baire
• Silver Measurability and its relation to other regularity properties
• Solovay-type characterizations for forcing-algebras
• \(\Delta^ 1_ 2\)-sets of reals

Cited in

(10)

• Some considerations on amoeba forcing notions
• Filter-Laver measurability
• The regularity properties on the real line
• On splitting trees
• A seperation property of realizable Volterra kernels
• scientific article; zbMATH DE number 4107687 (Why is no real title available?)
• UNCOUNTABLE TREES AND COHEN -REALS
• Projective Measure Without Projective Baire
• Full-splitting Miller trees and infinitely often equal reals
• Generalized Silver and Miller measurability

This page was built for publication: On the separation of regularity properties of the reals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q481865)