Work

An analysis of Girard's paradox

Year: 1986

Type: article

Abstract: this article is to present applications of the Burali-Forti paradox to some formal systems. The first such application is due to J.Y. Girard, who showed

Author: Thierry Coquand

Institution: Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1520936552

FWCI: 8.507

Cites:

Cited by: 151

Related to: 10