Iterated reflection principles and the ω-rule
Journal of Symbolic Logic 47 (4):721-733 (1982)
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWolfgang Spohn & Matthias Hild (2008). The Measurement of Ranks and the Laws of Iterated Contraction. Artificial Intelligence 172:1195-1218.
Bernard Walliser & Denis Zwirn (2002). Can Bayes' Rule Be Justified by Cognitive Rationality Principles? Theory and Decision 53 (2):95-135.
Robert C. Kerber (2002). Markovnikov's Rule in History and Pedagogy. Foundations of Chemistry 4 (1):61-72.
Mark Bennett (2011). Hart and Raz on the Non-Instrumental Moral Value of the Rule of Law: A Reconsideration. Law and Philosophy 30 (5):603-635.
Zlatan Damnjanovic (1998). Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive $\Omega$ -Rule. Notre Dame Journal of Formal Logic 39 (3):363-388.
Dominic Gregory (2011). Iterated Modalities, Meaning and A Priori Knowledge. Philosophers' Imprint 11 (3).
S. Feferman & G. Jäger (1983). Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. Journal of Symbolic Logic 48 (1):63-70.
Paul Larson (2000). Separating Stationary Reflection Principles. Journal of Symbolic Logic 65 (1):247-258.
George Boolos (1979). Reflection Principles and Iterated Consistency Assertions. Journal of Symbolic Logic 44 (1):33-35.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,830 of 549,087 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
