Pages that link to "Item:Q3033746"

The following pages link to A Borel reductibility theory for classes of countable structures (Q3033746):

Displaying 50 items.

• The prospects for mathematical logic in the twenty-first century (Q2736583) (← links)
• Some dichotomy theorems for isomorphism relations of countable models (Q2747727) (← links)
• On the complexity of the classification problem for torsion-free Abelian groups of finite rank (Q2778661) (← links)
• Invariantly universal analytic quasi-orders (Q2839384) (← links)
• On Borel reducibility in generalized Baire space (Q2942819) (← links)
• The conjugacy problem for automorphism groups of countable homogeneous structures (Q2958218) (← links)
• A Descriptive View of Combinatorial Group Theory (Q3011105) (← links)
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
• Analytic equivalence relations and bi-embeddability (Q3083138) (← links)
• On Σ¹ ₁ equivalence relations over the natural numbers (Q3117786) (← links)
• Universality of group embeddability (Q3132806) (← links)
• The relation of recursive isomorphism for countable structures (Q3149999) (← links)
• The Complexity of Classification Problems for Models of Arithmetic (Q3163661) (← links)
• Classes of Ulm type and coding rank-homogeneous trees in other structures (Q3173529) (← links)
• Invariant universality for quandles and fields (Q3298793) (← links)
• On the classification of automorphisms of trees (Q3299362) (← links)
• The isomorphism problem for computable Abelian _<i>p</i>-groups of bounded length (Q3370768) (← links)
• Classification from a Computable Viewpoint (Q3430937) (← links)
• (Q3567848) (← links)
• Infinite-Time Turing Machines and Borel Reducibility (Q3576045) (← links)
• 2008 Annual Meeting of the Association for Symbolic Logic (Q3616439) (← links)
• Borel Reductibility and Classification of von Neumann Algebras (Q3633206) (← links)
• Countable structures, Ehrenfeucht strategies, and Wadge reductions (Q3984409) (← links)
• Polish group actions: Dichotomies and generalized elementary embeddings (Q4383175) (← links)
• Linear algebraic groups and countable Borel equivalence relations (Q4501059) (← links)
• The completeness of the isomorphism relation for countable Boolean algebras (Q4517450) (← links)
• (Q4522448) (← links)
• There is no classification of the decidably presentable structures (Q4562439) (← links)
• The classification problem for operator algebraic varieties and their multiplier algebras (Q4600444) (← links)
• JUMP OPERATIONS FOR BOREL GRAPHS (Q4638971) (← links)
• The bi-embeddability relation for countable abelian groups (Q4644967) (← links)
• The class of non-Desarguesian projective planes is Borel complete (Q4683539) (← links)
• Non-ergodic Banach spaces are near Hilbert (Q4691088) (← links)
• The classification problem for torsion-free abelian groups of finite rank (Q4780402) (← links)
• The Complexity of the Collection of Countable Linear Orders of the form <i>I</i> + <i>I</i> (Q4948523) (← links)
• THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
• On Borel complexity of the isomorphism problems for graph related classes of Lie algebras and finite p-groups (Q4983072) (← links)
• Relative primeness and Borel partition properties for equivalence relations (Q5020667) (← links)
• Higher-dimensional obstructions for star reductions (Q5029018) (← links)
• DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS (Q5052017) (← links)
• New jump operators on equivalence relations (Q5055315) (← links)
• Primitive recursive equivalence relations and their primitive recursive complexity (Q5061388) (← links)
• THE TREE OF TUPLES OF A STRUCTURE (Q5070461) (← links)
• Souslin quasi-orders and bi-embeddability of uncountable structures (Q5097134) (← links)
• INTERPRETING A FIELD IN ITS HEISENBERG GROUP (Q5100059) (← links)
• On the reducibility of isomorphism relations (Q5108099) (← links)
• Uncountable structures are not classifiable up to bi-embeddability (Q5114807) (← links)
• The classification of countable models of set theory (Q5119907) (← links)
• Borel reducibility and symmetric models (Q5141758) (← links)
• On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $ (Q5146424) (← links)