13 results
AXIOMATIZATION OF PROVABLE n-PROVABILITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 08 February 2019, pp. 849-869
- Print publication:
- June 2019
-
- Article
- Export citation
18th Workshop on Logic, Language, Information and Computation (Wollic 2011)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 152-153
- Print publication:
- March 2012
-
- Article
- Export citation
Torkel Franzén. Inexhaustibility: a non-exhaustive treatment. Lecture Notes in Logic, vol. 16. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2004, xi + 251 pp. - Torkel Franzén.. Transfinite progressions: a second look at completeness. The Bulletin of Symbolic Logic, vol. 10, no. 3 (2004), pp. 367–389.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 258-259
- Print publication:
- June 2008
-
- Article
- Export citation
Torkel Franzén. Gödel's theorem: an incomplete guide to its use and abuse. AK Peters, Ltd., Wellesley, Massachusetts, 2005, x + 172 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 241-243
- Print publication:
- June 2007
-
- Article
- Export citation
The Worm principle
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 75-95
-
- Chapter
- Export citation
On the induction schema for decidable predicates
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-34
- Print publication:
- March 2003
-
- Article
- Export citation
Wolfgang Burr. Fragments of Heyting arithmetic. The journal of symbolic logic, vol. 65 (2000), pp. 1223–1240.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 533-534
- Print publication:
- December 2002
-
- Article
- Export citation
Ulrich Kohlenbach. On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Annals of pure and applied logic, vol. 95 (1998), pp. 257–285.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 75-77
- Print publication:
- March 2001
-
- Article
- Export citation
Another Pathological Well-Ordering
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 105-108
-
- Chapter
- Export citation
Per Lindström. Aspects of incompleteness. Lecture notes in logic, no. 10. Springer, Berlin, Heidelberg, New York, etc., 1997, x + 133 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1606-1608
- Print publication:
- December 1998
-
- Article
- Export citation
Smullyan Raymond M.. Diagonalization and self-reference. Oxford logic guides, no. 27. Clarendon Press, Oxford University Press, Oxford and New York1994, xv + 396 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1052-1055
- Print publication:
- September 1996
-
- Article
- Export citation
Bimodal logics for extensions of arithmetical theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-124
- Print publication:
- March 1996
-
- Article
- Export citation
Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 (1988), pp. 229–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 715-717
- Print publication:
- June 1993
-
- Article
- Export citation