The \(k\)-variable property is stronger than H-dimension \(k\)

DOI10.1023/A:1017951631048zbMath0976.03017MaRDI QIDQ676186

András Simon, I. M. Hodkinson

Publication date: 25 November 2001

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (3)

Finite \(H\)-dimension does not imply expressive completeness ⋮ Unnamed Item ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definability with bounded number of bound variables
• Upper and lower bounds for first order expressibility
• A note on the tense logic of dominoes
• Infinitary logics and 0-1 laws
• Finite \(H\)-dimension does not imply expressive completeness
• Infinitary logic and inductive definability over finite structures

This page was built for publication: The \(k\)-variable property is stronger than H-dimension \(k\)