Relative completions

DOI10.1016/J.JPAA.2004.01.011zbMATH Open1052.03041OpenAlexW4210689287MaRDI QIDQ1878419FDOQ1878419

Authors: Pieter 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

Recommendations

• Regular and exact completions
• scientific article; zbMATH DE number 832104
• scientific article; zbMATH DE number 954402
• Regular functors and relative realisability categories
• scientific article; zbMATH DE number 1247371

zbMATH Keywords

realizabilitycompletionsassembliesrealizability toposes

Mathematics Subject Classification ID

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

Cites Work

• Regular and exact completions
• Title not available (Why is that?)
• Locally cartesian closed exact completions
• Some free constructions in realizability and proof theory
• Title not available (Why is that?)
• Ordered partial combinatory algebras
• Cocomplete toposes whose exact completions are toposes

Cited In (7)

• Regular functors and relative realisability categories
• Semi-initial completions
• A characterization of generalized existential completions
• Completion varieties
• The Relation Between Complete and Incomplete Search
• Constructive reflectivity principles for regular theories
• On linear exactness properties

This page was built for publication: Relative completions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878419)