Order:
  1.  6
    The Wadge Order on the Scott Domain is Not a Well-Quasi-Order.Jacques Duparc & Louis Vuilleumier - 2020 - Journal of Symbolic Logic 85 (1):300-324.
    We prove that the Wadge order on the Borel subsets of the Scott domain is not a well-quasi-order, and that this feature even occurs among the sets of Borel rank at most 2. For this purpose, a specific class of countable 2-colored posets $\mathbb{P}_{emb} $ equipped with the order induced by homomorphisms is embedded into the Wadge order on the $\Delta _2^0 $-degrees of the Scott domain. We then show that $\mathbb{P}_{emb} $ admits both infinite strictly decreasing chains and infinite (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  8
    Some Remarks on Baire’s Grand Theorem.Riccardo Camerlo & Jacques Duparc - 2017 - Archive for Mathematical Logic 57 (3-4):195-201.
    We provide a game theoretical proof of the fact that if f is a function from a zero-dimensional Polish space to \ that has a point of continuity when restricted to any non-empty compact subset, then f is of Baire class 1. We use this property of the restrictions to compact sets to give a generalisation of Baire’s grand theorem for functions of any Baire class.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    The Wadge Hierarchy of Petri Nets Ω-Languages.Jean-Pierre Ressayre, Olivier Finkel & Jacques Duparc - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 109-138.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark