Order:
  1.  6
    Contributions to the Theory of Semisets II. The theory of semisets and end‐extensions in a syntactic setting.Josef Mlček & Antonín Sochor - 1972 - Mathematical Logic Quarterly 18 (25‐30):407-417.
  2.  21
    Contributions to the Theory of Semisets II. The theory of semisets and end-extensions in a syntactic setting.Josef Mlček & Antonín Sochor - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):407-417.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  32
    Some Ramsey-type theorems for countably determined sets.Josef Mlček & Pavol Zlatoš - 2002 - Archive for Mathematical Logic 41 (7):619-630.
    Let X be an infinite internal set in an ω1-saturated nonstandard universe. Then for any coloring of [X] k , such that the equivalence E of having the same color is countably determined and there is no infinite internal subset of [X] k with all its elements of different colors (i.e., E is condensating on X), there exists an infinite internal set Z⊆X such that all the sets in [Z] k have the same color. This Ramsey-type result is obtained as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark