Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations; Wilfried Buchholz, Explaining Gentzen's Consistency Proof within Infinitary Proof Theory; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals

Toshiyasu Arai; Toshiyasu Arai; Toshiyasu Arai

doi:10.2178/bsl/1182353905

We can help you reset your password using the email address linked to your Project Euclid account.

Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches. Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content. Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy

All Fields are Required

First Name

Last/Family Name

Password

Password Requirements: Minimum 8 characters, must include as least one uppercase, one lowercase letter, and one number or permitted symbol Valid Symbols for password:
~ Tilde
! Exclamation Mark
@ At sign
$ Dollar sign
^ Caret
( Opening Parenthesis
) Closing Parenthesis
_ Underscore
. Period