Switch to: References

Add citations

You must login to add citations.
  1. Groupes Fins.Cédric Milliet - 2014 - Journal of Symbolic Logic 79 (4):1120-1132.
    We investigate some common points between stable structures and weakly small structures and define a structureMto befineif the Cantor-Bendixson rank of the topological space${S_\varphi }\left} \right)$is an ordinal for every finite subsetAofMand every formula$\varphi \left$wherexis of arity 1. By definition, a theory isfineif all its models are so. Stable theories and small theories are fine, and weakly minimal structures are fine. For any finite subsetAof a fine groupG, the traces on the algebraic closure$acl\left$ofAof definable subgroups ofGover$acl\left$which are boolean combinations of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Fields with few types.Cédric Milliet - 2013 - Journal of Symbolic Logic 78 (1):72-84.
    According to Belegradek, a first order structure is weakly small if there are countably many $1$-types over any of its finite subset. We show the following results. A field extension of finite degree of an infinite weakly small field has no Artin-Schreier extension. A weakly small field of characteristic $2$ is finite or algebraically closed. A weakly small division ring of positive characteristic is locally finite dimensional over its centre. A weakly small division ring of characteristic $2$ is a field.
    Download  
     
    Export citation  
     
    Bookmark  
  • On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
    We observe simple links between equivalence relations, groups, fields and groupoids (and between preorders, semi-groups, rings and categories), which are type-definable in an arbitrary structure, and apply these observations to the particular context of small and simple structures. Recall that a structure is small if it has countably many n-types with no parameters for each natural number n. We show that a θ-type-definable group in a small structure is the conjunction of definable groups, and extend the result to semi-groups, fields, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation