Axiomatizable theories with few axiomatizable extensions

DOI10.2307/2270510MaRDI QIDQ5609359zbMATH OpenOpenAlexFDO

Authors Donald A. Martin, Marian Boykan Pour-El

Publication date 1970

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2270510

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

Cited in

(14)

• The upward closure of a perfect thin class
• Index sets for ^0_1 classes
• Automorphisms of the lattice of \(\Pi_1^0\) classes; perfect thin classes and anc degrees
• Countable thin ^0_1 classes
• The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees
• Degrees containing members of thin \(\Pi_1^0\) classes are dense and co-dense
• Maximal theories
• Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree
• Strong reducibilities
• Effectively dense Boolean algebras and their applications
• Mass Problems and Randomness
• Members of thin \(\Pi_1^0\) classes and generic degrees
• Recursively enumerable sets and degrees
• On the degree spectrum of a \(\Pi ^0_1\) class

This page was built for publication: Axiomatizable theories with few axiomatizable extensions

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