Elementarily definable analysis
From MaRDI portal
Publication:5847176
DOI10.4064/fm-41-2-311-338zbMath0064.00902OpenAlexW805212132MaRDI QIDQ5847176
Publication date: 1955
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213359
Related Items
Some results in the effective descriptive set theory ⋮ La prédicativité ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC