Switch to: References

Add citations

You must login to add citations.
  1. Equivalence of generics.Iian B. Smythe - 2022 - Archive for Mathematical Logic 61 (5):795-812.
    Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We examine the complexity of this equivalence relation for various partial orders, focusing on Cohen and random forcing. We prove, among other results, that the former is an increasing union of countably many hyperfinite Borel equivalence relations, and hence is amenable, while (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Forcing Constructions and Countable Borel Equivalence Relations.Su Gao, Steve Jackson, Edward Krohne & Brandon Seward - 2022 - Journal of Symbolic Logic 87 (3):873-893.
    We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply the nonexistence of Borel complete sections with certain features.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark