The strength of admissibility without foundation

Journal of Symbolic Logic 49 (3):867-879 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274140

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

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

Gerhard Jäger* and Wilfried Sieg.** Feferman on Foundations: Logic, Mathematics, Philosophy.Reinhard Kahle - 2020 - Philosophia Mathematica 28 (3):421-425.
Gerhard Jäger and Robert F. Stärk. A proof-theoretic framework for logic programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 639–682. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):475-476.
On the relationship between fixed points and iteration in admissible set theory without foundation.Dieter Probst - 2005 - Archive for Mathematical Logic 44 (5):561-580.
Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen. [REVIEW]K. Schutte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
Ronald Jager. Russell's denoting complex. Analysis , vol. 20 , pp. 53–62.David Kaplan - 1969 - Journal of Symbolic Logic 34 (1):144-144.
Sy D. Friedman, β-recursion theory. Transactions of the American Mathematical Society, vol. 255 , pp. 173–200. - Sy D. Friedman. Post's problem without admissibility. Advances in mathematics, vol. 35 , pp. 30–49. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):664-665.
‘Nous’ in Plato - Gerhard Jäger: ‘Nus’ in Platons Dialogen. (Hypomnemata, 17.) Pp. 183. Göttingen: Vandenhoeck & Ruprecht, 1967. Paper, DM. 32.A. A. Long - 1971 - The Classical Review 21 (02):184-.
Admissibility of structural rules for contraction-free systems of intuitionistic logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.

Analytics

Added to PP
2009-01-28

Downloads
43 (#523,082)

6 months
19 (#156,439)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Universes in explicit mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Reflections on reflections in explicit mathematics.Gerhard Jäger & Thomas Strahm - 2005 - Annals of Pure and Applied Logic 136 (1-2):116-133.
Universes over Frege structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.

View all 8 citations / Add more citations

References found in this work

A well-ordering proof for Feferman's theoryT 0.Gerhard Jäger - 1983 - Archive for Mathematical Logic 23 (1):65-77.
Beweistheorie vonKPN.Gerhard Jäger - 1980 - Archive for Mathematical Logic 20 (1-2):53-63.

Add more references