The relative consistency of system RRC* and some of its extensions
Studia Logica 53 (3):351 - 360 (1994)
| Abstract | We present a relative consistency proof for second order systemRRC* and for certain important extensions of this system. The proof proceeds as follows: we prove first the equiconsistency of the strongest of such extensions (viz., systemH RRC*+(/CP**)) with second order systemT * . Now, N. Cocchiarella has shown thatT * is relatively consistent to systemT*+Ext; clearly, it follows thatH RRC*+(/CP**) is relatively consistent toT*+E xt. As an immediate consequence, the relative consistency ofRRC* and the other extensions also follows, being all of them subsystems ofH RRC*+(/CP**). | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWilfried Sieg (1990). Relative Consistency and Accessible Domains. Synthese 84 (2):259 - 297.
Andrés Villaveces (1999). Heights of Models of ZFC and the Existence of End Elementary Extensions II. Journal of Symbolic Logic 64 (3):1111-1124.
Holger Rosencrantz (2008). Properties of Goal Systems: Consistency, Conflict, and Coherence. Studia Logica 89 (1):37 - 58.
Sergei Artëmov & Franco Montagna (1994). On First-Order Theories with Provability Operator. Journal of Symbolic Logic 59 (4):1139-1153.
George Kafkoulis (1994). The Consistency Strength of an Infinitary Ramsey Property. Journal of Symbolic Logic 59 (4):1158-1195.
Max A. Freund (2001). A Temporal Logic for Sortals. Studia Logica 69 (3):351-380.
Max A. Freund (2000). A Complete and Consistent Formal System for Sortals. Studia Logica 65 (3):367-381.
Max A. Freund (1996). Semantics for Two Second-Order Logical Systems: $\Equiv$ RRC* and Cocchiarella's RRC. Notre Dame Journal of Formal Logic 37 (3):483-505.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,507 of 548,976 )Recent downloads (6 months)1 ( #63,511 of 548,976 )How can I increase my downloads? |
My notes
Discussion
