Switch to: References

Add citations

You must login to add citations.
  1. Thin equivalence relations and inner models.Philipp Schlicht - 2014 - Annals of Pure and Applied Logic 165 (10):1577-1625.
    We describe the inner models with representatives in all equivalence classes of thin equivalence relations in a given projective pointclass of even level assuming projective determinacy. The main result shows that these models are characterized by their correctness and the property that they correctly compute the tree from the appropriate scale. The main step towards this characterization shows that the tree from a scale can be reconstructed in a generic extension of an iterate of a mouse. We then construct models (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Ulm Classification of Analytic Equivalence Relations in Generic Universes.Vladimir Kanovei - 1998 - Mathematical Logic Quarterly 44 (3):287-303.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations.William Chan & Stephen Jackson - 2021 - Annals of Pure and Applied Logic 172 (8):102988.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (15 other versions)2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
    Download  
     
    Export citation  
     
    Bookmark  
  • More definable combinatorics around the first and second uncountable cardinals.William Chan, Stephen Jackson & Nam Trang - 2023 - Journal of Mathematical Logic 23 (3).
    Assume [Formula: see text]. If [Formula: see text] is an ordinal and X is a set of ordinals, then [Formula: see text] is the collection of order-preserving functions [Formula: see text] which have uniform cofinality [Formula: see text] and discontinuous everywhere. The weak partition properties on [Formula: see text] and [Formula: see text] yield partition measures on [Formula: see text] when [Formula: see text] and [Formula: see text] when [Formula: see text]. The following almost everywhere continuity properties for functions on (...)
    Download  
     
    Export citation  
     
    Bookmark