Search results for 'Renato H. L. Pedrosa' (try it on Scholar)

Did you mean: Rent H. L. Pedro
  1.  6
    Renato H. L. Pedrosa & Antonio M. A. Sette (1988). A Representation Theorem for Languages with Generalized Quantifiers Through Back-and-Forth Methods. Studia Logica 47 (4):401 - 411.
    We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.
    Direct download (5 more)  
    Export citation  
    My bibliography