Bernays-Gödel type theory
type: Item
instance of: scholarly article
title: Bernays-Gödel type theory
zbMATH Open document ID: 1015.03051
DOI: 10.1016/S0022-4049(02)00259-1
author: Carsten Butz
published in: Journal of Pure and Applied Algebra
publication date: 2003-03-09T00:00:00Z
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18A15
zbMATH DE Number: 1878466
zbMATH Keywords: type-theoretical analogue of Bernays-Gödel set-theory
zbMATH Keywords: small structure on a category
MaRDI profile type: Publication
cites work: Q3992552
cites work: Q4856547
cites work: Q4078030
cites work: Q3995720
cites work: Cartesian monads on toposes
cites work: Q3353231
cites work: Q4853985
cites work: Strong functors and monoidal monads
cites work: Sheaves in geometry and logic: a first introduction to topos theory
description: scientific article; zbMATH DE number 1878466