56 found
Order:
Disambiguations
Bruno Poizat [65]Bruno Petrovich Poizat [1]
  1.  7
    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   1 citation  
  2. Deux Ou Trois Choses Que Je Sais de Ln.Bruno Poizat - 1982 - Journal of Symbolic Logic 47 (3):641 - 658.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  29
    Paires de Structures Stables.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):239-249.
  4.  27
    An Introduction to Forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
  5. Une Théorie de Galois Imaginaire.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (4):1151-1170.
  6. 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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  27
    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, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  26
    Paires de Structures o-Minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  25
    Fondements de la Logique Positive.Ben Yaacov Itaï & Poizat Bruno - 2007 - 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  
     
    Bookmark   3 citations  
  10.  26
    Groupes Stables, Avec Types Génériques Réguliers.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):339-355.
  11.  7
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  19
    Des Belles Paires aux Beaux Uples.Elisabeth Bouscaren & Bruno Poizat - 1988 - Journal of Symbolic Logic 53 (2):434-442.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  9
    Sous-Groupes Définissables d'Un Groupe Stable.Bruno Poizat - 1981 - Journal of Symbolic Logic 46 (1):137-146.
  14.  25
    Théories Instables.Bruno Poizat - 1981 - Journal of Symbolic Logic 46 (3):513-522.
  15.  19
    L'égalité au Cube.Bruno Poizat - 2001 - 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  
     
    Bookmark   2 citations  
  16.  9
    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   1 citation  
  17.  13
    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 (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  47
    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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  13
    Sous-Groupes Periodiques d'Un Groupe Stable.Bruno Poizat & Frank Wagner - 1993 - 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  
     
    Bookmark   2 citations  
  20.  27
    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   1 citation  
  21.  19
    Théorie de Galois Pour Les Algèbres de Post Infinitaires.Bruno Poizat - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (2-6):31-44.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  17
    Etude D'Un Forcing En Théorie des Modèles.Bruno Poizat - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (19-24):347-356.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  8
    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   1 citation  
  24.  15
    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   1 citation  
  25.  10
    Post-Scriptum À "Théories Instables".Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (1):60-62.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  24
    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  
  27.  11
    Wollic’2002.Ruy de Queiroz, Bruno Poizat & Sergei Artemov - 2005 - Annals of Pure and Applied Logic 134 (1):1-4.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  12
    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  
  29.  25
    MM. Borel, Tits, Zil'ber Et le Général Nonsense.Bruno Poizat - 1988 - Journal of Symbolic Logic 53 (1):124-131.
  30.  21
    L = N L?Bruno Poizat - 1986 - Journal of Symbolic Logic 51 (1):22-32.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  5
    Shelah Saharon. Differentially Closed Fields. Israel Journal of Mathematics, T. 16 , P. 314–328.Bruno Poizat - 1987 - Journal of Symbolic Logic 52 (3):870-873.
  32.  12
    Quelques Modestes Remarques a Propos d'Une Conséquence Inattendue d'Un Résultat 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  
  33.  4
    Shelah Saharon. The Number of Non-Isomorphic Models of an Unstable First-Order Theory. Israel Journal of Mathematics, T. 9 , P. 473–487. [REVIEW]Bruno Poizat - 1982 - Journal of Symbolic Logic 47 (2):436-438.
  34.  13
    Missionary Mathematics.Bruno Poizat - 1988 - Journal of Symbolic Logic 53 (1):132-145.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  35.  7
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  9
    Groups of Small Cantor Rank.Bruno Poizat - 2010 - Journal of Symbolic Logic 75 (1):346-354.
  37.  3
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    Théorie de Galois Pour Les Algèbres de Post Infinitaires.Bruno Poizat - 1981 - Mathematical Logic Quarterly 27 (2‐6):31-44.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  7
    Attention À la Marche!Bruno Poizat - 1986 - Journal of Symbolic Logic 51 (3):570-585.
  40.  3
    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.
  41.  5
    À l'Ouest D'Éden.Bruno Poizat - 1986 - Journal of Symbolic Logic 51 (3):795-816.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42.  3
    L'Egalite au Cube.Bruno Poizat - 2001 - Journal of Symbolic Logic 66 (4):1647-1676.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  2
    Etude D'Un Forcing En Théorie des Modèles.Bruno Poizat - 1978 - Mathematical Logic Quarterly 24 (19‐24):347-356.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  4
    Generix Strikes Again.Bruno Poizat - 1989 - Journal of Symbolic Logic 54 (3):847-857.
  45.  1
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  1
    Post-Scriptum $Grave{A}$"Th$Acute{E}$Ories Instables".Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (1):60-62.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  1
    Review: Saharon Shelah, Differential Closed Fields. [REVIEW]Bruno Poizat - 1987 - Journal of Symbolic Logic 52 (3):870-873.
  48.  1
    Bodies and Surgery.Anand Pillay & Bruno Poizat - 1995 - Journal of Symbolic Logic 60 (2):528-533.
  49. Foundations of Positive Logic.Itai Ben Yaacov & Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
  50. A L'Ouest D'Eden.Bruno Poizat - 1986 - Journal of Symbolic Logic 51 (3):795-816.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 56