scientific article; zbMATH DE number 4037857

MaRDI QIDQ3778017zbMATH OpenFDO

Authors Peter Paeppinghaus

Publication date 1985

zbMATH Keywords

Bachmann-Howard-ordinalcategory of ordinalsdilatordirect limitsfinite typesfunctorordinal assignmentptykespull-backs

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Recursive ordinals and ordinal notations (03F15) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Recommendations

• Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)
• A proof-theoretical analysis of ptykes
• scientific article; zbMATH DE number 4134007
• Embeddability of ptykes
• Functoroids and ptykoids

Cited in

(10)

• A proof-theoretical analysis of ptykes
• Functoroids and ptykoids
• Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)
• Introduction to \(\Pi^1_2\)-logic
• scientific article; zbMATH DE number 2185726 (Why is no real title available?)
• Typed ψ-calculi
• Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
• scientific article; zbMATH DE number 1223630 (Why is no real title available?)
• scientific article; zbMATH DE number 1498422 (Why is no real title available?)
• Some logical and syntactical observations concerning the first-order dependent type system λP

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