scientific article
From MaRDI portal
Publication:3778017
zbMath0637.03055MaRDI QIDQ3778017
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functordirect limitsdilatorpull-backsordinal assignmentcategory of ordinalsfinite typesBachmann-Howard-ordinalptykes
Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Recursive ordinals and ordinal notations (03F15) Combinatory logic and lambda calculus (03B40)
This page was built for publication: