The following pages link to (Q4513962):
Displayed 27 items.
- Positive undecidable numberings in the Ershov hierarchy (Q695803) (← links)
- Numberings in the analytical hierarchy (Q828123) (← links)
- Positive presentations of families relative to \(e\)-oracles (Q1617982) (← links)
- Universal generalized computable numberings and hyperimmunity (Q1703271) (← links)
- Some absolute properties of \(A\)-computable numberings (Q1731521) (← links)
- Computability theory. Abstracts from the workshop held January 7--13, 2018 (Q1731969) (← links)
- Elementary theories and hereditary undecidability for semilattices of numberings (Q1734277) (← links)
- Theories of Rogers semilattices of analytical numberings (Q2030131) (← links)
- One-element Rogers semilattices in the Ershov hierarchy (Q2066095) (← links)
- On \(p \)-universal and \(p \)-minimal numberings (Q2123092) (← links)
- Weakly precomplete equivalence relations in the Ershov hierarchy (Q2300735) (← links)
- Rogers semilattices for families of equivalence relations in the Ershov hierarchy (Q2313294) (← links)
- Families without minimal numberings (Q2342320) (← links)
- Generalized computable universal numberings (Q2342326) (← links)
- Embeddability of the semilattice \(L_m^0\) in Rogers semilattices (Q2364326) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Inductive inference and computable numberings (Q2430009) (← links)
- Effectivity questions for Kleene's recursion theorem (Q2636408) (← links)
- Minimal generalized computable numberings and families of positive preorders (Q2680579) (← links)
- Complexity of \(\Sigma^0_n\)-classifications for definable subsets (Q2700822) (← links)
- On a Question of Frank Stephan (Q3502666) (← links)
- Rogers semilattices of punctual numberings (Q5048010) (← links)
- Rogers semilattices of limitwise monotonic numberings (Q6094148) (← links)
- On two types of concept lattices in the theory of numberings (Q6111947) (← links)
- On the main scientific achievements of Victor Selivanov (Q6146819) (← links)
- Effectively infinite classes of numberings and computable families of reals (Q6146823) (← links)
- A family with a single minimal but not least numbering (Q6203338) (← links)