13 found
Sort by:
  1. Pantelis Eleftheriou, Ya'acov Peterzil & Janak Ramakrishnan (forthcoming). Interpretable Groups Are Definable. Journal of Mathematical Logic:140318013417000.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Ya'acov Peterzil (2009). Returning to Semi-Bounded Sets. Journal of Symbolic Logic 74 (2):597-617.
    An o-minimal expansion of an ordered group is called semi-bounded if there is no definable bijection between a bounded and an unbounded interval in it (equivalently, it is an expansion of the group by bounded predicates and group automorphisms). It is shown that every such structure has an elementary extension.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Ehud Hrushovski & Ya'acov Peterzil (2007). A Question of Van Den Dries and a Theorem of Lipshitz and Robinson; Not Everything Is Standard. Journal of Symbolic Logic 72 (1):119 - 122.
    We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Alf Onshuus & Ya'acov Peterzil (2007). A Note on Stable Sets, Groups, and Theories with NIP. Mathematical Logic Quarterly 53 (3):295-300.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Alon Altman, Ya'Acov Peterzil & Yoad Winter (2005). Scope Dominance with Upward Monotone Quantifiers. Journal of Logic, Language and Information 14 (4):445-455.
    We give a complete characterization of the class of upward monotone generalized quantifiers Q1 and Q2 over countable domains that satisfy the scheme Q1 x Q2 y φ → Q2 y Q1 x φ. This generalizes the characterization of such quantifiers over finite domains, according to which the scheme holds iff Q1 is ∃ or Q2 is ∀ (excluding trivial cases). Our result shows that in infinite domains, there are more general types of quantifiers that support these entailments.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Ya'acov Peterzil & Sergei Starchenko (2003). Expansions of Algebraically Closed Fields II: Functions of Several Variables. Journal of Mathematical Logic 3 (01):1-35.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Oleg Belegradek, Ya'Acov Peterzil & Frank Wagner (2000). Quasi-o-Minimal Structures. Journal of Symbolic Logic 65 (3):1115-1132.
    A structure (M, $ ,...) is called quasi-o-minimal if in any structure elementarily equivalent to it the definable subsets are exactly the Boolean combinations of 0-definable subsets and intervals. We give a series of natural examples of quasi-o-minimal structures which are not o-minimal; one of them is the ordered group of integers. We develop a technique to investigate quasi-o-minimality and use it to study quasi-o-minimal ordered groups (possibly with extra structure). Main results: any quasi-o-minimal ordered group is abelian; any quasi-o-minimal (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Ya'acov Peterzil & Sergei Starchenko (1999). Definable Homomorphisms of Abelian Groups in o-Minimal Structures. Annals of Pure and Applied Logic 101 (1):1-27.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Ya'Acov Peterzil & Sergei Starchenko (1996). Geometry, Calculus and Zil'ber's Conjecture. Bulletin of Symbolic Logic 2 (1):72-83.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Ya'acov Peterzil (1993). Reducts of Some Structures Over the Reals. Journal of Symbolic Logic 58 (3):955-966.
    We consider reducts of the structure $\mathscr{R} = \langle\mathbb{R}, +, \cdot, <\rangle$ and other real closed fields. We compete the proof that there exists a unique reduct between $\langle\mathbb{R}, +, <, \lambda_a\rangle_{a\in\mathbb{R}}$ and R, and we demonstrate how to recover the definition of multiplication in more general contexts than the semialgebraic one. We then conclude a similar result for reducts between $\langle\mathbb{R}, \cdot, <\rangle$ and R and for general real closed fields.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Ya'acov Peterzil (1993). Zilber's Conjecture for Some o-Minimal Structures Over the Reals. Annals of Pure and Applied Logic 61 (3):223-239.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. David Marker, Ya'Acov Peterzil & Anand Pillay (1992). Additive Reducts of Real Closed Fields. Journal of Symbolic Logic 57 (1):109-117.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Ya'acov Peterzil (1992). A Structure Theorem for Semibounded Sets in the Reals. Journal of Symbolic Logic 57 (3):779-794.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation