Axiomatizable theories with few axiomatizable extensions

DOI10.2307/2270510zbMATH Open0209.01204OpenAlexW2033807440MaRDI QIDQ5609359FDOQ5609359

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 \(\Pi^0_1\) classes
• Automorphisms of the lattice of \(\Pi_1^0\) classes; perfect thin classes and anc degrees
• Countable thin \(\Pi^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)