Skolem functions and constructive models

DOI10.1007/BF02218728zbMath0294.02017OpenAlexW2071127196MaRDI QIDQ1212450

Yuri L. Ershov

Publication date: 1975

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

Full work available at URL: https://doi.org/10.1007/bf02218728

Mathematics Subject Classification ID

Model theory (03C99) Computability and recursion theory (03D99) General logic (03B99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (2)

Primitive recursive reverse mathematics ⋮ Recursive models and the divisibility poset

Cites Work

• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Ordering by Divisibility in Abstract Algebras

This page was built for publication: Skolem functions and constructive models