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

complete internal categoryconstructive set theoryeffective domainseffective toposmodest objectspolymorphism

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

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)