Ivan Soskov: a life in computability

DOI10.1007/978-3-319-43669-2_2zbMATH Open1544.01026MaRDI QIDQ6599282

Hristo Ganchev, Dimiter Skordev

Publication date: 6 September 2024

zbMATH Keywords

joint spectrumprimitive functionenumeration reducibilitymass problemjump operator

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees
• The jump operator on the \(\omega \)-enumeration degrees
• Elementary induction on abstract structures
• Hyperenumeration reducibility
• Computability by means of effectively definable schemes and definability via enumerations
• Quasi-minimal enumeration degrees and minimal Turing degrees
• A jump inversion theorem for the enumeration jump
• The \(\omega\)-Turing degrees
• Embedding distributive lattices in the \(\Sigma ^0_2\) enumeration degrees
• Embedding countable partial orderings in the enumeration degrees and the \(\omega \)-enumeration degrees
• Every Set has a Least Jump Enumeration
• Reducibilities in two models for combinatory logic
• A criterion for completeness of degrees of unsolvability
• Uniform regular enumerations
• Definability via enumerations
• Notes on the Jump of a Structure
• A Jump Inversion Theorem for the Degree Spectra
• Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ₂ sets are dense
• Jumps of quasi-minimal enumeration degrees
• Degrees coded in jumps of orderings
• Second Order Definability Via enumerations
• Prime and Search Computability, Characterized as Definability in Certain Sublanguages of Constructible L ω1, ω
• Regular enumerations
• DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
• On minimal pairs of enumeration degrees
• Degrees of Structures
• Intrinsically II Relations
• Interpreting true arithmetic in the local structure of the enumeration degrees
• Definability via Kalimullin pairs in the structure of the enumeration degrees
• Π₁¹ relations and paths through
• A Note on ω-Jump Inversion of Degree Spectra of Structures
• Cupping and definability in the local structure of the enumeration degrees
• Effective properties of Marker's extensions
• The  -Enumeration Degrees
• Degrees of Unsolvability. (AM-55)
• Abstract First Order Computability. I
• Abstract Computability and Invariant Definability
• Arithmetical Reducibilities I
• Intrinsically Hyperarithmetical Sets
• New Computational Paradigms

This page was built for publication: Ivan Soskov: a life in computability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599282)