Categoricity results for \(L_{\infty \kappa}\)-free algebras (Q1104924)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Categoricity results for \(L_{\infty \kappa}\)-free algebras |
scientific article |
Statements
Categoricity results for \(L_{\infty \kappa}\)-free algebras (English)
0 references
1988
0 references
The paper under review is a compact collection of many interesting and important theorems with many corollaries, examples (the last section tells about concrete algebraic examples) and remarks on \(L_{\infty \kappa}\)-free algebras in a variety of universal algebras. The main results are very shortly described in the summary: ``Let V denote a variety of algebras in a countable language. An algebra is said to be \(L_{\infty \kappa}\)-free if it is Lloys Harrington's method of reindexing first used by Harrington to characterize the 1- section of the superjump. It turns out that the 1-section of R and \({}^ 2E\) is just large enough to contain winning strategies for every \(\Sigma\) \({}^ 0_ 3\)-game. The paper is technical, but accessible to readers familiar with higher type recursion theory.
0 references
definability
0 references
\(L_{\infty \kappa }\)-free algebras
0 references
variety
0 references
reindexing
0 references
\(\Sigma ^ 0_ 3\)-game
0 references
higher type recursion theory
0 references
0 references
0 references