6434 results in Logic, categories and Sets
Abelian Model Category Theory
- Coming soon
-
- Expected online publication date:
- December 2024
- Print publication:
- 31 December 2024
-
- Book
- Export citation
![](https://assets.cambridge.org/97810095/62294/cover/9781009562294.jpg)
The Theory of Countable Borel Equivalence Relations
- Coming soon
-
- Expected online publication date:
- November 2024
- Print publication:
- 30 November 2024
-
- Book
- Export citation
![](https://assets.cambridge.org/97811088/35466/cover/9781108835466.jpg)
Initial Algebras and Terminal Coalgebras
- The Theory of Fixed Points of Functors
- Coming soon
-
- Expected online publication date:
- September 2024
- Print publication:
- 30 September 2024
-
- Book
- Export citation
Normalisation for Negative Free Logics without and with Definite Descriptions
-
- Journal:
- The Review of Symbolic Logic / Accepted manuscript
- Published online by Cambridge University Press:
- 03 September 2024, pp. 1-32
-
- Article
- Export citation
![](https://assets.cambridge.org/97810094/50690/cover/9781009450690.jpg)
An Introduction to Classical and Modal Logics
- The Outlines of Knowledge
- Coming soon
-
- Expected online publication date:
- August 2024
- Print publication:
- 31 August 2024
-
- Textbook
- Export citation
Chapter 8 - Models of LSA as derived models
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 213-234
-
- Chapter
- Export citation
Chapter 11 - A proof of square in LSA-small HOD mice
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 309-334
-
- Chapter
- Export citation
Chapter 9 - Condensing sets
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 235-272
-
- Chapter
- Export citation
Chapter 4 - A comparison theory of HOD mice
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 97-180
-
- Chapter
- Export citation
Dedication
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp v-vi
-
- Chapter
- Export citation
Chapter 10 - Applications
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 273-308
-
- Chapter
- Export citation
Index
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 391-394
-
- Chapter
- Export citation
Chapter 7 - Analysis of HOD
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 207-212
-
- Chapter
- Export citation
Chapter 3 - Short tree strategy mice
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 61-96
-
- Chapter
- Export citation
Chapter 1 - Introduction
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 1-8
-
- Chapter
- Export citation
Contents
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp vii-x
-
- Chapter
- Export citation
Chapter 2 - Hybrid 𝒥-structures
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 9-60
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp i-iv
-
- Chapter
- Export citation
Chapter 6 - The internal theory of LSA HOD mice
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 193-206
-
- Chapter
- Export citation
Chapter 5 - HOD mice revisited
-
- Book:
- The Largest Suslin Axiom
- Print publication:
- 27 June 2024, pp 181-192
-
- Chapter
- Export citation