Note on An Embedding Theorem for Algebraic Systems

DOI10.1112/jlms/s1-30.2.249zbMath0064.00802OpenAlexW2024257487MaRDI QIDQ5847173

Abraham Robinson

Publication date: 1955

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/jlms/s1-30.2.249

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

On properties of countable character, Ordering coproducts of groups and semigroups, Syntactical Transforms, Abraham Robinson, 1918-1974, Abraham Robinson 1918-1974, Some remarks on cancellative semigroups, The compactness of first-order logic:from gödel to lindström