Further consistency and independence results in NF obtained by the permutation method

Journal of Symbolic Logic 48 (2):236-238 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273542

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
Frege's new science.G. Aldo Antonelli & Robert C. May - 2000 - Notre Dame Journal of Formal Logic 41 (3):242-270.
Forcing in intuitionistic systems without power-set.R. J. Grayson - 1983 - Journal of Symbolic Logic 48 (3):670-682.
Beltrami's model and the independence of the parallel postulate.J. Scanlan Michael - 1988 - History and Philosophy of Logic 9 (1):13-34.
Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
New aspects of the probabilistic evaluation of hypotheses and experience.Rainer Gottlob - 2000 - International Studies in the Philosophy of Science 14 (2):147 – 163.
Arithmetical independence results using higher recursion theory.Andrew Arana - 2004 - Journal of Symbolic Logic 69 (1):1-8.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.

Analytics

Added to PP
2009-01-28

Downloads
42 (#361,008)

6 months
20 (#119,793)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references