scientific article; zbMATH DE number 4002082

MaRDI QIDQ3754609zbMATH OpenFDO

Authors Juichi Shinoda

Publication date 1985

zbMATH Keywords

countable F-admissible ordinalKleene objectTugué objecttype 2 object

Mathematics Subject Classification ID

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

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

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)