On the separation of regularity properties of the reals

DOI10.1007/S00153-014-0386-7zbMATH Open1339.03036arXiv2004.11719OpenAlexW2125025203MaRDI QIDQ481865FDOQ481865

Authors: Giorgio Laguzzi 

Publication date: 15 December 2014

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

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.

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

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

zbMATH Keywords

amalgamationLebesgue measurabilityregularity propertiesMiller measurabilitySilver measurability

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

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

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)