Undecidable and creative theories

DOI10.4064/fm-49-2-171-179zbMath0096.24302OpenAlexW1268767236MaRDI QIDQ3274970

J. R. Shoenfield

Publication date: 1961

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213588

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (6)

There are no minimal effectively inseparable theories ⋮ Recursive functions and existentially closed structures ⋮ Incomparable prime ideals of recursively enumerable degrees ⋮ Creativity and Effective Inseparability ⋮ Recursively enumerable sets and degrees ⋮ Strong reducibilities

This page was built for publication: Undecidable and creative theories