Fixed points for the jump operator

DOI10.1007/S10469-011-9153-6zbMath1266.03052OpenAlexW2112721261MaRDI QIDQ694226

V. G. Puzarenko

Publication date: 11 December 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-011-9153-6

zbMATH Keywords

fixed pointadmissible setjumphereditarily finite superstructuresnatural ordinalsconstructive representationKPU-structurerecursively saturated structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (4)

A fixed point for the jump operator on structures ⋮ Rice sequences of relations ⋮ EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER ⋮ Families of permutations and ideals of Turing degrees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reducibility on families
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• Degrees of presentability of structures. I
• A Jump Inversion Theorem for the Degree Spectra

This page was built for publication: Fixed points for the jump operator