Systems of notations and the ramified analytical hierarchy
Journal of Symbolic Logic 39 (2):243-253 (1974)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesEric W. Stein & Norita Ahmad (2009). Using the Analytical Hierarchy Process (Ahp) to Construct a Measure of the Magnitude of Consequences Component of Moral Intensity. Journal of Business Ethics 89 (3):391 - 407.
Roman Frigg & Joseph Berkovitz (2011). The Ergodic Hierarchy. Stanford Encyclopedia of Philosophy.
Twan Laan & Rob Nederpelt (1996). A Modern Elaboration of the Ramified Theory of Types. Studia Logica 57 (2-3):243 - 278.
Fairouz Kamareddine & Twan Laan (2001). A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information 10 (3):375-402.
Athanassios Tzouvaras (1992). On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory. Journal of Symbolic Logic 57 (2):452-460.
Jean-Yves Girard & Jacqueline Vauzeilles (1984). Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. Journal of Symbolic Logic 49 (4):1079 - 1114.
Jean-Yves Girard & Jacqueline Vauzeilles (1984). Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. Journal of Symbolic Logic 49 (3):713-729.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #203,919 of 556,896 )Recent downloads (6 months)1 ( #64,931 of 556,896 )How can I increase my downloads? |
My notes
Discussion
