scientific article; zbMATH DE number 3248820

zbMath0155.02301MaRDI QIDQ5537625

Leon Henkin

Publication date: 1968

Full work available at URL: http://www.numdam.org/item?id=CM_1968__20__88_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

set theory

Related Items

Leon Henkin and Cylindric Algebras, Leon Henkin the Reviewer, On taking subalgebras of relativized relation algebras, Stateful Behavioral Types for Active Objects, Combinations of structures, Cylindric algebras and finite polyadic algebras

Cites Work

• Unnamed Item
• Undecidable theories
• Consistency of the Continuum Hypothesis. (AM-3)