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. 134

 Article

 You have access
 Open access
 HTML
 Export citation
FIRSTORDER HOMOTOPICAL LOGIC
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 18 September 2023, pp. 163

 Article
 Export citation
BSYSTEMS AND CSYSTEMS ARE EQUIVALENT
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 29 June 2023, pp. 19

 Article

 You have access
 Open access
 HTML
 Export citation
Boolean algebras, Morita invariance and the algebraic Ktheory 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. 253270
 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. 811837
 Print publication:
 March 2024

 Article

 You have access
 Open access
 HTML
 Export citation
A categorytheoretic 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. 41664192
 Print publication:
 December 2023

 Article
 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. 510539
 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. 724757
 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. 811834
 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. 555573

 Article

 You have access
 Open access
 HTML
 Export citation
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NONCLASSICAL FIRSTORDER 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. 11891213
 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. 17171741
 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. 11471162
 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. 6790

 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. 159208
 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. 253276
 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. 623640

 Article
 Export citation