A substitution free axiom set for second order logic

Notre Dame Journal of Formal Logic 10 (1):18-30 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893584

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Contingent Russell's Paradox.Francesco Orilia - 1996 - Notre Dame Journal of Formal Logic 37 (1):105-111.
A set-theoretical formula equivalent to the axiom of choice.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (3):167-169.
A highly efficient "transfinite recursive definitions" axiom for set theory.Robert S. Wolf - 1981 - Notre Dame Journal of Formal Logic 22 (1):63-75.
Pure second-order logic.Nicholas Denyer - 1992 - Notre Dame Journal of Formal Logic 33 (2):220-224.
On predicate letter formulas which have no substitution instances provable in a first order language.Kenneth Weston - 1965 - Notre Dame Journal of Formal Logic 6 (4):296-300.
A substitution property.Alan C. Wilde - 1974 - Notre Dame Journal of Formal Logic 15 (4):639-640.
A note on the Hanf number of second-order logic.Matt Kaufmann - 1985 - Notre Dame Journal of Formal Logic 26 (4):305-308.
The Dependence of a Mereological Axiom.Robert E. Clay - 1984 - Notre Dame Journal of Formal Logic 11:239--240.
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.
The theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1979 - Notre Dame Journal of Formal Logic 20 (3):505-524.

Analytics

Added to PP
2010-08-24

Downloads
32 (#487,761)

6 months
7 (#591,670)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nino Cocchiarella
Indiana University, Bloomington

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references