Switch to: References

Add citations

You must login to add citations.
  1. The Ontological Import of Adding Proper Classes.Alfredo Roque Freire & Rodrigo de Alvarenga Freire - 2019 - Manuscrito 42 (2):85-112.
    In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Existence in Set Theory, Part II: Relative Productivity.Rodrigo A. Freire - 2014 - Notre Dame Journal of Formal Logic 55 (1):91-105.
    Download  
     
    Export citation  
     
    Bookmark   1 citation