Some uses of dilators in combinatorial problems. II

DOI10.2307/2274952MaRDI QIDQ3478402zbMATH OpenOpenAlexFDO

Authors V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele

Publication date 1990

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274952

zbMATH Keywords

dilatorincreasing F-sequencesinverse Goodstein sequences

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• scientific article; zbMATH DE number 4031679
• scientific article; zbMATH DE number 4031678
• Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator)
• Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)
• scientific article; zbMATH DE number 3979053

Cites work

• Describing ordinals using functionals of transfinite type
• Π12-logic, Part 1: Dilators

Cited in

(8)

• Finite presentability of strongly finite dilators
• Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)
• A functorial property of the Aczel-Buchholz-Feferman function
• scientific article; zbMATH DE number 4031678 (Why is no real title available?)
• scientific article; zbMATH DE number 4031679 (Why is no real title available?)
• Equalization of finite flowers
• On inverse Goodstein sequences
• scientific article; zbMATH DE number 3979053 (Why is no real title available?)

This page was built for publication: Some uses of dilators in combinatorial problems. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3478402)