Switch to: References

Add citations

You must login to add citations.
  1. Compactness and normality in abstract logics.Xavier Caicedo - 1993 - Annals of Pure and Applied Logic 59 (1):33-43.
    We generalize a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models. Moreover, it is shown that compactness is in fact equivalent to ordinary normality of the model spaces when L has uniform reduction for infinite disjoint sums of structures. Some applications follow. For example, a countably generated logic is countably compact if and only if every clopen class in the model spaces is elementary. The model spaces (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations