5570 results in Programming Languages and Applied Logic
Kernels and cohomology groups for some finite covers
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 79-100
-
- Chapter
- Export citation
CHAPTER 1 - Preliminaries
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 5-22
-
- Chapter
- Export citation
7 - The Comparison Process
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 69-73
-
- Chapter
- Export citation
Preface to the Series
-
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 437-442
-
- Chapter
- Export citation
Author's Preface
-
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Kurt Gödel and the constructive Mathematics of A.A. Markov
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 50-63
-
- Chapter
- Export citation
The Core Model Iterability Problem
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Chapter I - Arithmetic as Number Theory, Set Theory and Logic
- from PART A
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 27-110
-
- Chapter
- Export citation
17 - Large RE Sets
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 63-67
-
- Chapter
- Export citation
Preface to the Series Perspectives in Mathematical Logic
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Chapter XVIII - Vaught and Morley Conjectures for ω-Stable Countable Theories
- from Part D - The Number of Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 365-398
-
- Chapter
- Export citation
6 - Canonization Problems
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 131-148
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Index of Notation
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 386-387
-
- Chapter
- Export citation
Chapter 2 - General Theory: Subcomputations
- from Part A - General Theory
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 43-62
-
- Chapter
- Export citation
Noninterpretability of Infinite Linear Orders
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 73-78
-
- Chapter
- Export citation
13 - The Arithmetical Hierarchy
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 43-48
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
2 - Constructing Models with Special Properties
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 11-48
-
- Chapter
- Export citation