Ordinal spectra of first-order theories

DOI10.2307/2271870zbMath0411.03035OpenAlexW2111089808MaRDI QIDQ4198742

John S. Schlipf

Publication date: 1978

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

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

zbMATH Keywords

ordinal spectrum for consistent first-order theories

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (1)

Applications of Fodor's lemma to Vaught's conjecture

Cites Work

• Elementary induction on abstract structures
• On Moschovakis closure ordinals

This page was built for publication: Ordinal spectra of first-order theories