5570 results in Programming Languages and Applied Logic
9 - On Vaught’s conjecture
- from Part VIII - Other Topics
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 179-195
-
- Chapter
- Export citation
4 - Games of countable length
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 96-103
-
- Chapter
- Export citation
6 - Subsets of ℵ1 constructible from a real
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 130-135
-
- Chapter
- Export citation
Contents
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp v-vi
-
- Chapter
- Export citation
12 - The fourteen Victoria Delfino problems and their status in the year 2020
- from Part VIII - Other Topics
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 248-280
-
- Chapter
- Export citation
8 - The extender algebra and Σ21-absoluteness
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 141-176
-
- Chapter
- Export citation
2 - “AD plus Uniformization” is equivalent to “Half ADR”
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 61-65
-
- Chapter
- Export citation
Preface
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp vii-x
-
- Chapter
- Export citation
7 - AD and the uniqueness of the supercompact measures on ℘ꞷ1 (λ)
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 136-140
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 281-300
-
- Chapter
- Export citation
3 - The independence of DC from AD
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 66-95
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp i-iv
-
- Chapter
- Export citation
5 - Some consistency results in ZFC using AD
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 104-129
-
- Chapter
- Export citation
11 - More saturated ideals
- from Part VIII - Other Topics
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 223-247
-
- Chapter
- Export citation
1 - A brief history of determinacy
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 3-60
-
- Chapter
- Export citation
Part VIII - Other Topics
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 177-178
-
- Chapter
- Export citation
10 - Capacities and analytic sets
- from Part VIII - Other Topics
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 196-222
-
- Chapter
- Export citation
Large Cardinals, Determinacy and Other Topics
- The Cabal Seminar, Volume IV
-
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020
Preface
-
- Book:
- Algorithm Design with Haskell
- Published online:
- 25 June 2020
- Print publication:
- 09 July 2020, pp xiii-xvi
-
- Chapter
- Export citation
6 - Selection
- from Part Two - Divide and Conquer
-
- Book:
- Algorithm Design with Haskell
- Published online:
- 25 June 2020
- Print publication:
- 09 July 2020, pp 121-140
-
- Chapter
- Export citation