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

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

• 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
• Unnamed Item