The global Σ¹_n+1-Uniformization Property and BPFA

2024/03/20 by Stefan Hoffelner, Hoffelner, Stefan
Mathematics · #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.2403.13527

openalex publication_date 2024/03/20 · openalex created_date 2024/03/22 · openalex updated_date 2026/07/28

Abstract

We show that given a reflecting cardinal, one can produce a model of BPFA where the Σ¹_n-uniformization property holds simultaneously for all n ≥ 2.

Related

• Forcing Axioms, the Uniformization and the Basis Property
• Forcing the Π¹_n-Uniformization Property
• A Universe with large Continuum, global Σ-Uniformization and a projective Well-Order of its Reals
• Forcing upper Σ-uniformization in the presence of lower Π-reduction or uniformization
• Forcing the Π¹₃-Reduction Property and a Failure of Π¹₃-Uniformization