A cumulative hierarchy of predicates
From MaRDI portal
Publication:4087181
DOI10.1002/MALQ.19750210137zbMATH Open0324.02060OpenAlexW2114656407MaRDI QIDQ4087181FDOQ4087181
Authors: Harvey M. Friedman
Publication date: 1975
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19750210137
Cited In (1)
This page was built for publication: A cumulative hierarchy of predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4087181)