Order:
Did you mean: Corner, Frederick
  1.  3
    Cofinal Indiscernibles and Some Applications to New Foundations.Friederike Körner - 1994 - Mathematical Logic Quarterly 40 (3):347-356.
    We prove a theorem about models with indiscernibles that are cofinal in a given linear order. We apply this theorem to obtain new independence results for Quine's set theory New Foundations, thus solving two open problems in this field.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  17
    Automorphisms Moving All Non-Algebraic Points and an Application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
    Section 1 is devoted to the study of countable recursively saturated models with an automorphism moving every non-algebraic point. We show that every countable theory has such a model and exhibit necessary and sufficient conditions for the existence of automorphisms moving all non-algebraic points. Furthermore we show that there are many complete theories with the property that every countable recursively saturated model has such an automorphism. In Section 2 we apply our main theorem from Section 1 to models of Quine's (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations