Switch to: References

Add citations

You must login to add citations.
  1. Inverse topological systems and compactness in abstract model theory.Daniele Mundici - 1986 - Journal of Symbolic Logic 51 (3):785-794.
    Given an abstract logic L = L(Q i ) i ∈ I generated by a set of quantifiers Q i , one can construct for each type τ a topological space S τ exactly as one constructs the Stone space for τ in first-order logic. Letting T be an arbitrary directed set of types, the set $S_T = \{(S_\tau, \pi^\tau_\sigma)\mid\sigma, \tau \in T, \sigma \subset \tau\}$ is an inverse topological system whose bonding mappings π τ σ are naturally determined by (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Compactness, interpolation and Friedman's third problem.Daniele Mundici - 1982 - Annals of Mathematical Logic 22 (2):197.
    Download  
     
    Export citation  
     
    Bookmark   3 citations