Articles
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
- Part of:
-
- Published online by Cambridge University Press:
- 02 December 2021, pp. 337-350
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC
- Part of:
-
- Published online by Cambridge University Press:
- 26 July 2021, pp. 351-384
-
- Article
- Export citation
LOGICALITY AND MODEL CLASSES
- Part of:
-
- Published online by Cambridge University Press:
- 26 July 2021, pp. 385-414
-
- Article
- Export citation
NOTES ON THE STABLE REGULARITY LEMMA
-
- Published online by Cambridge University Press:
- 06 December 2021, pp. 415-425
-
- Article
- Export citation
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
- Part of:
-
- Published online by Cambridge University Press:
- 27 September 2021, pp. 426-435
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
- Part of:
-
- Published online by Cambridge University Press:
- 06 May 2021, pp. 436-460
-
- Article
- Export citation
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY
- Part of:
-
- Published online by Cambridge University Press:
- 29 April 2021, pp. 461-484
-
- Article
- Export citation
SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT
-
- Published online by Cambridge University Press:
- 15 November 2021, pp. 485-500
-
- Article
- Export citation
THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, pp. 501-513
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
In Memoriam
IN MEMORIAM: MICHAEL MORLEY, 1930–2020
-
- Published online by Cambridge University Press:
- 28 February 2022, pp. 514-518
-
- Article
-
- You have access
- HTML
- Export citation
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
-
- Published online by Cambridge University Press:
- 28 February 2022, pp. 519-525
-
- Article
-
- You have access
- HTML
- Export citation
Thesis Abstracts
On the Axiomatisability of the Dual of Compact Ordered Spaces
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, p. 526
-
- Article
-
- You have access
- HTML
- Export citation
Dimensions of Ordinals: Set Theory, Homology Theory, and the First Omega Alephs
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, pp. 526-527
-
- Article
-
- You have access
- Export citation
New Directions in Duality Theory for Modal Logic
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, p. 527
-
- Article
-
- You have access
- Export citation
Some Progress on the Unique Ergodicity Problem
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, pp. 527-528
-
- Article
-
- You have access
- Export citation
Towards Finding a Lattice that Characterizes the ${>}\ \omega ^2$ -Fickle Recursively Enumerable Turing Degrees
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, p. 528
-
- Article
-
- You have access
- Export citation
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, pp. 529-530
-
- Article
-
- You have access
- Export citation
Automating the Repair of Faulty Logical Theories
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, p. 530
-
- Article
-
- You have access
- Export citation
Second-Order Modal Logic
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, pp. 530-531
-
- Article
-
- You have access
- Export citation
Continuous Abstract Data Types for Verified Computation
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, p. 531
-
- Article
-
- You have access
- Export citation