scientific article; zbMATH DE number 832104

MaRDI QIDQ4861177zbMATH OpenFDO

Authors A. Carboni

Publication date 6 June 1996

zbMATH Keywords

exact completionfree constructionsregular completionseffective toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25)

Recommendations

• Some free constructions in realizability and proof theory
• Realizability interpretation of proofs in constructive analysis
• Frege's theorem in a constructive setting
• Free ordered algebraic structures towards proof theory
• Realisability for induction and coinduction with applications to constructive analysis
• Realizability for constructive Zermelo-Fraenkel set theory
• Realizability and intuitionistic logic
• Absolute \(L\)-realizability and intuitionistic logic
• Proof-functional connectives and realizability
• On the Constructive Dedekind Reals: Extended Abstract

Cited in

(6)

• Filtered colimits in the effective topos
• Relative completions
• Regular functors and relative realisability categories
• Some free constructions in realizability and proof theory
• Frege's theorem in a constructive setting
• On free constructions

This page was built for publication:

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