ABOUT MODEST SETS

DOI10.1142/S0129054190000242zbMATH Open0729.18003OpenAlexW2161023112MaRDI QIDQ3353232FDOQ3353232

Author name not available (Why is that?)

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)

Cited In (14)

• Title not available (Why is that?)
• 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
• Some economic applications of Scott domains
• An exper model for Quest
• On completeness and cocompleteness in and around small categories
• Two remarks on the Lifschitz realizability topos
• An exactification of the monoid of primitive recursive functions
• On Tarski’s fixed point theorem

   Recommendations

• The Discrete Objects in the Effective Topos 👍 👎
• A small complete category 👍 👎
• Title not available (Why is that?) 👍 👎
• Axiomatizing higher-order Kleene realizability 👍 👎
• Title not available (Why is that?) 👍 👎

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)