Investigations of subsystems of second order arithmetic and set theory in strength between Pi-1-1-CA and delta-1-2-CA+BI: part I

Rathjen, M (2010) Investigations of subsystems of second order arithmetic and set theory in strength between Pi-1-1-CA and delta-1-2-CA+BI: part I. In: Ways of proof theory. Walter de Gruyter , 363 - 440. ISBN 978-3-86838-087-3

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Copyright, Publisher and Additional Information: (c) 2010, De Gruyter. Reproduced in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 2010
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 09 Oct 2014 17:27
Last Modified: 15 Nov 2014 09:31
Published Version: http://www.degruyter.com/view/books/9783110324907/...
Status: Published
Publisher: Walter de Gruyter
Identification Number: https://doi.org/10.1515/9783110324907.363

Share / Export

Statistics