There is no recursive link between the \(k\)-size of a model and its cardinality

DOI10.1016/S0168-0072(02)00039-8zbMath1016.03030MaRDI QIDQ1861532

Yanyan Li

Publication date: 9 March 2003

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

finite model theory\(k\)-size of a modelbounded variable logic

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Cites Work

• Unnamed Item
• Existential Definability in Arithmetic

This page was built for publication: There is no recursive link between the \(k\)-size of a model and its cardinality