Models of noncontradictory formulas and the Ershov hierarchy

DOI10.1007/BF02284591zbMath0276.02026MaRDI QIDQ1393226

S. D. Denisov

Publication date: 1974

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical first-order logic (03B10) Hierarchies of computability and definability (03D55)

Cites Work

• A formula with no recursively enumerable model
• Trial and error predicates and the solution to a problem of Mostowski
• Normal models and the field $Σ*_1$
• Unnamed Item

This page was built for publication: Models of noncontradictory formulas and the Ershov hierarchy