Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Corps et chirurgie.Anand Pillay & Bruno Poizat - 1995 - Journal of Symbolic Logic 60 (2):528-533.
    Les corps algébriquement clos, réels clos et pseudo-finis n'ont, pour chaque entier n, qu'un nombre fini d'extensions de degré n; nous montrons qu'ils partagent cette propriété avec tous les corps qui, comme eux, satisfont une propriété très rudimentaire de préservation de la dimension, de nature modèle-théorique. Ce résultat est atteint en montrant qu'une certaine action du groupe GLn d'un tel corps n'a qu'un nombre fini d'orbites. /// La korpoj algebre fermataj, reale fermataj kaj pseudofinataj ne havas, pri ciu integro n, (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Superstable fields and groups.G. Cherlin - 1980 - Annals of Mathematical Logic 18 (3):227.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Chain conditions in dependent groups.Itay Kaplan & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (12):1322-1337.
    In this note we prove and disprove some chain conditions in type definable and definable groups in dependent, strongly dependent and strongly2 dependent theories.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Superrosy fields and valuations.Krzysztof Krupiński - 2015 - Annals of Pure and Applied Logic 166 (3):342-357.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The canonical topology on dp-minimal fields.Will Johnson - 2018 - Journal of Mathematical Logic 18 (2):1850007.
    We construct a nontrivial definable type V field topology on any dp-minimal field K that is not strongly minimal, and prove that definable subsets of Kn have small boundary. Using this topology and...
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Uniformly defining p-henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Annals of Pure and Applied Logic 166 (7-8):741-754.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Definable Henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Journal of Symbolic Logic 80 (1):85-99.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Superrosy dependent groups having finitely satisfiable generics.Clifton Ealy, Krzysztof Krupiński & Anand Pillay - 2008 - Annals of Pure and Applied Logic 151 (1):1-21.
    We develop a basic theory of rosy groups and we study groups of small Uþ-rank satisfying NIP and having finitely satisfiable generics: Uþ-rank 1 implies that the group is abelian-by-finite, Uþ-rank 2 implies that the group is solvable-by-finite, Uþ-rank 2, and not being nilpotent-by-finite implies the existence of an interpretable algebraically closed field.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
    We initiate a systematic study of the class of theories without the tree property of the second kind — NTP2. Most importantly, we show: the burden is “sub-multiplicative” in arbitrary theories ; NTP2 is equivalent to the generalized Kimʼs lemma and to the boundedness of ist-weight; the dp-rank of a type in an arbitrary theory is witnessed by mutually indiscernible sequences of realizations of the type, after adding some parameters — so the dp-rank of a 1-type in any theory is (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations