Relative completions

DOI10.1016/J.JPAA.2004.01.011zbMath1052.03041OpenAlexW4210689287MaRDI QIDQ1878419

Pieter J. W. Hofstra

Publication date: 19 August 2004

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2004.01.011

zbMATH Keywords

completionsrealizabilityassembliesrealizability toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Metamathematics of constructive systems (03F50)

Related Items (1)

Regular functors and relative realisability categories

Cites Work

• Cocomplete toposes whose exact completions are toposes
• Regular and exact completions
• Locally cartesian closed exact completions
• Some free constructions in realizability and proof theory
• Ordered partial combinatory algebras
• Unnamed Item
• Unnamed Item

This page was built for publication: Relative completions