Degrees of types and independent sequences

DOI10.2307/2273670zbMath0541.03015OpenAlexW2038972143MaRDI QIDQ3328526

Julia F. Knight

Publication date: 1983

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

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

zbMATH Keywords

recursive saturationcountable theoriescomplete theoriescomplete typesindependent sequence of formulas

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Other degrees and reducibilities in computability and recursion theory (03D30) Other model constructions (03C30)

Related Items (2)

Members of countable \(\Pi ^ 0_ 1\) classes ⋮ Degree-theoretic bounds on the morley rank

This page was built for publication: Degrees of types and independent sequences