1.  18
    Ursula Gropp (1988). Coinductive Formulas and a Many-Sorted Interpolation Theorem. Journal of Symbolic Logic 53 (3):937-960.
    We use connections between conjunctive game formulas and the theory of inductive definitions to define the notions of a coinductive formula and its approximations. Corresponding to the theory of conjunctive game formulas we develop a theory of coinductive formulas, including a covering theorem and a normal form theorem for many sorted languages. Applying both theorems and the results on "model interpolation" obtained in this paper, we prove a many-sorted interpolation theorem for ω 1 ω-logic, which considers interpolation with respect to (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  2.  8
    Ursula Gropp (1992). There is No Sharp Transitivity on Q6 When Q is a Type of Morley Rank. Journal of Symbolic Logic 57 (4):1198 - 1212.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3. Ursula Gropp (1992). There is No Sharp Transitivity on Q 6 When Q is a Type of Morley Rank 2. Journal of Symbolic Logic 57 (4):1198-1212.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography