Elementary patterns of resemblance

Annals of Pure and Applied Logic

Volumn 108, Issue 1-3, 2001, Pages 19-77

  Carlson, Timothy J ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

03F13; Ordinal notations; Proof theory

Indexed keywords

EID: 0346311254     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(00)00040-3     Document Type: Article

References (14)

1. Barwise J. Admissible Sets and Structures. 1975;Springer, Berlin.
2. Beeson M.J. Foundations of Constructive Mathematics. 1985;Springer, Berlin.
3. W .Buchholz, S. Feferman, W. Pohlers, W. Sieg,Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, Lecture Notes in Mathematics, Vol. 897, Springer, Berlin, 1981.
4. Buchholz W., Schütte K. Proof Theory of Impredicative Subsystems of Analysis. 1988;Bibliopolis, Napoli.
5. 1 -elementarity Arch. Math. Logic. 38:1999;449-460.
6. Carlson T. Knowledge, machines, and Reinhardt's strong mechanistic thesis. Ann. Pure Appl. Logic. 105:2000;51-82.
7. Girard J.-Y. Proof Theory and Logical Complexity. Vol. 1:1987;Bibliopolis, Napoli.
8. Hájek P., Pudlaḱ P. Metamathematics of First-Order Arithmetic. 1993;Springer, Berlin.
9. Jäger G. Theories for Admissible Sets: A Unifying Approach to Proof Theory. 1986;Bibliopolis, Napoli.
10. Pohlers W. Proof Theory: An Introduction, Lecture Notes in Mathematics. Vol. 1407:1990;Springer, Berlin.
11. M. Rathjen, Admissible proof theory and beyond, in: D. Prawitz, et al., (Eds.), Logic, Methodology, and Philosophy of Science XI, Elsevier Science, Amsterdam, 1994.
12. 1 -CA and related systems Bull. Symbolic Logic. 1:1995;468-485.
13. Schütte K. Proof Theory. 1977;Springer, Berlin.
14. Takeuti G. Proof Theory. 1987;Elsevier Science, Amsterdam.