10 results
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
An uncountable Furstenberg–Zimmer structure theory
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 43 / Issue 7 / July 2023
- Published online by Cambridge University Press:
- 21 June 2022, pp. 2404-2436
- Print publication:
- July 2023
-
- 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
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 08 June 2021, pp. 242-289
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 22 October 2020, pp. 433-447
- Print publication:
- June 2021
-
- 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
CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1044-1078
- Print publication:
- September 2020
-
- Article
- Export citation
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 563-584
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- Export citation
Flat functors and free exact categories
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 60 / Issue 2 / April 1996
- Published online by Cambridge University Press:
- 09 April 2009, pp. 143-156
- Print publication:
- April 1996
-
- Article
-
- You have access
- Export citation
On products of modules in a topos
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 38 / Issue 3 / June 1985
- Published online by Cambridge University Press:
- 09 April 2009, pp. 416-420
- Print publication:
- June 1985
-
- Article
-
- You have access
- Export citation