A fixed point for the jump operator on structures

DOI10.2178/jsl.7802050zbMath1305.03036arXiv1106.0908OpenAlexW2016482046MaRDI QIDQ5300071

Antonio Montalbán

Publication date: 24 June 2013

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1106.0908

zbMATH Keywords

computable structurehigher-order arithmeticjump operatorEhrenfeucht-Mostowski theoremeffective interpretabilityordinal indiscernibles

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Computable structure theory, computable model theory (03C57)

Related Items (7)

THE TREE OF TUPLES OF A STRUCTURE ⋮ EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER ⋮ Effectively Existentially-Atomic Structures ⋮ BOREL FUNCTORS AND INFINITARY INTERPRETATIONS ⋮ Finitely generated groups are universal among finitely generated structures ⋮ COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY ⋮ Constructing decidable graphs from decidable structures

Cites Work

• Unnamed Item
• Fixed points for the jump operator
• The jump operation for structure degrees
• Generic copies of countable structures
• Computable structures and the hyperarithmetical hierarchy
• A Jump Inversion Theorem for the Degree Spectra

This page was built for publication: A fixed point for the jump operator on structures