An intuitionistic proof of Kruskal’s theorem

Archive for Mathematical Logic 43 (2):215-264 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s00153-003-0207-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.
An intuitionistic version of zermelo's proof that every choice set can be well-ordered.J. Todd Wilson - 2001 - Journal of Symbolic Logic 66 (3):1121-1126.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
A proof-search procedure for intuitionistic propositional logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory.Jean H. Gallier - 1991 - Annals of Pure and Applied Logic 53 (3):199-260.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
A semantical proof of De Jongh's theorem.Jaap van Oosten - 1991 - Archive for Mathematical Logic 31 (2):105-114.
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.Agata Ciabattoni - 2005 - Archive for Mathematical Logic 44 (4):435-457.
Phenomenology and Transcendental Argument in Mathematics: The Case of Brouwer's Bar Theorem.Mark van Atten - unknown
A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.

Analytics

Added to PP
2013-11-23

Downloads
33 (#472,429)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Two simple sets that are not positively Borel.Wim Veldman - 2005 - Annals of Pure and Applied Logic 135 (1-3):151-209.
The fine structure of the intuitionistic borel hierarchy.Wim Veldman - 2009 - Review of Symbolic Logic 2 (1):30-101.

Add more citations

References found in this work

Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
Notes on constructive mathematics.Per Martin-Löf - 1970 - Stockholm,: Almqvist & Wiksell.
Points and Spaces.L. E. J. Brouwer - 1969 - Journal of Symbolic Logic 34 (3):519-519.

View all 9 references / Add more references