|
This article is cited in 7 scientific papers (total in 7 papers)
Fixed points for the jump operator
V. G. Puzarenkoab a Novosibirsk State University, Novosibirsk, Russia
b Sobolev Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia
Abstract:
We construct an example of an admissible set which is a fixed point for the $\Sigma$-jump operator. Also a number of basic properties of fixed points are presented.
Keywords:
a KPU-structure, admissible set, constructive representation, recursively saturated structure, $\Sigma$-jump, $\Sigma$-reducibility, $\Sigma$-definability, hereditarily finite superstructures, natural ordinals.
Received: 09.02.2011 Revised: 13.07.2011
Citation:
V. G. Puzarenko, “Fixed points for the jump operator”, Algebra Logika, 50:5 (2011), 615–646; Algebra and Logic, 50:5 (2011), 418–438
Linking options:
https://www.mathnet.ru/eng/al505 https://www.mathnet.ru/eng/al/v50/i5/p615
|
|