Articles
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
 Part of:
 Published online by Cambridge University Press: 02 December 2021, pp. 337350

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

 Article
 Export citation

LOGICALITY AND MODEL CLASSES
 Part of:
 Published online by Cambridge University Press: 26 July 2021, pp. 385414

 Article
 Export citation

NOTES ON THE STABLE REGULARITY LEMMA
 Published online by Cambridge University Press: 06 December 2021, pp. 415425

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

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

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

 Article
 Export citation

SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT
 Published online by Cambridge University Press: 15 November 2021, pp. 485500

 Article
 Export citation

THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
 Part of:
 Published online by Cambridge University Press: 28 February 2022, pp. 501513

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

 Article

 You have access
 HTML
 Export citation
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
 Published online by Cambridge University Press: 28 February 2022, pp. 519525

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

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

 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 Ominimal Exponential Fields
 Part of:
 Published online by Cambridge University Press: 28 February 2022, pp. 529530

 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

SecondOrder Modal Logic
 Part of:
 Published online by Cambridge University Press: 28 February 2022, pp. 530531

 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
