5570 results in Programming Languages and Applied Logic
Chapter 2 - Computability Structures on a Banach Space
- from Part II - The Computability Theory of Banach Spaces
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 77-92
-
- Chapter
- Export citation
14 - Recursively Enumerable Relations
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 48-53
-
- Chapter
- Export citation
Chapter XVII - Set-Theoretic Definability of Logics
- from Part F - Advanced Topics in Abstract Model Theory
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 599-644
-
- Chapter
- Export citation
Chapter III - Forking
- from Part A - Independence
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 53-98
-
- Chapter
- Export citation
Chapter XI - Applications to Algebra
- from Part C - Infinitary Languages
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 423-442
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Chapter VI - Inductive Definitions
- from Part B - The Absolute Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 197-254
-
- Chapter
- Export citation
Infinite-valued G?del Logics with 0-1-Projections and Relativizations
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 23-33
-
- Chapter
- Export citation
Chapter IX - Larger Infinitary Languages
- from Part C - Infinitary Languages
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 317-364
-
- Chapter
- Export citation
Chapter V - Transfer Theorems and Their Applications to Logics
- from Part B - Finitary Languages with Additional Quantifiers
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 177-210
-
- Chapter
- Export citation
Chapter VI - Other Quantifiers: An Overview
- from Part B - Finitary Languages with Additional Quantifiers
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 211-234
-
- Chapter
- Export citation
A division algorithm for the free left distributive algebra
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 155-162
-
- Chapter
- Export citation
Part III - The Computability Theory of Eigenvalues and Eigenvectors
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 121-122
-
- Chapter
- Export citation
Part C - Generalized Recursion Theories
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 257-258
-
- Chapter
- Export citation
Complete Sets and Structure in Subrecursive Classes
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 45-78
-
- Chapter
- Export citation
Chapter III - Self-Reference
- from PART B
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 147-212
-
- Chapter
- Export citation
Part II - Contributed Papers
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 165-166
-
- Chapter
- Export citation
Part B - The Absolute Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 151-152
-
- Chapter
- Export citation
Part A - Independence
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 33-34
-
- Chapter
- Export citation
Dedication
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation