13 results
On Hofmann–Streicher universes
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 19 September 2024, pp. 1-17
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Natural models of homotopy type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 2 / February 2018
- Published online by Cambridge University Press:
- 17 November 2016, pp. 241-286
-
- Article
- Export citation
Introduction – from type theory and homotopy theory to univalent foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 10 March 2015, pp. 1005-1009
-
- Article
-
- You have access
- Export citation
Gödel and Carnap
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 252-274
-
- Chapter
- Export citation
Homotopy theoretic models of identity types
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 146 / Issue 1 / January 2009
- Published online by Cambridge University Press:
- 01 January 2009, pp. 45-55
- Print publication:
- January 2009
-
- Article
- Export citation
A Brief Introduction to Algebraic Set Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 3 / September 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 281-298
- Print publication:
- September 2008
-
- Article
- Export citation
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 1 / Issue 2 / August 2008
- Published online by Cambridge University Press:
- 01 August 2008, pp. 146-166
- Print publication:
- August 2008
-
- Article
- Export citation
10 - Carnap’s quest for analyticity: the Studies in Semantics
-
-
- Book:
- The Cambridge Companion to Carnap
- Published online:
- 28 April 2008
- Print publication:
- 20 December 2007, pp 226-247
-
- Chapter
- Export citation
7 - The Turning Point and the Revolution: Philosophy of Mathematics in Logical Empiricism from Tractatus to Logical Syntax
- from Part III - Logical Empiricism and the Philosophy of the Special Sciences
-
-
- Book:
- The Cambridge Companion to Logical Empiricism
- Published online:
- 28 January 2008
- Print publication:
- 03 September 2007, pp 165-192
-
- Chapter
- Export citation
Relating First-Order Set Theories and Elementary Toposes
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 340-358
- Print publication:
- September 2007
-
- Article
- Export citation
In Memoriam: Saunders Mac Lane 1909–2005
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 115-119
- Print publication:
- March 2007
-
- Article
-
- You have access
- Export citation
Peter T. Johnstone. Sketches of an elephant: a topos theory compendium. Oxford Logic Guides, vols. 43, 44. Oxford University Press, Oxford, 2002, xxii + 1160 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 65-69
- Print publication:
- March 2005
-
- Article
- Export citation
Modal operators and the formal dual of Birkhoff's completeness theorem
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 2 / April 2003
- Published online by Cambridge University Press:
- 01 April 2003, pp. 233-258
-
- Article
- Export citation