Order:
Disambiguations
Maurice Pouzet [6]Marc Pouzet [2]M. Pouzet [2]
  1.  10
    Application de la Notion de Relation Presque‐Enchainable au Denombrement des Restrictions Finies D'une Relation.Maurice Pouzet - 1981 - Mathematical Logic Quarterly 27 (19‐21):289-332.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  23
    Application de la Notion de Relation Presque‐Enchainable au Denombrement des Restrictions Finies D'une Relation.Maurice Pouzet - 1981 - Mathematical Logic Quarterly 27 (19-21):289-332.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  12
    Equimorphy: the case of chains.C. Laflamme, M. Pouzet & R. Woodrow - 2017 - Archive for Mathematical Logic 56 (7-8):811-829.
    Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we provide structure results for chains having less than continuum many isomorphism classes of equimorphic chains. We deduce as a corollary that any chain has either a single isomorphism class of equimorphic chains or infinitely many.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  45
    Countable structures of given age.H. D. Macpherson, M. Pouzet & R. E. Woodrow - 1992 - Journal of Symbolic Logic 57 (3):992-1010.
    Let L be a finite relational language. The age of a structure M over L is the set of isomorphism types of finite substructures of M. We classify those ages U for which there are less than 2ω countably infinite pairwise nonisomorphic L-structures of age U.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Systèmes Temps-réel: Techniques de Description et de Vérification–Théorie et Outils, volume 1, chapter Lucid Synchrone, un langage de programmation des systèmes réactifs.Paul Caspi, Grégoire Hamon & Marc Pouzet - forthcoming - Hermes.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  19
    The length of an intersection.Christian Delhommé & Maurice Pouzet - 2017 - Mathematical Logic Quarterly 63 (3-4):243-255.
    A poset is well‐partially ordered (WPO) if all its linear extensions are well orders; the supremum of ordered types of these linear extensions is the length, of p. We prove that if the vertex set X is infinite, of cardinality κ, and the ordering ⩽ is the intersection of finitely many well partial orderings of X,, then, letting, with, denote the euclidian division by κ (seen as an initial ordinal) of the length of each corresponding poset: where denotes the least (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    Relation Minimale Pour Son Ǎge.Maurice Pouzet - 1979 - Mathematical Logic Quarterly 25 (19‐24):315-344.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  26
    Relation Minimale Pour Son??ge.Maurice Pouzet - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):315-344.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  3
    Sandwiches of ages.Maurice Pouzet & Mohamed Sobrani - 2001 - Annals of Pure and Applied Logic 108 (1-3):295-326.
    The age of a relational structure R is the set A of finite restrictions of R considered up to isomorphism. R. Fraı̈ssé, who introduced this notion, showed that ages coincide with nonempty ideals of the poset consisting of finite relational structures, considered up to isomorphism and ordered by embeddability. Here, given two ages A ⊆ B , we study the poset D consisting of ages C in sandwich between A and B . Among other things we show that if D (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Systèmes temps réel 1: techniques de description et de vérification, volume 1, chapitre Lucid Synchrone, un langage de programmation des systèmes réactifs. [REVIEW]Paul Caspi, Grégoire Hamon & Marc Pouzet - forthcoming - Hermes.
     
    Export citation  
     
    Bookmark