Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 , pp. 113–159 [Book Review]

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

No versions found

Links

PhilArchive



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

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.
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 , pp. 21–27. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Wilfried Sieg. Fragments of arithmetic. Annals of pure and applied logic, vol. 28 , pp. 33–71.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
Greg Hjorth and Alexander S. Kechris. Analytic equivalence relations and Ulm-type classifications. The journal of symbolic logic, vol. 60 , pp. 1273–1300. - Greg Hjorth, Alexander S. Kechris, and Alain Louveau. Borel equivalence relations induced by actions of the symmetric group. Annals of pure and applied logic, vol. 92 , pp. 63–112. [REVIEW]Sławomir Solecki - 2001 - Bulletin of Symbolic Logic 7 (4):541-544.
Gisela Ahlbrandt and Martin Ziegler. Quasi finitely axiomatizable totally categorical theories. Annals of pure and applied logic, vol. 30 , pp. 63–82. - Ehud Hrushovski. Totally categorical structures. Transactions of the American Mathematical Society, vol. 313 , pp. 131–159. [REVIEW]B. Zil'ber - 1993 - Journal of Symbolic Logic 58 (2):713-714.
Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 , pp. 103–130. [REVIEW]Ulrich Kohlenbach - 2000 - Bulletin of Symbolic Logic 6 (3):356-357.
Jan Krajíček. On the number of steps in proofs. Annals of pure and applied logic, vol. 41 , pp. 153–178.William M. Farmer - 1991 - Journal of Symbolic Logic 56 (1):334-335.
Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 , pp. 159–188.G. Mints - 1998 - Journal of Symbolic Logic 63 (3):1185.
Moti Gitik and Menachem Magidor. Extender based forcings. The Journal of Symbolic Logic, vol. 59 , pp. 445–460. - Moti Gitik and William J. Mitchell. Indiscernible sequences for extenders, and the singular cardinal hypothesis. Annals of Pure and Applied Logic, vol. 82 , pp. 273–316. - Moti Gitik. Blowing up the power of a singular cardinal. Annals of Pure and Applied Logic, vol. 80 , pp. 17–33. - Moti Gitik and Carmi Merimovich. Possible values for and. Annals of Pure and Applied Logic, vol. 90 , pp. 193–241. - Moti Gitik. Blowing up power of a singular cardinal—wider gaps. Annals of Pure and Applied Logic, vol. 116 , pp. 1–38. [REVIEW]Akihiro Kanamori - 2003 - Bulletin of Symbolic Logic 9 (2):237-241.

Analytics

Added to PP
2013-11-21

Downloads
32 (#710,849)

6 months
8 (#600,396)

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