23 results
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 02 July 2021, pp. 168-186
- Print publication:
- June 2021
-
- Article
- Export citation
A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 23 October 2020, pp. 1163-1185
- Print publication:
- September 2020
-
- Article
- Export citation
PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1091-1111
- Print publication:
- September 2018
-
- Article
- Export citation
CONSERVATIONS OF FIRST-ORDER REFLECTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 18 August 2014, pp. 814-825
- Print publication:
- September 2014
-
- Article
- Export citation
LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 325-354
- Print publication:
- June 2014
-
- Article
- Export citation
10th Asian Logic Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 246-265
- Print publication:
- June 2009
-
- Article
- Export citation
Epsilon substitution method for -FIX
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1155-1188
- Print publication:
- December 2006
-
- Article
- Export citation
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π20-operators
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 830-850
- Print publication:
- September 2004
-
- Article
- Export citation
Jeremy Avigad. Update procedures and the 1-consistency of arithmetic. Mathematical Logic Quarterly, vol. 48 (2002), pp. 3–13.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 45-47
- Print publication:
- March 2003
-
- Article
- Export citation
Wilfried Buchholz. Notation systems for infinitary derivations. Archive for mathematical logic, vol. 30 no. 5–6 (1991), pp. 277–296. - Wilfried Buchholz. Explaining Gentzen's consistency proof within infinitary proof theory. Computational logic and proof theory, 5th Kurt Gödel colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture notes in computer science, vol. 1289, Springer, Berlin, Heidelberg, New York, etc., 1997, pp. 4–17. - Sergei Tupailo. Finitary reductions for local predicativity, I: recursively regular ordinals. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., etc., 2000, pp. 465–499.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 437-439
- Print publication:
- September 2002
-
- Article
- Export citation
Pavel Pudlák. The lengths of proofs. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 547–637.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 473-475
- Print publication:
- December 2000
-
- Article
- Export citation
Gerhard Jäger and Robert F. Stärk. A proof-theoretic framework for logic programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 639–682.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 475-476
- Print publication:
- December 2000
-
- Article
- Export citation
Robert L. Constable. Types in logic, mathematics and programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 683–786.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 476-477
- Print publication:
- December 2000
-
- Article
- Export citation
Matt Fairtlough and Stanley S. Wainer. Hierarchies of provably recursive functions. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 149–207.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 466-467
- Print publication:
- December 2000
-
- Article
- Export citation
Samuel R. Buss. First-order proof theory of arithmetic. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 79–147.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 465-466
- Print publication:
- December 2000
-
- Article
- Export citation
Jeremy Avigad and Solomon Feferman. Gödel's functional (“Dialectica”) interpretation. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 337–405.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 469-470
- Print publication:
- December 2000
-
- Article
- Export citation
Giorgi Japaridze and Dick de Jongh. The logic of provability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 475–546.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 472-473
- Print publication:
- December 2000
-
- Article
- Export citation
Wolfram Pohlers. Subsystems of set theory and second-order number theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 209–335.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 467-469
- Print publication:
- December 2000
-
- Article
- Export citation
Sam Buss. Preface. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 463-464
- Print publication:
- December 2000
-
- Article
- Export citation
Samuel R. Buss. An introduction to proof theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v., pp. 1–78.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 464-465
- Print publication:
- December 2000
-
- Article
- Export citation