Proof Theory of Constructive Systems: Inductive Types and Univalence

Rathjen, M (2017) Proof Theory of Constructive Systems: Inductive Types and Univalence. In: Jaeger, G and Sieg, W, (eds.) Feferman on Foundations: Logic, Mathematics, Philosophy. Outstanding Contributions to Logic . Springer , pp. 385-419. ISBN 978-3-319-63332-9

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Keywords: Explicit mathematics; Constructive Zermelo-Fraenkel set theory; Martin-Löf type theory; Univalence axiom; Proof-theoretic strength
Dates:
  • Published: 2017
  • Accepted: 26 September 2017
  • Published (online): 30 March 2018
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: 14 Oct 2016 14:23
Last Modified: 24 Aug 2018 13:40
Published Version: http://www.springer.com/gb/book/9783319633329
Status: Published
Publisher: Springer
Series Name: Outstanding Contributions to Logic
Identification Number: https://doi.org/10.1007/978-3-319-63334-3

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export

Statistics