Pages that link to "Item:Q3033746"
From MaRDI portal
The following pages link to A Borel reductibility theory for classes of countable structures (Q3033746):
Displaying 29 items.
- CODING IN GRAPHS AND LINEAR ORDERINGS (Q5148104) (← links)
- Equivalence of codes for countable sets of reals (Q5152500) (← links)
- On ‐complete equivalence relations on the generalized Baire space (Q5179275) (← links)
- Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete (Q5207329) (← links)
- THE QUANDARY OF QUANDLES: A BOREL COMPLETE KNOT INVARIANT (Q5218733) (← links)
- Polish groupoids and functorial complexity (Q5267989) (← links)
- The complexity of continuous embeddability between dendrites (Q5311746) (← links)
- A non-classification result for wild knots (Q5347281) (← links)
- Isomorphism relations on computable structures (Q5388722) (← links)
- On the complexity of the relations of isomorphism and bi-embeddability (Q5388809) (← links)
- The classification of torsion-free abelian groups of finite rank up to isomorphism and up to quasi-isomorphism (Q5388822) (← links)
- Turing computable embeddings of equivalences other than isomorphism (Q5401521) (← links)
- Turing computable embeddings (Q5422309) (← links)
- Computable embeddings and strongly minimal theories (Q5422316) (← links)
- On the unique representation of families of sets (Q5429479) (← links)
- Classification problems in continuum theory (Q5461387) (← links)
- Cofinal families of Borel equivalence relations and quasiorders (Q5486253) (← links)
- Borel completeness of some ℵ<sub>0</sub>-stable theories (Q5499006) (← links)
- The classification of hypersmooth Borel equivalence relations (Q5690904) (← links)
- Computable embeddability for algebraic structures (Q5876742) (← links)
- MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS (Q5879190) (← links)
- Basis problem for turbulent actions. I: Tsirelson submeasures (Q5935990) (← links)
- On the complexity of the isomorphism relation for fields of finite transcendence degree (Q5939827) (← links)
- Borel equivalence relations and classifications of countable models (Q5961495) (← links)
- Euclidean algorithm for a class of linear orders (Q6056733) (← links)
- COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR (Q6103452) (← links)
- Characterizing the existence of a Borel complete expansion (Q6144978) (← links)
- Classes of algebraic structures (Q6147851) (← links)
- CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS (Q6180614) (← links)
