Results for 'ultratopology'

Did you mean: alliteratively
  1.  18
    On Topological Properties of Ultraproducts of Finite Sets.Gábor Sági & Saharon Shelah - 2005 - Mathematical Logic Quarterly 51 (3):254-257.
    In [3] a certain family of topological spaces was introduced on ultraproducts. These spaces have been called ultratopologies and their definition was motivated by model theory of higher order logics. Ultratopologies provide a natural extra topological structure for ultraproducts. Using this extra structure in [3] some preservation and characterization theorems were obtained for higher order logics. The purely topological properties of ultratopologies seem interesting on their own right. We started to study these properties in [2], where some questions remained open. (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   1 citation  
  2.  17
    Ultratopologies.Gábor Sági & János Gerlits - 2004 - Mathematical Logic Quarterly 50 (6):603-612.
    The notion of ultratopologies was introduced in [6] motivated by the model theory of first and higher order logics. In [6] we established some model theoretical applications of ultratopologies, for example, we provided a purely set theoretical characterization for classes de.nable by second order existential formulas. The present note deals with topological properties of ultratopologies, like density and compactness.
    Direct download (4 more)  
    Export citation  
    Bookmark   2 citations