Undecidable and creative theories

DOI10.4064/FM-49-2-171-179MaRDI QIDQ3274970zbMATH OpenOpenAlexFDO

Authors Joseph 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

Cited in

(6)

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

This page was built for publication: Undecidable and creative theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3274970)