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
| Authors/Creators: |
|
|---|---|
| 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: | https://doi.org/10.1007/978-3-319-10103-3_19 |
Download not available
A full text copy of this item is not currently available from White Rose Research Online
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)