Switch to: References

Add citations

You must login to add citations.
  1. A hierarchy of maps between compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
    Let CH be the class of compacta (i.e., compact Hausdorff spaces), with BS the subclass of Boolean spaces. For each ordinal α and pair $\langle K,L\rangle$ of subclasses of CH, we define Lev ≥α K,L), the class of maps of level at least α from spaces in K to spaces in L, in such a way that, for finite α, Lev ≥α (BS,BS) consists of the Stone duals of Boolean lattice embeddings that preserve all prenex first-order formulas of quantifier rank (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Generic automorphisms of fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
    It is shown that the theory of fields with an automorphism has a decidable model companion. Quantifier-elimination is established in a natural language. The theory is intimately connected to Ax's theory of pseudofinite fields, and analogues are obtained for most of Ax's classical results. Some indication is given of the connection to nonstandard Frobenius maps.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Model theory for universal classes with the amalgamation property: A study in the foundations of model theory and algebra.William K. Forrest - 1977 - Annals of Mathematical Logic 11 (3):263.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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