Some Remarks on Finite Löwenheim‐Skolem Theorems

DOI10.1002/malq.19960420145zbMath0858.03038OpenAlexW2015081147MaRDI QIDQ5687418

Martin Grohe

Publication date: 19 March 1997

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19960420145

zbMATH Keywords

finite model theoryLöwenheim-Skolem theorem

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Abstract model theory (03C95)

Related Items (2)

The concept of truth in a finite universe ⋮ Defining long words succinctly in FO and MSO

This page was built for publication: Some Remarks on Finite Löwenheim‐Skolem Theorems