Well-Ordering Proofs for Martin-Löf Type Theory

Bulletin of Symbolic Logic 6 (4):478-479 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/420979

Other Versions

original Setzer, Anton (1998) "Well-ordering proofs for Martin-Löf type theory". Annals of Pure and Applied Logic 92(2):113-159

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Well-ordering proofs for Martin-Löf type theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.
Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 , pp. 113–159. [REVIEW]Wilfried Buchholz - 2000 - Bulletin of Symbolic Logic 6 (4):478-479.
Realizing Mahlo set theory in type theory.Michael Rathjen - 2003 - Archive for Mathematical Logic 42 (1):89-101.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Under Lock and Key: A Proof System for a Multimodal Logic.G. A. Kavvos & Daniel Gratzer - 2023 - Bulletin of Symbolic Logic 29 (2):264-293.
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
Type-two well-ordering principles, admissible sets, and -comprehension.Anton Freund - 2018 - Bulletin of Symbolic Logic 24 (4):460-461.
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems.Nicola Gambino & Marco Federico Larrea - 2023 - Journal of Symbolic Logic 88 (1):242-289.
Computing k-trivial sets by incomplete random sets.Laurent Bienvenu, Adam R. Day, Noam Greenberg, Antonín Kučera, Joseph S. Miller, André Nies & Dan Turetsky - 2014 - Bulletin of Symbolic Logic 20 (1):80-90.
Eta-rules in Martin-löf type theory.Ansten Klev - 2019 - Bulletin of Symbolic Logic 25 (3):333-359.

Analytics

Added to PP
2017-02-22

Downloads
12 (#1,378,580)

6 months
1 (#1,892,267)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references