On the consistency of self-referential systems

Journal of Symbolic Logic 52 (2):425-436 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274392

Links

PhilArchive



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

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

Formally Self-Referential Propositions for Cut Free Analysis and Related Systems.Georg Kreisel & Gaisi Takeuti - 1985 - Journal of Symbolic Logic 50 (1):244-246.
Review: Georg Kreisel, Gaisi Takeuti, Formally Self-Referential Propositions for Cut Free Analysis and Related Systems; Peter Pappinghaus, A Version of the ∑1 1 -Reflection Principle for CFA Provable in PRA. [REVIEW]Carlo Cellucci - 1985 - Journal of Symbolic Logic 50 (1):244-246.
Review: Frederic B. Fitch, Self-Referential Relations. [REVIEW]A. N. Prior - 1959 - Journal of Symbolic Logic 24 (3):240-240.
A weak absolute consistency proof for some systems of illative combinatory logic.M. W. Bunder - 1983 - Journal of Symbolic Logic 48 (3):771-776.
The Consistency of $\mathrm{ZFC} + 2^{\aleph0} > \aleph\omega + \mathscr{J} = \mathscr{J}$.Martin Gilchrist & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (4):1151-1160.
Definability of self-referential systems.Jacob Zimbarg Sobrinho - 1988 - Notre Dame Journal of Formal Logic 29:574-578.
Definability in self-referential systems.J. Zimbarg Sobrinho - 1988 - Notre Dame Journal of Formal Logic 29 (4):574-578.
Calculating self-referential statements: Guaspari sentences of the first kind.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):329-344.
Review: O. V. Zich, On the Consistency of Logistic Systems. [REVIEW]K. Reach - 1940 - Journal of Symbolic Logic 5 (1):39-39.
Axiomatic Systems, Conceptual Schemes, and the Consistency of Mathematical Theories.Robert Mcnaughton - 1962 - Journal of Symbolic Logic 27 (2):221-222.

Analytics

Added to PP
2009-01-28

Downloads
15 (#950,671)

6 months
15 (#234,774)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.

Add more references