26 results in 18Cxx
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 March 2024, pp. 1-34
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FIRST-ORDER HOMOTOPICAL LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 September 2023, pp. 1-63
-
- Article
-
- You have access
- HTML
- Export citation
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-9
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories
- Part of
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 175 / Issue 2 / September 2023
- Published online by Cambridge University Press:
- 27 February 2023, pp. 253-270
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 23 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 22 February 2023, pp. 811-837
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A category-theoretic proof of the ergodic decomposition theorem
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 43 / Issue 12 / December 2023
- Published online by Cambridge University Press:
- 15 February 2023, pp. 4166-4192
- Print publication:
- December 2023
-
- Article
-
- You have access
- HTML
- Export citation
A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 14 December 2022, pp. 510-539
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NSOP$_1$-LIKE INDEPENDENCE IN AECATS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 12 December 2022, pp. 724-757
- Print publication:
- June 2024
-
- Article
- Export citation
Independence Relations in Abstract Elementary Categories
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 16 January 2023, p. 531
- Print publication:
- December 2022
-
- Article
-
- You have access
- Export citation
CELLULAR CATEGORIES AND STABLE INDEPENDENCE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 18 May 2022, pp. 811-834
- Print publication:
- June 2023
-
- Article
- Export citation
On the Axiomatisability of the Dual of Compact Ordered Spaces
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, p. 526
- Print publication:
- December 2021
-
- Article
-
- You have access
- HTML
- Export citation
Algebras with representable representations
- Part of
-
- Journal:
- Proceedings of the Edinburgh Mathematical Society / Volume 64 / Issue 3 / August 2021
- Published online by Cambridge University Press:
- 24 June 2021, pp. 555-573
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 10 June 2021, pp. 1189-1213
- Print publication:
- September 2021
-
- Article
- Export citation
THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 30 October 2020, pp. 1717-1741
- Print publication:
- December 2020
-
- Article
- Export citation
INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 04 September 2020, pp. 1147-1162
- Print publication:
- September 2020
-
- Article
- Export citation
Balanced pairs, cotorsion triplets and quiver representations
- Part of
-
- Journal:
- Proceedings of the Edinburgh Mathematical Society / Volume 63 / Issue 1 / February 2020
- Published online by Cambridge University Press:
- 13 August 2019, pp. 67-90
-
- Article
- Export citation
Semantics of higher inductive types
- Part of
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 169 / Issue 1 / July 2020
- Published online by Cambridge University Press:
- 17 June 2019, pp. 159-208
- Print publication:
- July 2020
-
- Article
- Export citation
SKETCHES IN HIGHER CATEGORY THEORY
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 95 / Issue 1 / February 2017
- Published online by Cambridge University Press:
- 26 September 2016, p. 164
- Print publication:
- February 2017
-
- Article
-
- You have access
- Export citation
FUNCTORIAL ASPECTS OF THE RECONSTRUCTION OF LIE GROUPOIDS FROM THEIR BISECTIONS
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 101 / Issue 2 / October 2016
- Published online by Cambridge University Press:
- 14 March 2016, pp. 253-276
- Print publication:
- October 2016
-
- Article
-
- You have access
- Export citation
Pure Injective and Absolutely Pure Sheaves
- Part of
-
- Journal:
- Proceedings of the Edinburgh Mathematical Society / Volume 59 / Issue 3 / August 2016
- Published online by Cambridge University Press:
- 20 November 2015, pp. 623-640
-
- Article
- Export citation