Searching for "The Burali-Forti Paradox." – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
An Analysis of Girard's Paradox
- … of this article is to present applications of the Burali-Forti paradox to some formal systems. The first…
- Cited by 53 (2 self) – Add To MetaCart
-
Lambda-Calculus As A Foundation Of Mathematics
- … on the difference between Russells and Burali-Fortis paradoxes, and also sheds some light on why it is consistent…
- Add To MetaCart
-
A Generic Normalisation Proof for Pure Type Systems
- … transposed the Burali-Forti paradox to type theory, Martin-Lof replied by suppressing the guilty Type : Type…
- Add To MetaCart
-
On Coquand's "An Analysis of Girard's Paradox"
- … polymorphic lambda calculus 1.5 The Burali-Forti Paradox The technique Coquand uses in [3] to show systems…
- Add To MetaCart
-
The paradox of trees in Type Theory
- … the given function "! times" on any element of A. 4. Russell and Burali-Forti paradox. It turns out…
- Cited by 2 (0 self) – Add To MetaCart
-
Intuitionistic Sets and Ordinals
- … the individuals, except for the question of size (the Burali-Forti paradox). This issue may be traced…
- Cited by 4 (1 self) – Add To MetaCart
-
A Century of Controversy Over the Foundations of Mathematics
- … mentioned is called the Russell paradox, and there's another paradox, the Burali-Forti paradox. A lot…
- Cited by 2 (0 self) – Add To MetaCart
-
A Century of Controversy
- … mentioned is called the Russell paradox, and there’s another paradox, the Burali-Forti paradox. A lot…
- Add To MetaCart
-
Types in Logic and Mathematics before 1940
- … version does not face the Burali-Forti paradox. The approach of type theory however, is completely dierent…
- Cited by 3 (1 self) – Add To MetaCart
-
A construction of Type:Type in Martin-Löf's partial type theory with one universe
- …), and this is seen by proving a variant of the Burali-Forti paradox -- Girard's paradox -- cf. Troelstra and van…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
