71 results
Dimension in team semantics
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 12 March 2024, pp. 1-45
-
- Article
-
- You have access
- HTML
- Export citation
Philosophical Uses of Categoricity Arguments
-
- Published online:
- 02 December 2023
- Print publication:
- 21 December 2023
-
- Element
- Export citation
LOGICALITY AND MODEL CLASSES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 26 July 2021, pp. 385-414
- Print publication:
- December 2021
-
- Article
- Export citation
AN EXTENSION OF A THEOREM OF ZERMELO
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 06 March 2019, pp. 208-212
- Print publication:
- June 2019
-
- Article
- Export citation
Miscellaneous Frontmatter
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Foreword
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Logic Colloquium '90
- ASL Summer Meeting in Helsinki
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Contents
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 584-604
- Print publication:
- June 2016
-
- Article
- Export citation
DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 09 March 2016, pp. 32-55
- Print publication:
- March 2016
-
- Article
- Export citation
JAAKKO HINTIKKA 1929–2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 431-436
- Print publication:
- December 2015
-
- Article
-
- You have access
- Export citation
QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 11 June 2015, pp. 722-742
- Print publication:
- December 2015
-
- Article
- Export citation
Chapter 9 - Multiverse set theory and absolutely undecidable propositions
- from Part IV - The set-theoretic multiverse
-
-
- Book:
- Interpreting Gödel
- Published online:
- 05 September 2014
- Print publication:
- 21 August 2014, pp 180-208
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- Interpreting Gödel
- Published online:
- 05 September 2014
- Print publication:
- 21 August 2014, pp ix-x
-
- Chapter
- Export citation
Independence-Friendly Logic: A Game-Theoretic Approach, Allen L. Mann , Gabriel Sandu and Merlijn Sevenster , Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 30 July 2013, pp. 137-140
-
- Article
- Export citation
Second Order Logic or Set Theory?
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 91-121
- Print publication:
- March 2012
-
- Article
- Export citation
Tennenbaum's proof of the irrationality of √2
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 226-227
-
- Chapter
- Export citation
Preface
-
- Book:
- Models and Games
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp xi-xii
-
- Chapter
- Export citation
3 - Games
-
- Book:
- Models and Games
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 14-34
-
- Chapter
- Export citation