Tripos theory
type: Item
instance of: scholarly article
title: Tripos theory
zbMATH Open document ID: 0451.03027
DOI: 10.1017/S0305004100057534
author: Martin Hyland
author: Andrew M. Pitts
author: Peter Johnstone
published in: Mathematical Proceedings of the Cambridge Philosophical Society
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03D99
Mathematics Subject Classification ID: 18D30
Mathematics Subject Classification ID: 18B35
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 3704581
zbMATH Keywords: realizability toposes
zbMATH Keywords: tripos
zbMATH Keywords: topos-representing indexed pre-ordered set
zbMATH Keywords: hyperdoctrine
zbMATH Keywords: topos of P-valued sets
MaRDI profile type: Publication
cites work: An algebraic approach to non-classical logics
cites work: Adjointness in Foundations
full work available at URL: s0305004100057534
OpenAlex ID: W4243933121
description: scientific article