Theories for Admissible Sets: A Unifying Approach to Proof Theory
Bibliopolis (1986)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Proof theory Admissible sets | |||||||||
| Categories | ||||||||||
| Buy the book | $48.84 used $426.24 new Amazon page | |||||||||
| Call number | QA9.54.J34 1986 | |||||||||
| ISBN(s) | 8870881490 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesRobert Goldblatt & Michael Kane (2010). An Admissible Semantics for Propositionally Quantified Relevant Logics. Journal of Philosophical Logic 39 (1).
Shaughan Lavine (1992). A Spector-Gandy Theorem for cPCd(A) Classes. Journal of Symbolic Logic 57 (2):478 - 500.
Gerhard Jäger & Thomas Strahm (2001). Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. Journal of Symbolic Logic 66 (2):935-958.
T. A. Slaman (1986). ∑1 Definitions with Parameters. Journal of Symbolic Logic 51 (2):453 - 461.
Mark Nadel & Jonathan Stavi (1977). The Pure Part of HYP(M). Journal of Symbolic Logic 42 (1):33-46.
Jeremy Avigad (2002). An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations. Journal of Mathematical Logic 2 (01):91-112.
Jon Barwise (1975). Admissible Sets and Structures: An Approach to Definability Theory. Springer-Verlag.
Jacob Lurie (1999). Anti-Admissible Sets. Journal of Symbolic Logic 64 (2):407-435.
Sy D. Friedman (1979). HC of an Admissible Set. Journal of Symbolic Logic 44 (1):95-102.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
