Switch to: References

Add citations

You must login to add citations.
  1. On the non-existence of mad families.Haim Horowitz & Saharon Shelah - 2019 - Archive for Mathematical Logic 58 (3-4):325-338.
    We show that the non-existence of mad families is equiconsistent with \, answering an old question of Mathias. We also consider the above result in the general context of maximal independent sets in Borel graphs, and we construct a Borel graph G such that \ “there is no maximal independent set in G” is equiconsistent with \ “there exists an inaccessible cardinal”.
    Download  
     
    Export citation  
     
    Bookmark  
  • The formal verification of the ctm approach to forcing.Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf & Matías Steinberg - 2024 - Annals of Pure and Applied Logic 175 (5):103413.
    Download  
     
    Export citation  
     
    Bookmark  
  • The limits of classical mereology: Mixed fusions and the failures of mereological hybridism.Joshua Kelleher - 2020 - Dissertation, The University of Queensland
    In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...)
    Download  
     
    Export citation  
     
    Bookmark