Studia Logica 53 (3):351 - 360 (1994)
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||categorize this paper)|
References found in this work BETA
Logical Investigations of Predication Theory and the Problem of Universals.Nino Cocchiarella - 1991 - Noûs 25 (2):221-230.
Frege's Double Correlation Thesis and Quine's Set Theories NF and ML.Nino Cocchiarella - 1985 - Journal of Philosophical Logic 14 (1):1 - 39.
Conceptualism, Ramified Logic, and Nominalized Predicates.Nino Cocchiarella - 1986 - Topoi 5 (1):75-87.
Citations of this work BETA
No citations found.
Similar books and articles
Heights of Models of ZFC and the Existence of End Elementary Extensions II.Andrés Villaveces - 1999 - Journal of Symbolic Logic 64 (3):1111-1124.
On First-Order Theories with Provability Operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
The Consistency Strength of an Infinitary Ramsey Property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
A Complete and Consistent Formal System for Sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
Semantics for Two Second-Order Logical Systems: $\Equiv$ RRC* and Cocchiarella's RRC.Max A. Freund - 1996 - Notre Dame Journal of Formal Logic 37 (3):483-505.
Added to index2009-01-28
Total downloads12 ( #378,504 of 2,171,976 )
Recent downloads (6 months)5 ( #56,773 of 2,171,976 )
How can I increase my downloads?