Abstract. We show that the quasi-order of continuous embeddability between Þnitely branching den-drites (a natural class of fairly simple compacta) is ¶11-complete. We also show that embeddability between countable linear orders with inÞnitely many colors is ¶11-complete. x1. Introduction. In [LR02] Louveau and Rosendal initiated the study of the complexity of ¶11 (i.e., analytic) quasi-orders on Polish (i.e., separable and com-pletely metrizable) spaces. This study yields results about the complexity of the equivalence relation induced by the quasi-order and thus contributes to the on-going study of analytic equivalence relations. The equivalence relations obtaine
We define \emph{order locality} to be a property of clauses relative to a term ordering. This proper...
We define order locality to be a property of clauses relative to a term ordering. This property is a...
Represented spaces are the spaces on which computations can be performed. We investigate the descrip...
We show that the quasi-order of continuous embeddability between finitely branching dendrites (a nat...
We investigate the relation of countable closed linear orderings with respect to continuous monotone...
Abstract. We show that if κ is a weakly compact cardinal then the embed-dability relation on (genera...
Let \preceq_R be the preorder of embeddability between countable linear orders colored with elements...
We study several natural classes and relations occurring in continuum theory from the viewpoint of d...
We consider the class of so-called k-quasidiscrete linear orderings, show that every k-quasi-discret...
In recent years, much work in descriptive set theory has been focused on the Borel complexity of nat...
We study the algorithmic complexity of isomorphic embeddings between computable structures. Suppose...
In recent years, much work in descriptive set theory has been focused on the Borel complexity of nat...
Let a family S of spaces and a class IF of mappings between members of S be given. For two spaces X ...
Abstract. Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable gr...
We define order locality to be a property of clauses relative to a term ordering. This property is a...
We define \emph{order locality} to be a property of clauses relative to a term ordering. This proper...
We define order locality to be a property of clauses relative to a term ordering. This property is a...
Represented spaces are the spaces on which computations can be performed. We investigate the descrip...
We show that the quasi-order of continuous embeddability between finitely branching dendrites (a nat...
We investigate the relation of countable closed linear orderings with respect to continuous monotone...
Abstract. We show that if κ is a weakly compact cardinal then the embed-dability relation on (genera...
Let \preceq_R be the preorder of embeddability between countable linear orders colored with elements...
We study several natural classes and relations occurring in continuum theory from the viewpoint of d...
We consider the class of so-called k-quasidiscrete linear orderings, show that every k-quasi-discret...
In recent years, much work in descriptive set theory has been focused on the Borel complexity of nat...
We study the algorithmic complexity of isomorphic embeddings between computable structures. Suppose...
In recent years, much work in descriptive set theory has been focused on the Borel complexity of nat...
Let a family S of spaces and a class IF of mappings between members of S be given. For two spaces X ...
Abstract. Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable gr...
We define order locality to be a property of clauses relative to a term ordering. This property is a...
We define \emph{order locality} to be a property of clauses relative to a term ordering. This proper...
We define order locality to be a property of clauses relative to a term ordering. This property is a...
Represented spaces are the spaces on which computations can be performed. We investigate the descrip...