A fixed point for the jump operator on structures (Q5300071)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A fixed point for the jump operator on structures |
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
0.7545086
0 references
0.75448775
0 references
0.73448443
0 references
0.72439253
0 references
0.7229886
0 references
0 references
0.7196524
0 references
