On the algebraization of Henkin‐type second‐order logic

Abstract: There is an extensive literature related to the algebraization of first‐order logic. But the algebraization of full second‐order logic, or Henkin‐type second‐order logic, has hardly been researched. The question arises: what kind of set algebra is the algebraic version of a Henkin‐type model of second‐order logic? The question is investigated within the framework of the theory of cylindric algebras. The answer is: a kind of cylindric‐relativized diagonal restricted set algebra. And the class of the subdirect products of these set algebras is the algebraization of Henkin‐type second‐order logic. It is proved that the algebraization of a complete calculus of the Henkin‐type second‐order logic is a class of a kind of diagonal restricted cylindric algebras. Furthermore, the connection with the non‐standard enlargements of standard complete second‐order structures is investigated.

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch

References and Relationships

• Bibliographic citation: On the algebraization of Henkin‐type second‐order logic ; day:06 ; month:02 ; year:2022 ; extent:10 ; Mathematical logic quarterly ; (06.02.2022) (gesamt 10)

Contributors, Places and Time

• Creator: Ferenczi, Miklós

Further information

• DOI: 10.1002/malq.202100057
• URN: urn:nbn:de:101:1-2022020714002785306817
• Rights: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 15.08.2025, 7:32 AM CEST