41 found
Order:
Disambiguations
Bruno Poizat [55]Bruno Petrovich Poizat [1]
  1.  42
    Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.
    This paper is a general introduction to Positive Logic, where only what we call h-inductive sentences are under consideration, allowing the extension to homomorphisms of model-theoric notions which are classically associated to embeddings; in particular, the existentially closed models, that were primitively defined by Abraham Robinson, become here positively closed models. It accounts for recent results in this domain, and is oriented towards the positivisation of Jonsson theories.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  57
    (1 other version)An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
  3.  80
    Paires de structures Stables.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):239-249.
  4. Une théorie de galois imaginaire.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (4):1151-1170.
  5.  57
    (1 other version)Paires de structures o-minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.
  6. Deux ou trois choses que je sais de ln.Bruno Poizat - 1982 - Journal of Symbolic Logic 47 (3):641 - 658.
  7.  48
    Groupes Stables, avec types génériques réguliers.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):339-355.
  8.  40
    Des belles paires aux beaux uples.Elisabeth Bouscaren & Bruno Poizat - 1988 - Journal of Symbolic Logic 53 (2):434-442.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9.  52
    PAS d'imaginaires dans l'infini!Anand Pillay & Bruno Poizat - 1987 - Journal of Symbolic Logic 52 (2):400-403.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  10.  29
    Univers positifs.Bruno Poizat - 2006 - Journal of Symbolic Logic 71 (3):969 - 976.
    We define elementary extension and elementary equivalence in Positive Logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11.  35
    Sous-groupes définissables d'un groupe stable.Bruno Poizat - 1981 - Journal of Symbolic Logic 46 (1):137-146.
  12.  50
    Théories instables.Bruno Poizat - 1981 - Journal of Symbolic Logic 46 (3):513-522.
  13.  32
    (1 other version)Quelques effets pervers de la positivité.Bruno Poizat - 2010 - Annals of Pure and Applied Logic 161 (6):812-816.
    La Logique positive a été introduite au début de ce troisième millénaire par Itaï Ben Yaacov, qui y a été conduit par une nécessité interne à la Théorie des modèles. Dans ce contexte de validité du Théorème de compacité, l’absence de négation provoque des situations inhabituelles, comme celle des structures infinies qui ont une extension élémentaire maximale, que nous étudions ici.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  25
    Groupes Stables. Une Tentative de Conciliation Entre la Geometrie Algebrique et la Logique Mathematique.James Loveys & Bruno Poizat - 1989 - Journal of Symbolic Logic 54 (4):1494.
  15.  43
    Tores et p-groupes.Aleksandr Vasilievich Borovik & Bruno Petrovich Poizat - 1990 - Journal of Symbolic Logic 55 (2):478-491.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Liftez Les sylows! Une suite à "sous-groupes périodiques d'un groupe stable".Bruno Poizat & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):703-704.
    If G is an omega-stable group with a normal definable subgroup H, then the Sylow-2-subgroups of G/H are the images of the Sylow-2-subgroups of G. /// Sei G eine omega-stabile Gruppe und H ein definierbarer Normalteiler von G. Dann sind die Sylow-2-Untergruppen von G/H Bilder der Sylow-2-Untergruppen von G.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  31
    Deux remarques à propos de la propriété de recouvrement fini.Bruno Poizat - 1984 - Journal of Symbolic Logic 49 (3):803-807.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  50
    Le Carre de l'egalite.Bruno Poizat - 1999 - Journal of Symbolic Logic 64 (3):1339-1355.
    Ni konstruas korpojn de Morleja ranko du, kiuj estas ricevitaj per memsuficanta amalgameco de korpoj kun unara predikato, lau la Hrushovkija maniero.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  38
    (1 other version)L = N l?Bruno Poizat - 1986 - Journal of Symbolic Logic 51 (1):22-32.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  42
    An arithmetical view to first-order logic.Seyed Mohammad Bagheri, Bruno Poizat & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):745-755.
    A value space is a topological algebra equipped with a non-empty family of continuous quantifiers . We will describe first-order logic on the basis of . Operations of are used as connectives and its relations are used to define statements. We prove under some normality conditions on the value space that any theory in the new setting can be represented by a classical first-order theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21. Foundations of positive logic.Itai Ben Yaacov & Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
  22.  61
    (1 other version)La limite Des theories de courbes generiques.Olivier Chapuis, Ehud Hrushovski, Pascal Koiran & Bruno Poizat - 2002 - Journal of Symbolic Logic 67 (1):24-34.
    Ne estas prima orda formulo, kiu definas la Zariskijajn slositojn inter la konstruitoj, malpli ke la konektojn inter la slositoj.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  17
    Polygones.Tolende G. Mustafin & Bruno Poizat - 1995 - Mathematical Logic Quarterly 41 (1):93-110.
    We study the class of structures formed by all the polygons over a given monoid, which is equivalent to the study of the varieties in a language containing only unary functions. We collect and amplify previous results concerning their stability and superstability. Then we characterize the regular monoids for which all these polygons are ω-stable; the question about the existence of a non regular monoid with this property is left open.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  6
    (1 other version)Bodies and surgery.Anand Pillay & Bruno Poizat - 1995 - Journal of Symbolic Logic 60 (2):528-533.
  25.  44
    Attention à la marche!Bruno Poizat - 1986 - Journal of Symbolic Logic 51 (3):570-585.
  26.  11
    (1 other version)A L'Ouest D'Eden.Bruno Poizat - 1986 - Journal of Symbolic Logic 51 (3):795-816.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  39
    (1 other version)A la recherche de la definition de la complexite d'espace pour le calcul des polynomes a la maniere de Valiant.Bruno Poizat - 2008 - Journal of Symbolic Logic 73 (4):1179-1201.
    Nous définissons une classe de suites de polynômes, calculés par des circuits de complexité polynomiale comprenant des additions, des soustractions, des multiplications et des sommations de Valiant. Nous montrons que cette classe est close pour la prise de la fonction-coefficient, définie au paragraphe 3 de cet article: nous en déduisons l'existence d'un circuit de complexité 72.n2, calculant le coefficient binomial de deux nombres de n chiffres, donnés en base 2. Il est par ailleurs facile de construire un circuit de complexité (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  28.  34
    Centralisateurs génériques.Bruno Poizat - 2013 - Journal of Symbolic Logic 78 (1):290-306.
    We comment on an early and inspiring remark of an Omskian mathematician concerning the Cherlin—Zilber Conjecture, meeting in passing some well-known properties of algebraic groups whose generalization to arbitrary groups of finite Morley rank seems to be very uncertain. This paper assumes a familiarity with the model theoretic tools involved in the study of the groups of finite Morley rank.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  29.  29
    Etude D'Un Forcing en Théorie des Modèles.Bruno Poizat - 1978 - Mathematical Logic Quarterly 24 (19-24):347-356.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  41
    Groups of small Cantor rank.Bruno Poizat - 2010 - Journal of Symbolic Logic 75 (1):346-354.
  31.  45
    Generix strikes again.Bruno Poizat - 1989 - Journal of Symbolic Logic 54 (3):847-857.
  32.  11
    MM. Borel, Tits, Zil′ber et le Général Nonsense.Bruno Poizat - 1988 - Journal of Symbolic Logic 53 (1):124-131.
  33.  41
    Missionary mathematics.Bruno Poizat - 1988 - Journal of Symbolic Logic 53 (1):132-145.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  34.  17
    (1 other version)Post-Scriptum $grave{A}$"Th$acute{e}$ories Instables".Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (1):60-62.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. (1 other version)Periodic subgroups of a stable group.Bruno Poizat & F. Wagner - 1993 - Journal of Symbolic Logic 58 (2):385-400.
  36.  9
    Symétries Et Transvexions, Principalement Dans Les Groupes de Rang de Morley Fini Sans Involutions.Bruno Poizat - 2021 - Journal of Symbolic Logic 86 (3):965-990.
    The role played by the symmetric structure of a group of finite Morley rank without involutions in the proof by contradiction of Frécon 2018 was put in evidence in Poizat 2018; indeed, this proof consists in the construction of a symmetric space of dimension two (“a plane”), and then in showing that such a plane cannot exist.To a definable symmetric subset of such a group are associated symmetries and transvections, that we undertake here to study in the abstract, without mentioning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  29
    Théorie de Galois Pour Les Algèbres de Post Infinitaires.Bruno Poizat - 1981 - Mathematical Logic Quarterly 27 (2-6):31-44.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  32
    Wollic’2002.Ruy de Queiroz, Bruno Poizat & Sergei Artemov - 2005 - Annals of Pure and Applied Logic 134 (1):1-4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  24
    (1 other version)Quelques Modestes Remarques a Propos D'une Consequence Inattendue D'un Resultat Surprenant de Monsieur Frank Olaf Wagner.Bruno Poizat - 2001 - Journal of Symbolic Logic 66 (4):1637-1646.
    Soit K un corps de rang de Morley fini; s'il est de caractéristique p non nulle, tout sous-groupe simple définissable de GLn(K) est définissablement isomorphe à un groupe algébrique sur K; en toute caractéristique, tout sous-groupe définissable de GLn(K) est résoluble par fini, ou bien contient SL2(K).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  11
    (1 other version)Review: Saharon Shelah, Differential Closed Fields. [REVIEW]Bruno Poizat - 1987 - Journal of Symbolic Logic 52 (3):870-873.
  41.  9
    (1 other version)Review: Saharon Shelah, The Number of Non-Isomorphic Models of an Unstable First-Order Theory. [REVIEW]Bruno Poizat - 1982 - Journal of Symbolic Logic 47 (2):436-438.