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)

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