Solution to a problem of Gandy's
From MaRDI portal
Publication:4088802
DOI10.4064/fm-81-2-99-106zbMath0325.02028OpenAlexW842203527MaRDI QIDQ4088802
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214629
Hierarchies of computability and definability (03D55) Proof theory and constructive mathematics (03F99) Other classical first-order model theory (03C68)
Related Items