Extensional Quotients for Type Theory and the Consistency Problem for NF

Journal of Symbolic Logic 63 (1):247-261 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Extensional quotients for type theory and the consistency problem for NF.Gian Aldo Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.
The consistency problem for NF.M. Boffa - 1977 - Journal of Symbolic Logic 42 (2):215-220.
Cantorian Models of Predicative.Panagiotis Rouvelas - 2024 - Journal of Symbolic Logic 89 (2):637-645.
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
The Consistency of Some 4-Stratified Subsystem of NF Including NF 3.Maurice Boffa & Paolo Casalegno - 1985 - Journal of Symbolic Logic 50 (2):407-411.
On the consistency of an impredicative subsystem of Quine's NF.Marcel Crabbé - 1982 - Journal of Symbolic Logic 47 (1):131-136.
A Reduction of the NF Consistency Problem.Athanassios Tzouvaras - 2007 - Journal of Symbolic Logic 72 (1):285 - 304.
Further consistency and independence results in NF obtained by the permutation method.T. E. Forster - 1983 - Journal of Symbolic Logic 48 (2):236-238.
End-extensions preserving power set.Thomas Forster & Richard Kaye - 1991 - Journal of Symbolic Logic 56 (1):323-328.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.

Analytics

Added to PP
2017-02-21

Downloads
2 (#1,450,151)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

G. Aldo Antonelli
University of California, Davis

Citations of this work

Conceptions and paradoxes of sets.G. Aldo Antonelli - 1999 - Philosophia Mathematica 7 (2):136-163.
Free set algebras satisfying systems of equations.G. Aldo Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.

Add more citations

References found in this work

No references found.

Add more references