Note on a problem of L. Henkin

DOI10.2307/2268483zbMATH Open0071.00702OpenAlexW2020920330MaRDI QIDQ3233192FDOQ3233192

Authors Abraham Robinson

Publication date 1956

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

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

zbMATH Keywords

foundations, philosophy, logic

Cited in

(5)

• Abraham Robinson 1918-1974
• Model Theory for the Higher Order Predicate Calculus
• Abraham Robinson, 1918-1974
• Unions of Relational Systems
• Properties preserved under algebraic constructions

This page was built for publication: Note on a problem of L. Henkin

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3233192)