Pages that link to "Item:Q2498900"
From MaRDI portal
The following pages link to Effective categoricity of equivalence structures (Q2498900):
Displaying 36 items.
- Abelian \(p\)-groups and the halting problem (Q306578) (← links)
- Metric structures and probabilistic computation (Q541224) (← links)
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures (Q639658) (← links)
- The computable embedding problem (Q695798) (← links)
- PAC learning, VC dimension, and the arithmetic hierarchy (Q892140) (← links)
- Computable shuffle sums of ordinals (Q938232) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- Linear orders with distinguished function symbol (Q1005923) (← links)
- Space complexity of abelian groups (Q1005925) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- Computable torsion abelian groups (Q1688648) (← links)
- Classifications of computable structures (Q1704081) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism (Q1936277) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- Primitively recursive categoricity for unars and equivalence structures (Q2054224) (← links)
- Limitwise monotonic spectra and their generalizations (Q2117781) (← links)
- The isomorphism problem for FST injection structures (Q2151392) (← links)
- On the isomorphism problem for some classes of computable algebraic structures (Q2155501) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- A note on decidable categoricity and index sets (Q2200982) (← links)
- Maximality and minimality under limitwise monotonic reducibility (Q2263113) (← links)
- Classifications of definable subsets (Q2300934) (← links)
- Scott sentences for equivalence structures (Q2309506) (← links)
- Degrees of bi-embeddable categoricity of equivalence structures (Q2312081) (← links)
- Computability-theoretic properties of injection structures (Q2342300) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
- Generalization of Shapiro's theorem to higher arities and noninjective notations (Q2700823) (← links)
- Limitwise monotonic sequences and degree spectra of structures (Q2845476) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Effective Categoricity of Injection Structures (Q3091440) (← links)
- On Σ<sup>1</sup> <sub>1</sub> equivalence relations over the natural numbers (Q3117786) (← links)
- On limitwise monotonicity and maximal block functions (Q3195647) (← links)
- A robuster Scott rank (Q3450085) (← links)
- Isomorphism relations on computable structures (Q5388722) (← links)
