56 found
Order:
Disambiguations:
Bruno Poizat [58]Bruno Petrovich Poizat [1]
  1. 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Bruno Poizat (1982). Deux Ou Trois Choses Que Je Sais de Ln. Journal of Symbolic Logic 47 (3):641 - 658.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  3. Bruno Poizat (1983). Une Théorie de Galois Imaginaire. Journal of Symbolic Logic 48 (4):1151-1170.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  4.  21
    Daniel Lascar & Bruno Poizat (1979). An Introduction to Forking. Journal of Symbolic Logic 44 (3):330-350.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  5.  11
    Bruno Poizat (1983). Paires de Structures Stables. Journal of Symbolic Logic 48 (2):239-249.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  6.  2
    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  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  11
    Yerzhan Baisalov & Bruno Poizat (1998). Paires de Structures o-Minimales. Journal of Symbolic Logic 63 (2):570-578.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  8.  13
    Bruno Poizat (1978). Etude D'Un Forcing En Théorie des Modèles. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (19-24):347-356.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  16
    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 (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  14
    Bruno Poizat (1981). Théorie de Galois Pour Les Algèbres de Post Infinitaires. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (2-6):31-44.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  19
    Bruno Poizat (1983). Groupes Stables, Avec Types Génériques Réguliers. Journal of Symbolic Logic 48 (2):339-355.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  12.  8
    Elisabeth Bouscaren & Bruno Poizat (1988). Des Belles Paires aux Beaux Uples. Journal of Symbolic Logic 53 (2):434-442.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  13.  14
    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 (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  3
    Bruno Poizat (1981). Sous-Groupes Définissables d'Un Groupe Stable. Journal of Symbolic Logic 46 (1):137-146.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  15.  9
    Bruno Poizat (1981). Théories Instables. Journal of Symbolic Logic 46 (3):513-522.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  16.  4
    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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  10
    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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  6
    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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  10
    Anand Pillay & Bruno Poizat (1987). PAS d'Imaginaires Dans L'Infini! Journal of Symbolic Logic 52 (2):400-403.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  4
    Aleksandr Vasilievich Borovik & Bruno Petrovich Poizat (1990). Tores Et P-Groupes. Journal of Symbolic Logic 55 (2):478-491.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  7
    Bruno Poizat (1983). Post-Scriptum À "Théories Instables". Journal of Symbolic Logic 48 (1):60-62.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  12
    Ben Yaacov Itaï & Poizat Bruno (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)  
     
    Export citation  
     
    My bibliography  
  23.  1
    Bruno Poizat (1984). Deux Remarques À Propos de la Propriété de Recouvrement Fini. Journal of Symbolic Logic 49 (3):803-807.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  5
    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.
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  25.  14
    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)  
     
    Export citation  
     
    My bibliography  
  26.  6
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  13
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  28.  4
    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)  
     
    Export citation  
     
    My bibliography  
  29.  4
    Bruno Poizat (2010). Quelques Effets Pervers de la Positivité. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  9
    Bruno Poizat (2010). Groups of Small Cantor Rank. Journal of Symbolic Logic 75 (1):346-354.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  31.  8
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  32.  10
    Bruno Poizat (1988). Missionary Mathematics. Journal of Symbolic Logic 53 (1):132-145.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  33.  7
    Bruno Poizat (1986). L = N L? Journal of Symbolic Logic 51 (1):22-32.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  34.  2
    Bruno Poizat (2001). L'Egalite au Cube. Journal of Symbolic Logic 66 (4):1647-1676.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35.  4
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  36.  1
    Bruno Poizat (1978). Etude D'Un Forcing En Théorie des Modèles. Mathematical Logic Quarterly 24 (19‐24):347-356.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  37.  1
    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)  
     
    Export citation  
     
    My bibliography  
  38.  1
    Ruy de Queiroz, Bruno Poizat & Sergei Artemov (2005). Wollic’2002. Annals of Pure and Applied Logic 134 (1):1-4.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  4
    Bruno Poizat (1986). Attention À la Marche! Journal of Symbolic Logic 51 (3):570-585.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  40.  1
    Bruno Poizat (1987). Review: Saharon Shelah, Differential Closed Fields. [REVIEW] Journal of Symbolic Logic 52 (3):870-873.
  41.  3
    Bruno Poizat (1989). Generix Strikes Again. Journal of Symbolic Logic 54 (3):847-857.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    Anand Pillay & Bruno Poizat (1995). Bodies and Surgery. Journal of Symbolic Logic 60 (2):528-533.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  2
    Bruno Poizat (1986). À l'Ouest D'Éden. Journal of Symbolic Logic 51 (3):795-816.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  44. Itai Ben Yaacov & Bruno Poizat (2007). Foundations of Positive Logic. Journal of Symbolic Logic 72 (4):1141-1162.
     
    Export citation  
     
    My bibliography  
  45. James Loveys & Bruno Poizat (1989). Groupes Stables. Une Tentative de Conciliation Entre la Geometrie Algebrique Et la Logique Mathematique. Journal of Symbolic Logic 54 (4):1494.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. Tolende G. Mustafin & Bruno Poizat (1995). Polygones. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  47. Bruno Poizat (1986). A L'Ouest D'Eden. Journal of Symbolic Logic 51 (3):795-816.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Bruno Poizat (2013). Generic Centralization. Journal of Symbolic Logic 78 (1):290-306.
     
    Export citation  
     
    My bibliography  
  49. Bruno Poizat (2008). In Search of a Definition of Space Complexity for Valiant Polynomial Calculation. Journal of Symbolic Logic 73 (4):1179-1201.
     
    Export citation  
     
    My bibliography  
  50. Bruno Poizat (1988). MM. Borel, Tits, Zil′Ber Et le Général Nonsense. Journal of Symbolic Logic 53 (1):124-131.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 56