Switch to: References

Citations of:

Pure Proof Theory. Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more [Book Review]

Wolfram Pohlers

Bulletin of Symbolic Logic 2 (2):159-188 (1996)

Add citations

You must login to add citations.

(1 other version)Proof theory for theories of ordinals II: Π3-reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1-3):39-92.details This paper deals with a proof theory for a theory T3 of Π3-reflecting ordinals using the system O of ordinal diagrams in Arai 1375). This is a sequel to the previous one 1) in which a theory for recursively Mahlo ordinals is analyzed proof-theoretically. Download Export citation Bookmark 12 citations
Three conceptual problems that bug me (7th Scandinavian Logic Symposium, Uppsala lecture, Aug.18-20, 1996 Draft).Solomon Feferman - unknowndetails I will talk here about three problems that have bothered me for a number of years, during which time I have experimented with a variety of solutions and encouraged others to work on them. I have raised each of them separately both in full and in passing in various contexts, but thought it would be worthwhile on this occasion to bring them to your attention side by side. In this talk I will explain the problems, together with some things that (...) Download Export citation Bookmark 3 citations

1