14 found
Sort by:
  1. Itay Ben-Yaacov (2006). On Supersimplicity and Lovely Pairs of Cats. Journal of Symbolic Logic 71 (3):763 - 776.
    We prove that the definition of supersimplicity in metric structures from [7] is equivalent to an a priori stronger variant. This stronger variant is then used to prove that if T is a supersimple Hausdorff cat then so is its theory of lovely pairs.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Itay Ben-Yaacov (2005). Compactness and Independence in Non First Order Frameworks. Bulletin of Symbolic Logic 11 (1):28-50.
    This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory deals transparently with hyperimaginaries, and accommodates various analytic structures which defy direct first order treatment. We describe the development of simplicity theory in this setting, and an application to the lovely pairs of models of simple theories without the weak non finite cover property.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. Itay Ben-Yaacov (2005). Uncountable Dense Categoricity in Cats. Journal of Symbolic Logic 70 (3):829 - 860.
    We prove that under reasonable assumptions, every cat (compact abstract theory) is metric, and develop some of the theory of metric cats. We generalise Morley's theorem: if a countable Hausdorff cat T has a unique complete model of density character Λ ≥ ω₁, then it has a unique complete model of density character Λ for every Λ ≥ ω₁.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Itay Ben-Yaacov (2004). Lovely Pairs of Models: The Non First Order Case. Journal of Symbolic Logic 69 (3):641-662.
    We prove that for every simple theory T (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\mathfrak{B}$ whose saturated models are the lovely pairs of T. Independence-theoretic results that were proved in [5] when $T^\mathfrak{B}$ is a first order theory are proved for the general case: in particular $T^\mathfrak{B}$ is simple and we characterise independence.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Itay Ben-Yaacov & Alexander Berenstein (2004). Imaginaries in Hilbert Spaces. Archive for Mathematical Logic 43 (4):459-466.
    We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Itay Ben-Yaacov, Ivan Tomašić & Frank O. Wagner (2004). Constructing an Almost Hyperdefinable Group. Journal of Mathematical Logic 4 (02):181-212.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Itay Ben-Yaacov & Frank O. Wagner (2004). On Almost Orthogonality in Simple Theories. Journal of Symbolic Logic 69 (2):398 - 408.
    1. We show that if p is a real type which is internal in a set $\sigma$ of partial types in a simple theory, then there is a type p' interbounded with p, which is finitely generated over $\sigma$ , and possesses a fundamental system of solutions relative to $\sigma$ . 2. If p is a possibly hyperimaginary Lascar strong type, almost \sigma-internal$ , but almost orthogonal to $\sigma^{\omega}$ , then there is a canonical non-trivial almost hyperdefinable polygroup which multi-acts (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Itay Ben-Yaacov (2003). Discouraging Results for Ultraimaginary Independence Theory. Journal of Symbolic Logic 68 (3):846-850.
    Dividing independence for ultraimaginaries is neither symmetric nor transitive. Moreover, any notion of independence satisfying certain axioms (weaker than those for independence in a simple theory) and defined for all ultraimaginary sorts, is necessarily trivial.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Itay Ben-Yaacov (2003). On the Fine Structure of the Polygroup Blow-Up. Archive for Mathematical Logic 42 (7):649-663.
    We study in detail the blow-up procedure described in [BTW01]. We obtain a structure theorem for coreless polygroups as a double quotient space G//H, and a polygroup chunk theorem. Seeking to remove the arbitrary parameter needed for the blow-up, we find canonical Ø-invariant groupoids.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Itay Ben-Yaacov (2003). Positive Model Theory and Compact Abstract Theories. Journal of Mathematical Logic 3 (01):85-118.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Itay Ben-Yaacov (2003). Simplicity in Compact Abstract Theories. Journal of Mathematical Logic 3 (02):163-191.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev (2003). Lovely Pairs of Models. Annals of Pure and Applied Logic 122 (1-3):235-261.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Itay Ben-Yaacov (2002). Group Configurations and Germs in Simple Theories. Journal of Symbolic Logic 67 (4):1581-1600.
    We develop the theory of germs of generic functions in simple theories. Starting with an algebraic quadrangle (or other similar hypotheses), we obtain an "almost" generic group chunk, where the product is denned up to a bounded number of possible values. This is the first step towards the proof of the group configuration theorem for simple theories, which is completed in [3].
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Itay Ben-Yaacov, Ivan Tomasic & Frank O. Wagner (2002). The Group Configuration in Simple Theories and its Applications. Bulletin of Symbolic Logic 8 (2):283-298.
    In recent work, the authors have established the group configuration theorem for simple theories, as well as some of its main applications from geometric stability theory, such as the binding group theorem, or in the $\omega$-categorical case, the characterization of the forking geometry of a finitely based non-trivial locally modular regular type as projective geometry over a finite field and the equivalence of pseudolinearity and local modularity. The proof necessitated an extension of the model-theoretic framework to include almost hyperimaginaries, and (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation