Ann. Pure Appl. Logic : Erratum to “What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory” [53 199–260] [Book Review]

Annals of Pure and Applied Logic 89 (2-3):275 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1998

DOI

10.1016/s0168-0072(97)00043-2

Links

PhilArchive



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

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

What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory.Jean Gallier - 1991 - Annals of Pure and Applied Logic 53 (3):199-260.
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.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
Erratum to: “Some model-theoretic results in the algebraic theory of quadratic forms” [Ann. Pure Appl. Logic 112 (2–3) (2001) 189–223]. [REVIEW]Vincent Astier - 2009 - Annals of Pure and Applied Logic 160 (1):127-128.
ALLEN, B., Arithmetizing Uniform NC BASARAB, SA, Relative elimination of quantifiers for Hen-selian valued fields BUSS, SR, The undecidability of k-provability GALLIER, JH, What's so special about Kruskal's theorem and.A. Nesin, A. Pillay & V. Razenj - 1991 - Annals of Pure and Applied Logic 53:297.
Erratum to “Zero-one laws for modal logic” [Ann. Pure Appl. Logic 69 (1994) 157–193].Joseph Y. Halpern & Bruce M. Kapron - 2003 - Annals of Pure and Applied Logic 121 (2-3):281-283.
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.Andreas Weiermann - 2005 - Annals of Pure and Applied Logic 136 (1):189-218.
Erratum to “On the reflection invariance of residuated chains” [Ann. Pure Appl. Logic 161 (2009) 220–227].Sándor Jenei - 2010 - Annals of Pure and Applied Logic 161 (12):1603-1604.
Erratum to “State-morphism MV-algebras” [Ann. Pure Appl. Logic 161 (2009) 161–173].Antonio Di Nola, A. Dvurečenskij & Ada Lettieri - 2010 - Annals of Pure and Applied Logic 161 (12):1605-1607.
Ann. pure appl. logic : Erratum to “coalgebraic logic” 96 277–317.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 99 (1-3):241-259.
Erratum to “Free abelian lattice-ordered groups” [Ann. Pure Appl. Logic 134 (2–3) (2005) 265–283].A. M. W. Glass, Angus Macintyre & Françoise Point - 2016 - Annals of Pure and Applied Logic 167 (4):431-433.
Elementary patterns of resemblance.Timothy J. Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.
Erratum to “computable isomorphisms, degree spectra of relations, and Scott families” [ann. pure appl. logic 93 (1998) 153–193]. [REVIEW]Bakhadyr Khoussainov & Richard A. Shore - 1999 - Annals of Pure and Applied Logic 98 (1-3):297-298.
Erratum to “Elimination of unbounded quantifiers for some poly-regular groups of infinite rank” [Ann. Pure Appl. Logic 149 (1–3) (2007) 40–80]. [REVIEW]Philip Scowcroft - 2013 - Annals of Pure and Applied Logic 164 (1):65.
Elementary patterns of resemblance.Timothy Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.

Analytics

Added to PP
2014-03-22

Downloads
3 (#1,697,950)

6 months
3 (#987,746)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references