A fixed point for the jump operator on structures (Q5300071)
From MaRDI portal
scientific article; zbMATH DE number 6180292
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A fixed point for the jump operator on structures |
scientific article; zbMATH DE number 6180292 |
Statements
A fixed point for the jump operator on structures (English)
0 references
24 June 2013
0 references
computable structure
0 references
jump operator
0 references
effective interpretability
0 references
Ehrenfeucht-Mostowski theorem
0 references
ordinal indiscernibles
0 references
higher-order arithmetic
0 references
