A completeness theorem for higher order logics

DOI10.2307/2586575zbMath0979.03047OpenAlexW2073070049MaRDI QIDQ4508267

Gábor Sági

Publication date: 3 October 2000

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

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

zbMATH Keywords

representation theoremnon-well-founded set theoryfinitely axiomatizable varietyrepresentable directed cylindric algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (7)

On the algebraization of Henkin‐type second‐order logic ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Weakly higher order cylindric algebras and finite axiomatization of the representables ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Omitting types for algebraizable extensions of first order logic ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic

Cites Work

• Cylindric algebras. Part II
• Some sufficient conditions for the representability of relation algebras
• Logic at work. Essays dedicated to the memory of Helena Rasiowa
• Strong representability of fork algebras, a set theoretic foundation

This page was built for publication: A completeness theorem for higher order logics