scientific article; zbMATH DE number 3889522

MaRDI QIDQ3222839zbMATH OpenFDO

Authors Andrea Cantini

Publication date 1983

zbMATH Keywords

axiom of infinityDialectica interpretationKripke-Platek set theoryordinal analysispredicative classes

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Relative consistency and interpretations (03F25)

Recommendations

• AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS
• scientific article; zbMATH DE number 4057507
• On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION
• A note on recursive models of set theories
• scientific article; zbMATH DE number 4039884

Cited in

(6)

• A note on recursive models of set theories
• scientific article; zbMATH DE number 4014709 (Why is no real title available?)
• On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION
• Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory
• scientific article; zbMATH DE number 4039884 (Why is no real title available?)
• scientific article; zbMATH DE number 1420850 (Why is no real title available?)

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