Relative completions
type: Item
instance of: scholarly article
title: Relative completions
zbMATH Open document ID: 1052.03041
published in: Journal of Pure and Applied Algebra
publication date: 2004-08-19T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 2093424
zbMATH Keywords: realizability
zbMATH Keywords: realizability toposes
zbMATH Keywords: assemblies
zbMATH Keywords: completions
author: Pieter Hofstra
MaRDI profile type: Publication
full work available at URL: j.jpaa.2004.01.011
OpenAlex ID: W4210689287
cites work: Some free constructions in realizability and proof theory
cites work: Q3795831
cites work: Locally cartesian closed exact completions
cites work: Regular and exact completions
cites work: Ordered partial combinatory algebras
cites work: Q3671978
cites work: Cocomplete toposes whose exact completions are toposes
DOI: 10.1016/J.JPAA.2004.01.011
description: scientific article; zbMATH DE number 2093424