51 found
Sort by:
Disambiguations:
Bruno Poizat [51]Bruno Petrovich Poizat [1]
  1. Victor Harnik, Terrence S. Millar, Michael L. Wage, Saharon Shelah, Helmut Schwichtenberg, Daniel Lascar, Bruno Poizat, Warren D. Goldfarb, On Carnap & Hugues Leblanc (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 309 (318).
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Bruno Poizat (2013). Centralisateurs Génériques. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Bruno Poizat (2013). Generic Centralization. Journal of Symbolic Logic 78 (1):290-306.
     
    My bibliography  
     
    Export citation  
  4. Seyed Mohammad Bagheri, Bruno Poizat & Massoud Pourmahdian (2010). An Arithmetical View to First-Order Logic. Annals of Pure and Applied Logic 161 (6):745-755.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Bruno Poizat (2010). Groups of Small Cantor Rank. Journal of Symbolic Logic 75 (1):346-354.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Bruno Poizat (2010). Quelques Effets Pervers de la Positivité. Annals of Pure and Applied Logic 161 (6):812-816.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Bruno Poizat (2010). Several Perverse of Positivity. Annals of Pure and Applied Logic 161 (6):812-816.
     
    My bibliography  
     
    Export citation  
  8. Bruno Poizat (2008). A la Recherche de la Definition de la Complexite d'Espace Pour le Calcul des Polynomes a la Maniere de Valiant. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Bruno Poizat (2008). In Search of a Definition of Space Complexity for Valiant Polynomial Calculation. Journal of Symbolic Logic 73 (4):1179-1201.
     
    My bibliography  
     
    Export citation  
  10. Itaï Ben Yaacov & Bruno Poizat (2007). Fondements de la Logique Positive. Journal of Symbolic Logic 72 (4):1141-1162.
    We revisit the foundations of positive model theory, introducing h-inductive sentences. These allow a considerably simplified presentation of positive model theory, as well as a characterisation of Hausdorff cats by an amalgamation property of their h-inductive theory.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Itai Ben Yaacov & Bruno Poizat (2007). Foundations of Positive Logic. Journal of Symbolic Logic 72 (4):1141-1162.
     
    My bibliography  
     
    Export citation  
  12. Bruno Poizat (2006). Univers Positifs. Journal of Symbolic Logic 71 (3):969 - 976.
    We define elementary extension and elementary equivalence in Positive Logic.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Ruy de Queiroz, Bruno Poizat & Sergei Artemov (2005). Wollic'2002. Annals of Pure and Applied Logic 134 (1):1-4.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Olivier Chapuis, Ehud Hrushovski, Pascal Koiran & Bruno Poizat (2002). La Limite Des Theories de Courbes Generiques. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Bruno Poizat (2001). L'égalité au Cube. Journal of Symbolic Logic 66 (4):1647-1676.
    Ni konstruas nun malbonajn korpojn, kun malfinita Morleya ranko, kiuj estas ricevitaj per memsuficanta amalgameco de korpoj kun unara predikato nomanta sumigan au obligan subgrupon, ciam lau la Hrushovskija maniero. Al uzado de ciuj kiuj la anglujon malkonprenas, tiel tradukigas la supera citajo : "Estas prava ke tiu ci kiu kun la sago interrilatigas, la sagecon rikoltas". Gustatempe, la autoro varmege dankas ciujn kiuj la korektan citajon sendis al li, speciale la unuan respondinton : David KUEKER.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Bruno Poizat (2001). L'Egalite au Cube. Journal of Symbolic Logic 66 (4):1647-1676.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Bruno Poizat (2001). Quelques Modestes Remarques a Propos d'Une Conséquence Inattendue d'Un Résultat Surprenant de Monsieur Frank Olaf Wagner. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  18. Bruno Poizat & Frank O. Wagner (2000). Liftez Les Sylows! Une Suite À "Sous-Groupes Périodiques d'Un Groupe Stable". 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Bruno Poizat (1999). Le Carre de L'Egalite. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Yerzhan Baisalov & Bruno Poizat (1998). Paires de Structures o-Minimales. Journal of Symbolic Logic 63 (2):570-578.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21. Tolende G. Mustafin & Bruno Poizat (1995). Polygones. Mathematical Logic Quarterly 41 (1):93-110.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Anand Pillay & Bruno Poizat (1995). Bodies and Surgery. Journal of Symbolic Logic 60 (2):528-533.
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Anand Pillay & Bruno Poizat (1995). Corps Et Chirurgie. 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, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  24. Bruno Poizat & F. Wagner (1993). Periodic Subgroups of a Stable Group. Journal of Symbolic Logic 58 (2):385-400.
     
    My bibliography  
     
    Export citation  
  25. Bruno Poizat & Frank Wagner (1993). Sous-Groupes Periodiques d'Un Groupe Stable. Journal of Symbolic Logic 58 (2):385-400.
    We develop a Sylow theory for stable groups satisfying certain additional conditions (2-finiteness, solvability or smallness) and show that their maximal p-subgroups are locally finite and conjugate. Furthermore, we generalize a theorem of Baer-Suzuki on subgroups generated by a conjugacy class of p-elements.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Aleksandr Vasilievich Borovik & Bruno Petrovich Poizat (1990). Tores Et P-Groupes. Journal of Symbolic Logic 55 (2):478-491.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Bruno Poizat (1989). Generix Strikes Again. Journal of Symbolic Logic 54 (3):847-857.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. Elisabeth Bouscaren & Bruno Poizat (1988). Des Belles Paires aux Beaux Uples. Journal of Symbolic Logic 53 (2):434-442.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. Bruno Poizat (1988). MM. Borel, Tits, Zil'ber Et le Général Nonsense. Journal of Symbolic Logic 53 (1):124-131.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Bruno Poizat (1988). Missionary Mathematics. Journal of Symbolic Logic 53 (1):132-145.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Anand Pillay & Bruno Poizat (1987). PAS d'Imaginaires Dans L'Infini! Journal of Symbolic Logic 52 (2):400-403.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Bruno Poizat (1987). Review: Saharon Shelah, Differential Closed Fields. [REVIEW] Journal of Symbolic Logic 52 (3):870-873.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Bruno Poizat (1986). Attention À la Marche! Journal of Symbolic Logic 51 (3):570-585.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  34. Bruno Poizat (1986). A L'Ouest D'Eden. Journal of Symbolic Logic 51 (3):795-816.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Bruno Poizat (1986). À l'Ouest D'Éden. Journal of Symbolic Logic 51 (3):795-816.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. Bruno Poizat (1986). L = N L? Journal of Symbolic Logic 51 (1):22-32.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Bruno Poizat (1986). $Mathscr{L} = Mathscr{N} Mathscr{L}$? Journal of Symbolic Logic 51 (1):22-32.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Bruno Poizat (1984). Deux Remarques À Propos de la Propriété de Recouvrement Fini. Journal of Symbolic Logic 49 (3):803-807.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Bruno Poizat (1983). Groupes Stables, Avec Types Génériques Réguliers. Journal of Symbolic Logic 48 (2):339-355.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Bruno Poizat (1983). Paires de Structures Stables. Journal of Symbolic Logic 48 (2):239-249.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. Bruno Poizat (1983). Post-Scriptum $Grave{A}$"Th$Acute{E}$Ories Instables". Journal of Symbolic Logic 48 (1):60-62.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Bruno Poizat (1983). Post-Scriptum À "Théories Instables". Journal of Symbolic Logic 48 (1):60-62.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. Bruno Poizat (1983). Une Théorie de Galois Imaginaire. Journal of Symbolic Logic 48 (4):1151-1170.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. Bruno Poizat (1982). Deux Ou Trois Choses Que Je Sais de Ln. Journal of Symbolic Logic 47 (3):641 - 658.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Bruno Poizat (1982). Review: Saharon Shelah, The Number of Non-Isomorphic Models of an Unstable First-Order Theory. [REVIEW] Journal of Symbolic Logic 47 (2):436-438.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Bruno Poizat (1981). Sous-Groupes Définissables d'Un Groupe Stable. Journal of Symbolic Logic 46 (1):137-146.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Bruno Poizat (1981). Théorie de Galois Pour Les Algèbres de Post Infinitaires. Mathematical Logic Quarterly 27 (2‐6):31-44.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Bruno Poizat (1981). Théories Instables. Journal of Symbolic Logic 46 (3):513-522.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  49. Daniel Lascar & Bruno Poizat (1979). An Introduction to Forking. Journal of Symbolic Logic 44 (3):330-350.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 51