Omega-models and well-ordering principles

First Author: Rathjen M

Attributed to: WORKSHOP: LEEDS SYMPOSIUM ON PROOF THEORY & CONSTRUCTIVISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://publications.leeds.ac.uk/repository.html?rep=3&pub=307955&file-url=http%3A%2F%2Feprints.whiterose.ac.uk%2Frt4eprints%2Fleeds%2Ffile%2F355414%2FH-Band-Neu.pdf

Type: Book Chapter

Book Title: Foundational Adventures (2014)

Page Reference: 179-212

ISBN: 978-1-84890-117-9