On the representation of Herbrand functions in algebraically closed fields

DOI10.2307/2964180zbMath0208.01205OpenAlexW2122006088MaRDI QIDQ5608751

Abraham Robinson, A. H. Lightstone

Publication date: 1957

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

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

Mathematics Subject Classification ID

Model theory (03C99)

Related Items (2)

Abraham Robinson, 1918-1974 ⋮ Metamathematical problems

Cites Work

• Complete theories
• On predicates in algebraically closed fields

This page was built for publication: On the representation of Herbrand functions in algebraically closed fields