ABOUT MODEST SETS

DOI10.1142/S0129054190000242MaRDI QIDQ3353232zbMATH OpenOpenAlexFDO

Authors

Publication date 1990

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054190000242

zbMATH Keywords

polymorphismconstructive set theoryeffective toposeffective domainscomplete internal categorymodest objects

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25) Semantics in the theory of computing (68Q55)

Recommendations

• The Discrete Objects in the Effective Topos
• A small complete category
• scientific article; zbMATH DE number 517052
• Axiomatizing higher-order Kleene realizability
• scientific article; zbMATH DE number 4047722

Cited in

(16)

• scientific article; zbMATH DE number 517052 (Why is no real title available?)
• A modest model of records, inheritance, and bounded quantification
• On some peculiar aspects of the constructive theory of point-free spaces
• On categorical structures arising from implicative algebras: from topology to assemblies
• Some free constructions in realizability and proof theory
• Axiomatizing higher-order Kleene realizability
• A note on ``Extensional PERs
• Fixed points in Cartesian closed categories
• The Discrete Objects in the Effective Topos
• A small complete category
• Some economic applications of Scott domains
• On completeness and cocompleteness in and around small categories
• An exper model for Quest
• Two remarks on the Lifschitz realizability topos
• An exactification of the monoid of primitive recursive functions
• On Tarski’s fixed point theorem

This page was built for publication: ABOUT MODEST SETS

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