scientific article; zbMATH DE number 5049507

zbMath1097.03039MaRDI QIDQ5482032

Andrey S. Morozov

Publication date: 24 August 2006

Full work available at URL: https://eudml.org/doc/52706

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

zbMATH Keywords

reducibilityadmissible setdefinabilitycomputability

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)

Related Items (7)

Jump inversions of algebraic structures and the \({\Sigma}\)-definability ⋮ Processes and structures on approximation spaces ⋮ On Processes and Structures ⋮ Rice sequences of relations ⋮ On mutual definability of operations on fields ⋮ Jump inversions of algebraic structures and Σ‐definability ⋮ Coding and definability in computable structures

This page was built for publication: