Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
Journal of Symbolic Logic 48 (1):63-70 (1983)
| 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,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn P. Burgess (2010). Axiomatizing the Logic of Comparative Probability. Notre Dame Journal of Formal Logic 51 (1):119-126.
David Dedivi (2004). Choice Principles and Constructive Logics. Philosophia Mathematica 12 (3):222-243.
Jerome Malitz (1983). Downward Transfer of Satisfiability for Sentences of L1,. Journal of Symbolic Logic 48 (4):1146 - 1150.
Gerhard Jäger, Reinhard Kahle, Anton Setzer & Thomas Strahm (1999). The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. Journal of Symbolic Logic 64 (1):53-67.
Anthony de Jasay (1990). A Stocktaking of Perversities. Critical Review 4 (4):537-544.
Douglas N. Walton (2008). Argumentation Schemes. Cambridge University Press.
Dominic Gregory (2011). Iterated Modalities, Meaning and A Priori Knowledge. Philosophers' Imprint 11 (3).
Ulf R. Schmerl (1982). Iterated Reflection Principles and the Ω-Rule. Journal of Symbolic Logic 47 (4):721-733.
Michael Rathjen (1991). The Role of Parameters in Bar Rule and Bar Induction. Journal of Symbolic Logic 56 (2):715-730.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,652 of 549,066 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
