Rathjen, M and Vizcaino, PFV (2015) Well-Ordering Principles and Bar Induction. In: Kahle, R and Rathjen, M, (eds.) Gentzen's Centenary: The Quest for Consistency. Springer International Publishing , London , pp. 533-561. ISBN 978-3-319-10102-6
Abstract
In this paper we show that the existence of ω-models of bar induction is equivalent to the principle saying that applying the Howard–Bachmann operation to any well-ordering yields again a well-ordering.
Metadata
Item Type: | Book Section |
---|---|
Authors/Creators: |
|
Editors: |
|
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 11 May 2015 11:14 |
Last Modified: | 08 Mar 2016 18:16 |
Published Version: | http://dx.doi.org/10.1007/978-3-319-10103-3_19 |
Status: | Published |
Publisher: | Springer International Publishing |
Identification Number: | 10.1007/978-3-319-10103-3_19 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:85844 |
Download not available
A full text copy of this item is not currently available from White Rose Research Online