Some Interconnections Between Modern Algebra and Mathematical Logic

DOI10.2307/1990810zbMath0050.00603OpenAlexW4231572128MaRDI QIDQ5817393

Leon Henkin

Publication date: 1953

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Bjarni Jónsson's contributions in algebra ⋮ Leon Henkin the Reviewer ⋮ Finite embeddability property for residuated lattices via regular languages ⋮ Properties preserved under algebraic constructions ⋮ Andrzej Mostowski and the Notion of a Model ⋮ Lefschetz extensions, tight closure and big Cohen-Macaulay algebras ⋮ The finite embeddability property for IP loops and local embeddability of groups into finite IP loops ⋮ Systems of representatives ⋮ Characterization of bands satisfying no non-trivial identity ⋮ Model Theory for the Higher Order Predicate Calculus ⋮ Complex structures and composite models - An essay on methodology ⋮ Unnamed Item