A note on Russell's paradox in locally Cartesian closed categories
type: Item
instance of: scholarly article
title: A note on Russell's paradox in locally Cartesian closed categories
zbMATH Open document ID: 0702.03036
DOI: 10.1007/BF00370830
author: Elsie Sterbin Gottlieb
published in: Studia Logica
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 4150149
zbMATH Keywords: generic morphism
zbMATH Keywords: fragment of Martin-Löf's extensional type theory
zbMATH Keywords: Russell's paradox
zbMATH Keywords: categorical version of the paradox
zbMATH Keywords: locally cartesian closed category
MaRDI profile type: Publication
cites work: Q3345748
cites work: Generalized algebraic theories and contextual categories
cites work: A note on inconsistencies caused by fixpoints in a cartesian closed category
cites work: Q5752573
cites work: On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
cites work: Q3727946
cites work: Locally cartesian closed categories and type theory
cites work: On the syntax of Martin-Löf's type theories
full work available at URL: https://doi.org/10.1007/bf00370830
OpenAlex ID: W1974294638
description: scientific article; zbMATH DE number 4150149