scientific article; zbMATH DE number 4002082

zbMATH Open0618.03021MaRDI QIDQ3754609FDOQ3754609

Juichi Shinoda

Publication date: 1985

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

Recommendations

• Absolute lax 2-categories
• scientific article; zbMATH DE number 4173992
• Twofold absolute bases
• Type II unprojection
• Absolute cones
• Spherical 2-type surfaces
• A theory of 2-pro-objects
• Abstract refinement types
• Type II universal spacetimes
• Types et contragrédientes

zbMATH Keywords

countable F-admissible ordinalKleene objectTugué objecttype 2 object

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cited In (1)

• Type II unprojection

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 Q3754609)