Switch to: References

Add citations

You must login to add citations.
  1. Quantum metaphysical indeterminacy and worldly incompleteness.Alessandro Torza - 2020 - Synthese 197:4251-4264.
    An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Williamson's many necessary existents.Theodore Sider - 2009 - Analysis 69 (2):250-258.
    This note is to show that a well-known point about David Lewis’s (1986) modal realism applies to Timothy Williamson’s (1998; 2002) theory of necessary existents as well.1 Each theory, together with certain “recombination” principles, generates individuals too numerous to form a set. The simplest version of the argument comes from Daniel Nolan (1996).2 Assume the following recombination principle: for each cardinal number, ν, it’s possible that there exist ν nonsets. Then given Lewis’s modal realism it follows that there can be (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Undefinability of κ-well-orderings in l∞κ.Juha Oikkonen - 1997 - Journal of Symbolic Logic 62 (3):999 - 1020.
    We prove that the class of trees with no branches of cardinality ≥κ is not RPC definable in L ∞κ when κ is regular. Earlier such a result was known for L κ + κ under the assumption $\kappa^{ . Our main result is actually proved in a stronger form which covers also L ∞λ (and makes sense there) for every strong limit cardinal $\lambda > \kappa$ of cofinality κ.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Superclasses in a Finite Extension of Zermelo Set Theory.Martin Kühnrich - 1978 - Mathematical Logic Quarterly 24 (31-36):539-552.
    Download  
     
    Export citation  
     
    Bookmark  
  • Comparing notions of similarity for uncountable models.Taneli Huuskonen - 1995 - Journal of Symbolic Logic 60 (4):1153-1167.
    The present article, which is a revised version of part of [Hu1], deals with various relations between models which might serve as exact formulations for the vague concept "similar" or "almost isomorphic". One natural class of such formulations is equivalence in a given logic. Another way to express similarity is by potential isomorphism, i.e., isomorphism in some extension of the set-theoretic universe. The class of extensions may be restricted to give different notions of potential isomorphism. A third method is to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The härtig quantifier: A survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
    A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations