Zur Axiomatik der Friedmanschen Theorie der Prädikate

DOI10.1002/MALQ.19860320702zbMath0564.03015OpenAlexW2156641047MaRDI QIDQ3677738

Martin Kühnrich

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1002/malq.19860320702

zbMATH Keywords

classescomprehensionPTFriedman's theory of predicatessecond-order axiomatizationwell- foundedness

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30)

This page was built for publication: Zur Axiomatik der Friedmanschen Theorie der Prädikate