Predicative provability in set theory

DOI10.1090/S0002-9904-1966-11509-4MaRDI QIDQ5527011zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1966

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9904-1966-11509-4

zbMATH Keywords

set theory

Cites work

• Persistent and invariant formulas relative to theories of higher order
• Systems of predicative analysis

Cited in

(5)

• Predicativity and Feferman
• Feferman's skepticism about set theory
• scientific article; zbMATH DE number 3259043 (Why is no real title available?)
• scientific article; zbMATH DE number 3290305 (Why is no real title available?)
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

This page was built for publication: Predicative provability in set theory

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