Slow consistency

Friedman, S-D, Rathjen, M and Weiermann, A (2013) Slow consistency. Annals of Pure and Applied Logic, 164 (3). 382 - 393 (12). ISSN 0168-0072

Abstract

Metadata

Authors/Creators:
  • Friedman, S-D
  • Rathjen, M
  • Weiermann, A
Copyright, Publisher and Additional Information: © 2013, Elsevier Masson. This is an author produced version of a paper published in Annals of Pure and Applied Logic. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Peano arithmetic, consistency strength, interpretation, fast growing function, slow consistency, Orey sentence
Dates:
  • Published: March 2013
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: 28 Feb 2013 11:08
Last Modified: 31 Oct 2016 17:31
Published Version: http://dx.doi.org/10.1016/j.apal.2012.11.009
Status: Published
Publisher: Elsevier
Identification Number: https://doi.org/10.1016/j.apal.2012.11.009

Share / Export

Statistics