A fixed point for the jump operator on structures
From MaRDI portal
Publication:5300071
DOI10.2178/jsl.7802050zbMath1305.03036arXiv1106.0908OpenAlexW2016482046MaRDI QIDQ5300071
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
computable structurehigher-order arithmeticjump operatorEhrenfeucht-Mostowski theoremeffective interpretabilityordinal indiscernibles
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