On nfu

Notre Dame Journal of Formal Logic 33 (1):112-119 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1992

DOI

10.1305/ndjfl/1093636013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

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

The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
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 3-Stratifiable Theorems of $\mathit{NFU} \infty$.Marcel Crabbé - 1999 - Notre Dame Journal of Formal Logic 40 (2):174-182.
Russell's paradox of the totality of propositions.Nino B. Cocchiarella - 2000 - Nordic Journal of Philosophical Logic 5 (1):25-37.
Strong axioms of infinity in NFU.M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (1):87-116.
Errata in "strong axioms of infinity in NFU".M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (4):1974.
Sets and Plural Comprehension.Keith Hossack - 2014 - Journal of Philosophical Logic 43 (2-3):517-539.
Permutations and Wellfoundedness: The True Meaning of the Bizarre Arithmetic of Quine's NF.Thomas Forster - 2006 - Journal of Symbolic Logic 71 (1):227 - 240.
Enriched stratified systems for the foundations of category theory.Solomon Feferman - unknown
Prelogic of logoi.Marcel Crabbé - 1976 - Studia Logica 35 (3):219 - 226.
Stratification and cut-elimination.Marcel Crabbé - 1991 - Journal of Symbolic Logic 56 (1):213-226.
On the consistency of an impredicative subsystem of Quine's NF.Marcel Crabbé - 1982 - Journal of Symbolic Logic 47 (1):131-136.
Typical ambiguity and the axiom of choice.Marcel Crabbé - 1984 - Journal of Symbolic Logic 49 (4):1074-1078.
The rise and fall of typed sentences.Marcel Crabbé - 2000 - Journal of Symbolic Logic 65 (4):1858-1862.
Gabriel Marcel na Correspondência com Gaston Fessard.Roque Cabral - 1989 - Revista Portuguesa de Filosofia 45 (4):549 - 559.

Analytics

Added to PP
2010-08-24

Downloads
23 (#698,613)

6 months
11 (#268,761)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Decreasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Mathematical Logic Quarterly 63 (5):342-363.
The Axiom Scheme of Acyclic Comprehension.Zuhair Al-Johar, M. Randall Holmes & Nathan Bowler - 2014 - Notre Dame Journal of Formal Logic 55 (1):11-24.
Intuitionistic typical ambiguity.Daniel Dzierzgowski - 1992 - Archive for Mathematical Logic 31 (3):171-182.
Increasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Annals of Pure and Applied Logic 168 (10):1902-1926.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references