A note on Russell's paradox in locally Cartesian closed categories

DOI10.1007/BF00370830zbMath0702.03036OpenAlexW1974294638MaRDI QIDQ914668

Elsie Sterbin Gottlieb

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370830

zbMATH Keywords

Russell's paradoxcategorical version of the paradoxfragment of Martin-Löf's extensional type theorygeneric morphismlocally cartesian closed category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Intuitionistic sets and ordinals, A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on inconsistencies caused by fixpoints in a cartesian closed category
• Generalized algebraic theories and contextual categories
• On the syntax of Martin-Löf's type theories
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
• Locally cartesian closed categories and type theory