Two concepts from the theory of models

DOI10.2307/2268482MaRDI QIDQ3233191zbMATH OpenOpenAlexFDO

Authors Leon Henkin

Publication date 1956

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

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

zbMATH Keywords

foundations, philosophy, logic

Cites work

• On the metamathematics of algebra
• The algebra of topology

Cited in

(6)

• Quasivarieties of algebraic systems
• Properties preserved under algebraic constructions
• In Memoriam: Leon Albert Henkin 1921–2006
• The finite embeddability property for IP loops and local embeddability of groups into finite IP loops
• Unions of Relational Systems
• Finite embeddability property for residuated lattices via regular languages

This page was built for publication: Two concepts from the theory of models

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