Universes in metapredicative analysis

DOI10.1007/S00153-002-0149-8zbMath1031.03073OpenAlexW2068349222MaRDI QIDQ1407581

Christian Rüede

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-002-0149-8

zbMATH Keywords

proof theoryuniversesmetapredicativitysubsystems of second-order analysis

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

Universes over Frege structures

This page was built for publication: Universes in metapredicative analysis