6435 results in Logic, categories and Sets
Initial Algebras and Terminal Coalgebras
- The Theory of Fixed Points of Functors
- Coming soon
-
- Expected online publication date:
- January 2025
- Print publication:
- 31 January 2025
-
- Book
- Export citation
Abelian Model Category Theory
- Coming soon
-
- Expected online publication date:
- January 2025
- Print publication:
- 31 December 2024
-
- Book
- Export citation
An Introduction to Classical and Modal Logics
- The Outlines of Knowledge
- Coming soon
-
- Expected online publication date:
- December 2024
- Print publication:
- 30 November 2024
-
- Textbook
- Export citation
The Theory of Countable Borel Equivalence Relations
- Coming soon
-
- Expected online publication date:
- November 2024
- Print publication:
- 30 November 2024
-
- Book
- Export citation
ANSELM’S ONTOLOGICAL ARGUMENT AND GRADES OF BEING
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 13 September 2024, pp. 1-19
-
- Article
- 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
Index
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 391-394
-
- Chapter
- Export citation
References
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 385-390
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp i-iv
-
- Chapter
- Export citation
Chapter 3 - Short tree strategy mice
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 61-96
-
- Chapter
- Export citation
Chapter 4 - A comparison theory of HOD mice
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 97-180
-
- Chapter
- Export citation
Dedication
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp v-vi
-
- Chapter
- Export citation
Chapter 10 - Applications
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 273-308
-
- Chapter
- Export citation
Contents
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp vii-x
-
- Chapter
- Export citation
Chapter 7 - Analysis of HOD
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 207-212
-
- Chapter
- Export citation
Chapter 6 - The internal theory of LSA HOD mice
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 193-206
-
- Chapter
- Export citation
Chapter 5 - HOD mice revisited
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 181-192
-
- Chapter
- Export citation
Chapter 2 - Hybrid 𝒥-structures
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 9-60
-
- Chapter
- Export citation
Chapter 12 - LSA from PFA
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 335-384
-
- Chapter
- Export citation
Chapter 8 - Models of LSA as derived models
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 213-234
-
- Chapter
- Export citation