scientific article; zbMATH DE number 1531919

From MaRDI portal
Revision as of 08:34, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4513962

zbMath0961.03038MaRDI QIDQ4513962

S. A. Badaev, Sergei S. Goncharov

Publication date: 28 May 2001


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (27)

On \(p \)-universal and \(p \)-minimal numberingsPositive presentations of families relative to \(e\)-oraclesEmbeddability of the semilattice \(L_m^0\) in Rogers semilatticesNumberings in the analytical hierarchyRogers semilattices of punctual numberingsEffectivity questions for Kleene's recursion theoremEffective categoricity for distributive lattices and Heyting algebrasOn a Question of Frank StephanMinimal generalized computable numberings and families of positive preordersRogers semilattices of limitwise monotonic numberingsOn two types of concept lattices in the theory of numberingsOn the main scientific achievements of Victor SelivanovEffectively infinite classes of numberings and computable families of realsInductive inference and computable numberingsA family with a single minimal but not least numberingUniversal generalized computable numberings and hyperimmunityComplexity of \(\Sigma^0_n\)-classifications for definable subsetsSome absolute properties of \(A\)-computable numberingsComputability theory. Abstracts from the workshop held January 7--13, 2018Elementary theories and hereditary undecidability for semilattices of numberingsPositive undecidable numberings in the Ershov hierarchyTheories of Rogers semilattices of analytical numberingsWeakly precomplete equivalence relations in the Ershov hierarchyRogers semilattices for families of equivalence relations in the Ershov hierarchyOne-element Rogers semilattices in the Ershov hierarchyFamilies without minimal numberingsGeneralized computable universal numberings




This page was built for publication: