A completeness theorem for higher order logics

DOI10.2307/2586575MaRDI QIDQ4508267zbMATH OpenOpenAlexFDO

Authors 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

finitely axiomatizable varietynon-well-founded set theoryrepresentable directed cylindric algebrasrepresentation theorem

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Weakly higher order cylindric algebras and finite axiomatization of the representables
• A remark of representable positive cylindric algebras
• Representable cylindric algebras
• Geometrical representation theorems for cylindric-type algebras
• Relation algebras from cylindric algebras. II

Cites work

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

Cited in

(15)

• Weakly higher order cylindric algebras and finite axiomatization of the representables
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Theory of completeness for logical spaces
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• scientific article; zbMATH DE number 3841824 (Why is no real title available?)
• A term-graph clausal logic: completeness and incompleteness results ★
• Omitting types for algebraizable extensions of first order logic
• scientific article; zbMATH DE number 5649339 (Why is no real title available?)
• scientific article; zbMATH DE number 4012609 (Why is no real title available?)
• scientific article; zbMATH DE number 67048 (Why is no real title available?)
• scientific article; zbMATH DE number 1910376 (Why is no real title available?)
• Complexity of equational theory of relational algebras with standard projection elements
• A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
• Algebraic Logic, Where Does it Stand Today?
• On the algebraization of Henkin‐type second‐order logic

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

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