Switch to: References

Add citations

You must login to add citations.
  1. A Strong Reflection Principle.Sam Roberts - 2017 - Review of Symbolic Logic 10 (4):651-662.
    This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Frege Meets Zermelo: A Perspective on Ineffability and Reflection.Stewart Shapiro - 2008 - Review of Symbolic Logic 1 (2):241-266.
    1. Philosophical background: iteration, ineffability, reflection. There are at least two heuristic motivations for the axioms of standard set theory, by which we mean, as usual, first-order Zermelo–Fraenkel set theory with the axiom of choice (ZFC): the iterative conception and limitation of size (see Boolos, 1989). Each strand provides a rather hospitable environment for the hypothesis that the set-theoretic universe is ineffable, which is our target in this paper, although the motivation is different in each case.
    Download  
     
    Export citation  
     
    Bookmark   2 citations