scientific article; zbMATH DE number 832104

zbMATH Open0838.18003MaRDI QIDQ4861177FDOQ4861177

Authors: A. Carboni 

Publication date: 6 June 1996

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Filtered colimits in the effective topos
• Regular functors and relative realisability categories
• Relative completions
• 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)