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)|
|Through your library||Configure|
Similar books and articles
Wilfried 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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #274,507 of 548,976 )
Recent downloads (6 months)1 ( #63,511 of 548,976 )
How can I increase my downloads?