×

Found 8 Documents (Results 1–8)

Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory. (English) Zbl 1439.03108

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 79-172 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Admissible proof theory and beyond. (English) Zbl 0833.03018

Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 123-147 (1994).
PDFBibTeX XMLCite

Fragments of Kripke-Platek set theory with infinity. (English) Zbl 0791.03031

Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 253-273 (1992).
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

Main Field