Switch to: References

Add citations

You must login to add citations.
  1. On the first-order expressibility of lattice properties related to unicoherence in continua.Paul Bankston - 2011 - Archive for Mathematical Logic 50 (3-4):503-512.
    Many properties of compacta have “textbook” definitions which are phrased in lattice-theoretic terms that, ostensibly, apply only to the full closed-set lattice of a space. We provide a simple criterion for identifying such definitions that may be paraphrased in terms that apply to all lattice bases of the space, thereby making model-theoretic tools available to study the defined properties. In this note we are primarily interested in properties of continua related to unicoherence; i.e., properties that speak to the existence of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Chang-Łoś-Suszko theorem in a topological setting.Paul Bankston - 2006 - Archive for Mathematical Logic 45 (1):97-112.
    The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Base-free formulas in the lattice-theoretic study of compacta.Paul Bankston - 2011 - Archive for Mathematical Logic 50 (5-6):531-542.
    The languages of finitary and infinitary logic over the alphabet of bounded lattices have proven to be of considerable use in the study of compacta. Significant among the sentences of these languages are the ones that are base free, those whose truth is unchanged when we move among the lattice bases of a compactum. In this paper we define syntactically the expansive sentences, and show each of them to be base free. We also show that many well-known properties of compacta (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An invitation to model theory and c*-algebras.Martino Lupini - 2019 - Bulletin of Symbolic Logic 25 (1):34-100.
    We present an introductory survey to first order logic for metric structures and its applications to C*-algebras.
    Download  
     
    Export citation  
     
    Bookmark   1 citation