A note on Russell's paradox in locally Cartesian closed categories (Q914668): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q3345748 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Generalized algebraic theories and contextual categories / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A note on inconsistencies caused by fixpoints in a cartesian closed category / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5752573 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3727946 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Locally cartesian closed categories and type theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the syntax of Martin-Löf's type theories / rank | |||
Normal rank | |||
Revision as of 15:48, 20 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on Russell's paradox in locally Cartesian closed categories |
scientific article |
Statements
A note on Russell's paradox in locally Cartesian closed categories (English)
0 references
1989
0 references
generic morphism
0 references
fragment of Martin-Löf's extensional type theory
0 references
Russell's paradox
0 references
categorical version of the paradox
0 references
locally cartesian closed category
0 references
