Search results for 'F. Barbier' (try it on Scholar)

Did you mean: F. Barber
  1. M. Aiguier & F. Barbier (2007). An Institution-Independent Proof of the Beth Definability Theorem. Studia Logica 85 (3):333 - 359.score: 240.0
    A few results generalizing well-known classical model theory ones have been obtained in institution theory these last two decades (e.g. Craig interpolation, ultraproduct, elementary diagrams). In this paper, we propose a generalized institution-independent version of the Beth definability theorem.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation