. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257-345.
Derek LevinsonPublished in: Bull. Symb. Log. (2023)
Keyphrases
- lecture notes
- computer science
- revised selected papers
- finite model theory
- revised papers
- case study
- formal theory
- invited paper
- database theory
- machine learning
- advanced technology
- international symposium
- machine learning for multimodal interaction
- summer school
- lecture notes in artificial intelligence
- deductive databases
- artificial intelligence
- proof theory
- mathematical models
- carnegie mellon university
- advances in information retrieval
- fixed point